summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/BasicStore.cpp
Commit message (Expand)AuthorAgeFilesLines
* Generalize the interface of 'StoreManager::RemoveDeadBindings()' to manipulat...Ted Kremenek2009-08-021-12/+11
* Change uses of:Ted Kremenek2009-07-291-1/+1
* Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which onlyTed Kremenek2009-07-291-8/+2
* Make StoreManager::InvalidateRegion() virtual, move the current implementationTed Kremenek2009-07-291-1/+28
* Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCastTed Kremenek2009-07-211-10/+12
* Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methodsTed Kremenek2009-07-171-1/+1
* Add member template 'Type::getAs<T>', which converts a Type* to a respective T*.Ted Kremenek2009-07-161-1/+1
* Fix <rdar://problem/7062158> by having BasicStoreManager model values for 'st...Ted Kremenek2009-07-151-4/+0
* Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', an...Ted Kremenek2009-07-131-2/+1
* Switch BasicStoreManager to use the new CastRegion implementation by default,Ted Kremenek2009-07-101-3/+3
* Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line usi...Ted Kremenek2009-07-061-2/+6
* BasicStoreManager: Use SymbolManager::canSymbolicate() to determine if a vari...Ted Kremenek2009-07-031-1/+1
* StoreManagers: Use 'hasGlobalsStorage()' and 'hasParametersStorage()' instead ofTed Kremenek2009-07-021-4/+3
* Combine two conditional branches into one. No functionality change.Ted Kremenek2009-06-301-8/+4
* We do not require the super region of element region be typed. So do notZhongxing Xu2009-06-301-3/+2
* Remove the ASTContext parameter from the getBody() methods of Decl and subcla...Argyrios Kyrtzidis2009-06-301-1/+1
* Do not crash on binding concrete integer location.Zhongxing Xu2009-06-281-0/+3
* Simplify some code. As in region store, we always expect the location is aZhongxing Xu2009-06-281-41/+34
* Remove uses of std::ostream from libAnalysis.Ted Kremenek2009-06-241-5/+7
* Remove GRStateManager::getRegion/getSelfRegion().Ted Kremenek2009-06-231-1/+1
* Move all factory methods from SVal to ValueManager. API cleanup!Zhongxing Xu2009-06-231-13/+13
* MemRegions:Ted Kremenek2009-06-231-1/+1
* Start moving in the direction of removing GRStateRef. Now eachTed Kremenek2009-06-171-32/+27
* Use canonical type for building ElementRegion. Otherwise ElementRegions cannotZhongxing Xu2009-06-161-1/+1
* Rename:Zhongxing Xu2009-05-091-2/+2
* As discussed with Ted, rename TypedRegion::getObjectType() to Zhongxing Xu2009-05-091-1/+1
* rename: MemRegion:Zhongxing Xu2009-05-091-3/+3
* Fix unused variable warningTed Kremenek2009-05-051-1/+1
* Remove possibly incorrect assertion that doesn't matter.Ted Kremenek2009-05-051-3/+0
* Add array index assertion: BasicStore should not expect any fancyTed Kremenek2009-05-041-1/+4
* array indexes are unsigned integers of the same width as pointer.Zhongxing Xu2009-05-041-5/+4
* BasicStore: 'ElementRegion' is the new 'TypedViewRegion'.Ted Kremenek2009-05-041-9/+10
* Per conversations with Zhongxing, add an 'element type' toTed Kremenek2009-05-041-4/+7
* Basic Store: Always convert a non::LocAsInteger to a Loc when storing to a po...Ted Kremenek2009-05-011-17/+16
* Add corner case logic to BasicStoreManager and GRSimpleVals::EvalBinOp to enableTed Kremenek2009-04-291-5/+36
* Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion'Ted Kremenek2009-04-211-29/+1
* Remove loc::FuncVal.Zhongxing Xu2009-04-201-5/+0
* FunctionDecl::getBody() is getting an ASTContext argument for use inDouglas Gregor2009-04-181-1/+1
* Implement analyzer support for OSCompareAndSwap. This required pushing "tagged"Ted Kremenek2009-04-111-0/+31
* Finally nuke loc::SymbolVal.Zhongxing Xu2009-04-101-23/+0
* - Move ownership of MemRegionManager into ValueManager.Ted Kremenek2009-04-091-7/+4
* This is the first step to gradually remove the use of loc::SymbolVal. NowZhongxing Xu2009-04-031-5/+9
* Simplify more code by using SVal::getAsSymbol().Ted Kremenek2009-03-301-1/+1
* Implement a FIXME.Zhongxing Xu2009-03-301-1/+1
* analyzer infrastructure: make a bunch of changes to symbolic expressions thatTed Kremenek2009-03-261-4/+3
* analyzer: Fix embarrassing regression in BasicStore when invalidating structTed Kremenek2009-03-231-0/+4
* Fix crash reported in <rdar://problem/6695527>. We now haveTed Kremenek2009-03-181-13/+9
* Retrofit some basic tracking of ivars (for the current object) into BasicStore.Ted Kremenek2009-03-051-30/+85
* Minor code compaction. No functionality change.Ted Kremenek2009-03-051-11/+5
* Rename VarBindings -> Bindings.Ted Kremenek2009-03-051-15/+15
OpenPOWER on IntegriCloud