summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis
Commit message (Collapse)AuthorAgeFilesLines
* add a fixmeZhongxing Xu2009-07-291-2/+4
| | | | llvm-svn: 77447
* Fix PR 4631. The compound initializers of unions were not being evaluated, whichTed Kremenek2009-07-281-8/+2
| | | | | | | | | could cause false positives if any the subexpressions had side-effects. These initializers weren't evaluated because the StoreManager would need to handle them, but that's an orthogonal problem of whether or not the StoreManager can handle the binding. llvm-svn: 77361
* Fix regression in attribute 'nonnull' checking when a transition nodeTed Kremenek2009-07-281-1/+1
| | | | | | was created but not added to the destination NodeSet. This fixes PR 4630. llvm-svn: 77353
* Fix helper function GetNextStmt() to look for the first statement that has aTed Kremenek2009-07-281-0/+5
| | | | | | valid SourceLocation. llvm-svn: 77280
* Add noreturn as a type attribute, handle printing for them and handleMike Stump2009-07-251-16/+20
| | | | | | calls to noreturn function pointers when CFG building. llvm-svn: 77089
* Update for LLVM API change.Owen Anderson2009-07-241-1/+1
| | | | llvm-svn: 77012
* In the "use of floating point variable as loop counter" check, checkTed Kremenek2009-07-241-5/+7
| | | | | | if the DeclRefExpr is a float, not just either argument. llvm-svn: 76998
* Add doxygen comments and simplify expression.Ted Kremenek2009-07-241-1/+6
| | | | llvm-svn: 76955
* Introduce a new variant type 'TryResult' to represent the result ofTed Kremenek2009-07-241-106/+61
| | | | | | | | | | | TryEvaluateBool instead of using a raw 'int'. This avoids any confusion of how 'int' converts to bool, and makes the resultant code easier to read. Condense a bunch of 'addSuccessor()' calls in 'if ... else' to use the ternary operator instead. llvm-svn: 76947
* Add getDecl() to CallGraph and CallGraphNode.Zhongxing Xu2009-07-241-0/+7
| | | | llvm-svn: 76940
* Mark destructor of Checker virtual.Ted Kremenek2009-07-241-0/+1
| | | | llvm-svn: 76924
* Refactor and push the evaluation as late as possible.Mike Stump2009-07-231-105/+54
| | | | llvm-svn: 76911
* Implement: <rdar://problem/6335715> rule request: gets() buffer overflowTed Kremenek2009-07-231-2/+64
| | | | llvm-svn: 76905
* Add comments.Ted Kremenek2009-07-231-0/+2
| | | | llvm-svn: 76901
* Refine checking and diagnostics for use of floating point variable as a counter.Ted Kremenek2009-07-231-57/+104
| | | | | | | This implements <rdar://problem/6336718> and checks for CERT secure coding advisory FLP30-C. llvm-svn: 76900
* Add two nodes to the call graph:Zhongxing Xu2009-07-231-0/+12
| | | | | | | - Root is the main function or 0. - ExternalCallingNode has edges to all external functions. llvm-svn: 76876
* Add template specializations to view the call graph in dot format.Zhongxing Xu2009-07-231-0/+21
| | | | | | | - change the DenseMap used in callgraph to std::map, since DenseMap cannot be used with mapped_iterator and friends. llvm-svn: 76874
* Revert r76831, there are many Analyzer test failures on multiple platforms.Daniel Dunbar2009-07-231-16/+3
| | | | | | | | --- Reverse-merging r76831 into '.': U include/clang/Analysis/PathSensitive/GRExprEngine.h U lib/Analysis/GRExprEngine.cpp llvm-svn: 76851
* Add initial implementation of checking for uses of floating point as a loop ↵Ted Kremenek2009-07-232-0/+123
| | | | | | counter. llvm-svn: 76833
* Add 'previsit' Checker pass for ObjCMessageExprs.Ted Kremenek2009-07-231-3/+16
| | | | llvm-svn: 76831
* Improve CFG support for C++ throw expressions.Mike Stump2009-07-221-0/+21
| | | | llvm-svn: 76814
* Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'.Ted Kremenek2009-07-228-67/+73
| | | | | | | | | | | | 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
* Migrate the path-sensitive checking of 'nonnull' arguments over to the newTed Kremenek2009-07-221-31/+63
| | | | | | | | | 'Checker' interface. An updated test case illustrates that after calling a function with the 'nonnull' attribute we now register the fact that the passed pointer must be non-null. This retention of information was not possible with the previously used GRSimpleAPICheck interface. llvm-svn: 76797
* Make 'SaveAndRestore' and friends reusable classes in libAnalysis.Ted Kremenek2009-07-221-12/+1
| | | | llvm-svn: 76795
* Add support for registering 'Checker' objects with GRExprEngine.Ted Kremenek2009-07-221-5/+48
| | | | | | Add a 'previsit' stage (that dispatches to registered Checkers) when evaluating the effects of CallExprs. llvm-svn: 76794
* Add support for 'PreStmt' program points to GRCoreEngine and GRStmtNodeBuilder.Ted Kremenek2009-07-221-2/+5
| | | | llvm-svn: 76792
* Move bug reporter "visitors" to their own file and make them part of the publicTed Kremenek2009-07-223-326/+343
| | | | | | BugReporter API. No real functionality change. llvm-svn: 76760
* Temporarily disable most use of region casts in RegionStoreManager,Ted Kremenek2009-07-221-8/+32
| | | | | | | | | | | | | | | | instead preferring to use the a region's actual type when creating symbols and using the QualType passed to Retrieve for implicit casting. This preprocessor logic is temporary; eventually we will either remove region casts or keep them. Temporarily toggle (via preprocessor directives) that SymbolicRegions with heap storage are not undefined, but instead should be symbolicated. If we want to model that a SymbolicRegion is uninitialized, we can explicitly model that by binding UndefinedVal to that region. It turns out that we want to treat most heap objects as being defined, not the other way around. llvm-svn: 76720
* Fix a crasher in StoreManager::InvalidateRegion() caused by using theTed Kremenek2009-07-221-0/+8
| | | | | | | | | 'cast type' of a region to invalidate its binding. This only occurs when using RegionStoreManager, as it records the cast type. I'm currently considering removing the notion of a cast type (see comments in code). llvm-svn: 76719
* Fix long-lurking bug in ObjCSummaryCache revealed by Torok's recent memoryTed Kremenek2009-07-211-41/+38
| | | | | | | poisoning changes to DenseMap. We were using an iterator after it had been invalidated by an insertion into the DenseMap. llvm-svn: 76677
* Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCastTed Kremenek2009-07-217-204/+200
| | | | | | | | | to SValuator::EvalCast. In the process, the StoreManagers now use this new cast machinery, and the hack in GRExprEngine::EvalBind to handle implicit casts involving OSAtomicCompareAndSwap and friends has been removed (and replaced with logic closer to the logic specific to those functions). llvm-svn: 76641
* Remove the ASTContext parameter from Entity::getPrintableName().Argyrios Kyrtzidis2009-07-211-3/+2
| | | | llvm-svn: 76546
* Wire up CFG improvements for __builtin_choose_expr.Mike Stump2009-07-211-2/+20
| | | | llvm-svn: 76531
* Wire up CFG improvements for do { } while () when the condition is known.Mike Stump2009-07-211-7/+26
| | | | llvm-svn: 76530
* Wire up for statement CFG improvements for conditionals that are known.Mike Stump2009-07-211-10/+31
| | | | llvm-svn: 76529
* Wire up CFG improvements for while when the condition is known.Mike Stump2009-07-211-6/+26
| | | | llvm-svn: 76522
* RegionStore:Ted Kremenek2009-07-212-13/+55
| | | | | | | | | | -refactor logic for retrieving bindings from VarDecls into RegionStoreManager::RetrieveVar() - improve RegionStoreManager::CastRetrievedVal() and SimpleSValuate::EvalCastNL to better handle casts of values of the same canonical type as well as casts of LocAsInteger values. llvm-svn: 76516
* Change the semantics for Entity.Argyrios Kyrtzidis2009-07-211-6/+6
| | | | | | | | | | Entity can now refer to declarations that are not visible outside the translation unit. It is a wrapper of a pointer union, it's either a Decl* for declarations that don't "cross" translation units, or an EntityImpl* which is associated with the specific "visible" Decl. Included is a test case for handling fields across translation units. llvm-svn: 76515
* Add yet more analysis for CFGs involving conditionals that are actually ↵Mike Stump2009-07-201-25/+99
| | | | | | constant. llvm-svn: 76500
* Enhanced IsReinterpreted() (RegionStore.cpp) to reason about higher-orderTed Kremenek2009-07-201-13/+48
| | | | | | | | | | | | | pointers. Enhanced RegionStoreManager::Retrieve() to handle automatic casts when the loaded value is different from the requested value. This should be refined over time, but essentially we should always symbolicate locations as locations, and convert them to non-locations on demand. These changes now cause 'misc-ps.m' to pass again. llvm-svn: 76497
* Enhance GRExprEngine::EvalBind to handle some implicit casts from nonlocs toTed Kremenek2009-07-201-1/+18
| | | | | | locs and vis versa. llvm-svn: 76483
* Enhance SimpleSValuator to handle nonloc::LocAsInteger -> location casts.Ted Kremenek2009-07-201-3/+8
| | | | llvm-svn: 76481
* Add FIXME.Ted Kremenek2009-07-201-0/+5
| | | | llvm-svn: 76466
* Enhance GRBranchNodeBuilderImpl (part of GRCoreEngine) to understand the caseTed Kremenek2009-07-202-11/+22
| | | | | | | | 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
* Implement FIXME in pretty-printing for StringRegions.Ted Kremenek2009-07-191-3/+2
| | | | llvm-svn: 76381
* Improve debug pretty-printing for ObjCIVarRegions.Ted Kremenek2009-07-191-0/+4
| | | | llvm-svn: 76380
* Replace stmt visitors with the fall back method.Zhongxing Xu2009-07-181-21/+1
| | | | llvm-svn: 76294
* Fix crash in StoreManager::NewCastRegion() when handling casts from 'id' (or ↵Ted Kremenek2009-07-181-2/+20
| | | | | | whatever) to a BlockPointerType. llvm-svn: 76288
* Return CodeTextRegions for BlockPointerTypes in addition to ↵Ted Kremenek2009-07-181-9/+9
| | | | | | FunctionPointerTypes. llvm-svn: 76287
* Fix some fallout from CFGBuilder restructuring: all expressions that we ↵Ted Kremenek2009-07-181-20/+24
| | | | | | explicitly handle have the possibility to be block-level expressions. llvm-svn: 76277
OpenPOWER on IntegriCloud