summaryrefslogtreecommitdiffstats
path: root/clang/Analysis/SymbolManager.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Make a major restructuring of the clang tree: introduce a top-levelChris Lattner2008-03-151-124/+0
| | | | | | | | | | lib dir and move all the libraries into it. This follows the main llvm tree, and allows the libraries to be built in parallel. The top level now enforces that all the libs are built before Driver, but we don't care what order the libs are built in. This speeds up parallel builds, particularly incremental ones. llvm-svn: 48402
* Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be ↵Ted Kremenek2008-03-121-6/+6
| | | | | | | | | created for any expression, not just CallExprs. Added experimental support for conjuring symbols during assingments where the RHS is "unknown". This allows more value tracking for path-sensitivity. Fixed bug in "assumption" logic when processing symbolic constraints; we would improperly mark constraints we didn't support as infeasible. llvm-svn: 48306
* Prototype (pre-alpha) implementation of CFRef checker.Ted Kremenek2008-03-121-18/+74
| | | | llvm-svn: 48272
* fix typosGabor Greif2008-03-061-1/+1
| | | | llvm-svn: 47995
* Added lazy "symbolication" of parameter variables and global variables.Ted Kremenek2008-02-261-4/+14
| | | | | | Added recording of divide-by-zero and divide-by-uninitialized nodes. llvm-svn: 47586
* Implemented "getType()" for symbolic values representing the "contents" ofTed Kremenek2008-02-191-1/+6
| | | | | | another symbolic value. llvm-svn: 47339
* Further cleanup. Moved definitions for SymbolManager and ValueManager intoTed Kremenek2008-02-161-0/+53
their own [.cpp;.h] files. llvm-svn: 47201
OpenPOWER on IntegriCloud