summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/GRExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* Fix PR 4631. The compound initializers of unions were not being evaluated, whichTed Kremenek2009-07-281-8/+2
* Revert r76831, there are many Analyzer test failures on multiple platforms.Daniel Dunbar2009-07-231-16/+3
* Add 'previsit' Checker pass for ObjCMessageExprs.Ted Kremenek2009-07-231-3/+16
* Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'.Ted Kremenek2009-07-221-5/+6
* Add support for registering 'Checker' objects with GRExprEngine.Ted Kremenek2009-07-221-5/+48
* Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCastTed Kremenek2009-07-211-162/+29
* Enhance GRExprEngine::EvalBind to handle some implicit casts from nonlocs toTed Kremenek2009-07-201-1/+18
* Add FIXME.Ted Kremenek2009-07-201-0/+5
* Enhance GRBranchNodeBuilderImpl (part of GRCoreEngine) to understand the caseTed Kremenek2009-07-201-8/+12
* Fix caching bug revealed by analyzing ClamAV using RegionStore.Ted Kremenek2009-07-171-2/+1
* Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methodsTed Kremenek2009-07-171-2/+2
* Add member template 'Type::getAs<T>', which converts a Type* to a respective T*.Ted Kremenek2009-07-161-2/+2
* Two changes:Ted Kremenek2009-07-161-5/+5
* Instead of recovering from a wrong invalidation, this patch aims to Zhongxing Xu2009-07-141-3/+3
* Handle insidious corner case exposed by RegionStoreManager when handling void...Ted Kremenek2009-07-111-0/+13
* Remove the ASTContext parameter from the attribute-related methods of Decl.Argyrios Kyrtzidis2009-06-301-2/+2
* Key decisions about 'bool' vs '_Bool' to be based on a new flag in langoptions.Chris Lattner2009-06-301-4/+7
* Remove '#include <sstream>' from libAnalysis.Ted Kremenek2009-06-261-1/+0
* Introduce a new concept to the static analyzer: SValuator.Ted Kremenek2009-06-261-47/+20
* Remove uses of std::ostream from libAnalysis.Ted Kremenek2009-06-241-13/+7
* Update for LLVM API changes.Owen Anderson2009-06-241-1/+2
* Remove GRStateManager::getRegion/getSelfRegion().Ted Kremenek2009-06-231-2/+2
* Remove GRStateManager::BindLoc() and GRStateManager::Unbind().Ted Kremenek2009-06-231-1/+1
* Remove GRStateManager::BindDecl() and GRStateManager::BindDeclWithInit().Ted Kremenek2009-06-231-2/+2
* Move 'hasStackStorage()' and 'hasHeapStorage()' from MemRegionManager to MemR...Ted Kremenek2009-06-231-1/+1
* Move all factory methods from SVal to ValueManager. API cleanup!Zhongxing Xu2009-06-231-17/+20
* ValueManager::makeNonLoc -> ValueManager::makeIntValZhongxing Xu2009-06-231-2/+1
* Remove more GetSVal/GetLValue methods in GRExprEngine/GRState, insteadTed Kremenek2009-06-191-110/+106
* Move clients over from using GRStateManager::BindXXX and friends toTed Kremenek2009-06-181-5/+3
* libAnalysis:Ted Kremenek2009-06-181-124/+70
* Move the static DeclAttrs map into ASTContext. Fixes <rdar://problem/6983177>.Douglas Gregor2009-06-181-1/+2
* Remove more dependencies on GRStateRef. As a consequence, we can nowTed Kremenek2009-06-181-10/+9
* Sink the BuiltinInfo object from ASTContext into theChris Lattner2009-06-141-0/+1
* * API change: we need to pass GRState to GRExprEngine::EvalBinOp() becauseZhongxing Xu2009-05-201-14/+16
* As discussed with Ted, rename TypedRegion::getObjectType() to Zhongxing Xu2009-05-091-1/+1
* rename: MemRegion:Zhongxing Xu2009-05-091-1/+1
* analyzer: Add ProgramPoint 'PostLValue' just to distinguish (forTed Kremenek2009-05-071-5/+21
* Per conversations with Zhongxing, add an 'element type' toTed Kremenek2009-05-041-1/+2
* split ObjC and C++ Statements out into their own headers.Chris Lattner2009-04-261-1/+3
* Fix PR 4033: the analyzer shouldn't crash on computed gotos involving symbolicTed Kremenek2009-04-231-2/+1
* Fix crash reported in PR 3991. The analyzer doesn't reason about ObjCKVCExpr.Ted Kremenek2009-04-211-0/+1
* Fix: <rdar://problem/6777209> false Dereference of null pointer in loop: poin...Ted Kremenek2009-04-211-1/+25
* get a CodeTextRegion when visiting FunctionDecl reference.Zhongxing Xu2009-04-201-13/+8
* Add analyzer support for objc_atomicCompareAndSwap()Ted Kremenek2009-04-111-2/+3
* Implement analyzer support for OSCompareAndSwap. This required pushing "tagged"Ted Kremenek2009-04-111-11/+172
* Finally nuke loc::SymbolVal.Zhongxing Xu2009-04-101-37/+1
* Fix: <rdar://problem/6776949> Branch condition evaluates to an uninitialized ...Ted Kremenek2009-04-101-1/+25
* Implement attribute "analyzer_noreturn" (<rdar://problem/6777003>). This allowsTed Kremenek2009-04-101-1/+1
* - Move ownership of MemRegionManager into ValueManager.Ted Kremenek2009-04-091-11/+6
* Remove SVal::MakeZero and replace it with ValueManager::makeZeroVal.Ted Kremenek2009-04-091-1/+2
OpenPOWER on IntegriCloud