summaryrefslogtreecommitdiffstats
path: root/clang/Analysis/ValueState.h
Commit message (Expand)AuthorAgeFilesLines
* Header file cleanups: reduce number of includes; move ValueState.h into inclu...Ted Kremenek2008-02-271-277/+0
* Fix bug when processing '?' operator: invalidate the old "Uninitialized" valu...Ted Kremenek2008-02-261-1/+3
* Major cleanup of the transfer function logic for '&&', '||', and '?'. WeTed Kremenek2008-02-261-7/+9
* Major cleanup of path-sensitive analysis engine and the current analysisTed Kremenek2008-02-211-44/+39
* Added "symbol iterators" for RValues, allowing easy iteration over the symbolsTed Kremenek2008-02-141-0/+8
* Moved Rvalues.h from "Analysis/" to "include/clang/Analysis/PathSensitive".Ted Kremenek2008-02-141-2/+1
* Renamed class GREngine => GRCoreEngine.Ted Kremenek2008-02-131-2/+2
* Consolidated use of BumpPtrAllocator shared by various ImmutableSet/ImmutableMapTed Kremenek2008-02-111-1/+6
* Separate bindings for subexpressions to be in a separate map forTed Kremenek2008-02-111-74/+68
* Split off expression-bindings in ValueState from variable-bindings.Ted Kremenek2008-02-081-62/+31
* Changed "GetValue" methods to take anTed Kremenek2008-02-081-26/+30
* Moved implementation of "RemoveDeadBindings" from the mainTed Kremenek2008-02-081-2/+7
* Removed ability to create symbol bindingsTed Kremenek2008-02-081-21/+2
* More variable renamings.Ted Kremenek2008-02-081-11/+11
* Added recording of "implicit" NULL dereferences of symbolic pointers.Ted Kremenek2008-02-071-1/+1
* Disabled operator= for ValueStateImpl.Ted Kremenek2008-02-061-4/+9
* Added some skeleton code for performing "assume" on symbols: e.g. assume($0 !...Ted Kremenek2008-02-061-5/+25
* Added "batch" processing versions of Nodify and SetValue. Created typedefsTed Kremenek2008-02-051-7/+5
* Added a "ConstantNotEq" map to ValueState (and added necessary typedefs and f...Ted Kremenek2008-02-051-9/+28
* Added some comments.Ted Kremenek2008-02-051-2/+14
* Renamed typedef "iterator" in ValueState to "vb_iterator" (for "VariableBindi...Ted Kremenek2008-02-051-3/+3
* Reordered fields/methods in ValueState to make it more aesthetically pleasing.Ted Kremenek2008-02-051-11/+12
* Overhauling of "ValueState" so that it represents its own functional dataTed Kremenek2008-02-051-38/+96
* ValueManager now uses the BumpPtrAllocator owned by the ExplodedGraph.Ted Kremenek2008-02-051-1/+2
* Implemented initial transfer function support for '&&', '||', '?', andTed Kremenek2008-02-051-1/+2
* Created ValueStateManager, a full-blown class to manage the statesTed Kremenek2008-02-041-0/+36
* Moved RValue code in GRConstants.cpp to RValue.[h,cpp].Ted Kremenek2008-01-311-0/+162
OpenPOWER on IntegriCloud