summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/GRCoreEngine.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Major rewrite/refactoring of static analysis engine. We now useTed Kremenek2008-04-291-4/+7
| | | | | | | | | | | | EvalStore/EvalLoad to handle all loads/stores from symbolic memory, allowing us to do checks for null dereferences, etc., at any arbitrary load/store (these were missed checks before). This also resulted in some major cleanups, some conceptual, and others just in the structure of the code. This temporarily introduces a regression in the test suite (null-deref-ps.c) before I add a new LVal type for structure fields. llvm-svn: 50443
* Fixed more caching bugs related to the one fixed in r49914. SilenceTed Kremenek2008-04-181-3/+1
| | | | | | compiler warning introduced by a recent patch of mine. llvm-svn: 49917
* Fixed bug in GREndPathNodeBuilder: only return a node if it wasn't in the ↵Ted Kremenek2008-04-181-1/+2
| | | | | | node cache. llvm-svn: 49907
* Bug fix in GREndPathNodeBuilderImpl: Use the specified state to constructTed Kremenek2008-04-161-1/+1
| | | | | | a node, not the state of the predecessor. llvm-svn: 49823
* Added "GREndPathNodeBuilder", a new node builder that will be used forTed Kremenek2008-04-111-9/+27
| | | | | | evaluating transfer functions at the end-of-path. llvm-svn: 49561
* Make a major restructuring of the clang tree: introduce a top-levelChris Lattner2008-03-151-0/+444
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
OpenPOWER on IntegriCloud