summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/GRCoreEngine.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'.Ted Kremenek2009-07-221-2/+2
| | | | | | | | | | | | Educate GRExprEngine::VisitGraph() about 'PreStmt'. Mark the constructor of 'PostStmt' to be explicit, preventing implicit conversions and the selection of the wrong 'generateNode' method in GRStmtNodeBuilder. Constify a bunch of arguments, which falls out of the changes to ProgramPoint. llvm-svn: 76809
* Add support for 'PreStmt' program points to GRCoreEngine and GRStmtNodeBuilder.Ted Kremenek2009-07-221-2/+5
| | | | llvm-svn: 76792
* Enhance GRBranchNodeBuilderImpl (part of GRCoreEngine) to understand the caseTed Kremenek2009-07-201-3/+10
| | | | | | | | where the true or false CFGBlock* for a branch could be NULL. This will handle the case where we can determine during CFG construction that a branch is infeasible. llvm-svn: 76450
* Delete extra whitespaces.Zhongxing Xu2009-07-151-1/+1
| | | | llvm-svn: 75761
* More hacking on autorelease errors. We now can emit basic errors (disabled forTed Kremenek2009-05-091-1/+0
| | | | | | now until ready). llvm-svn: 71303
* Make BlockEntrace program points taggable.Ted Kremenek2009-05-081-6/+7
| | | | llvm-svn: 71280
* analyzer: Add ProgramPoint 'PostLValue' just to distinguish (forTed Kremenek2009-05-071-0/+3
| | | | | | | analysis introspection) when we computed an lvalue. This shouldn't effect the current analysis results in any way. llvm-svn: 71169
* Add a new BFS GRWorkList and make it the default worklist model forTed Kremenek2009-05-011-1/+23
| | | | | | GRCoreEngine. This tends to result in shorter paths for pathological cases. llvm-svn: 70585
* Implement analyzer support for OSCompareAndSwap. This required pushing "tagged"Ted Kremenek2009-04-111-12/+14
| | | | | | | | | ProgramPoints all the way through to GRCoreEngine. NSString.m now fails with RegionStoreManager because of the void** cast. Disabling use of region store for that test for now. llvm-svn: 68845
* Added a new method to GRStmtNodeBuilder to build nodes using an arbitraryTed Kremenek2009-02-191-4/+7
| | | | | | | PostStmt program point. This allows clients to pass in PostStmtCustom program points. llvm-svn: 65080
* Add new GRWorkList class that uses two queues:Ted Kremenek2008-12-161-5/+63
| | | | | | | | - one queue (FIFO) to queue up nodes at block entrances - another queue (LIFO) to queue up other nodes - The idea is to explore basic blocks to completion, but to do a BFS exploration of blocks. llvm-svn: 61106
* Add (preliminary) transfer function support for ObjCForCollectionStmt. ↵Ted Kremenek2008-11-121-3/+18
| | | | | | | | Still need to flesh out some logic. When processing DeclStmt, use the new interface to StateManager::BindDecl. Conjuring of symbols is now done in VisitDeclStmt. llvm-svn: 59155
* Fixed an elusive caching bug in ExplodedGraph construction when a ↵Ted Kremenek2008-10-171-0/+3
| | | | | | PostStmtKind was used instead of a PostStoreKind. llvm-svn: 57719
* ProgramPoint now takes the space of two pointers instead of one. This change wasTed Kremenek2008-09-161-12/+8
| | | | | | | | | motivated because it became clear that the number of subclasses of ProgramPoint would expand and we ran out of bits to represent a pointer variant. As a plus of this change, BlockEdge program points can now be represented explicitly without using a cache of CFGBlock* pairs in CFG. llvm-svn: 56245
* Remove default value for 'Pred' argument to GRCoreEngineImpl::GenerateNode().Ted Kremenek2008-08-261-1/+1
| | | | llvm-svn: 55392
* Fix memory leak found by Sam Bishop: delete WList in the dstor of ↵Ted Kremenek2008-08-131-0/+3
| | | | | | GRCoreEngineImpl. llvm-svn: 54714
* Refactored most of the "Store" piece of ValueState into a Store type. TheTed Kremenek2008-07-101-8/+10
| | | | | | | | | current store implementation is now encapsulated by BasicStore. These changes prompted some long due constification of ValueState. Much of the diffs in this patch include adding "const" qualifiers. llvm-svn: 53423
* Modified the dead stores checker to...Ted Kremenek2008-06-201-13/+0
| | | | | | | | | | | | | | | | | 1) Check if a dead store appears as a subexpression. For such cases, we emit a verbose diagnostic so that users aren't confused. This addresses: <rdar://problem/5968508> checker gives misleading report for dead store in loop 2) Don't emit a dead store warning when assigning a null value to a pointer. This is a common form of defensive programming. We may wish to make this an option to the the checker one day. This addresses the feature request in the following email: http://lists.cs.uiuc.edu/pipermail/cfe-dev/2008-June/001978.html llvm-svn: 52555
* Added a new ProgramPoint: PostPurgeDeadSymbols. This new program point ↵Ted Kremenek2008-06-181-2/+20
| | | | | | distinguishes between the cases when we just evaluated the transfer function of a Stmt* (PostStmt) or performed a load (PostLoad). This solves a caching bug observed in a recent bug report. llvm-svn: 52443
* 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