summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/RegionStore.cpp
Commit message (Expand)AuthorAgeFilesLines
* remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner2011-07-231-12/+12
* [analyzer] Use UnknownVal when default-initializing arrays whose element type...Jordy Rose2011-06-271-1/+6
* Teach RegionStore not to symbolic array values whose indices it cannot reason...Ted Kremenek2011-05-191-0/+5
* Augment retain/release checker to not warn about tracked objects passed as ar...Ted Kremenek2011-05-021-12/+9
* RegionStoreManager::invalidateRegions: treat classes the same as structs.Ted Kremenek2011-04-121-3/+3
* Fix RegionStore bug when doing a field load whose parent is also a field assi...Ted Kremenek2011-04-031-11/+17
* Tweak RegionStore's handling of lazy compound values to use the 'Default' ver...Ted Kremenek2011-03-171-16/+30
* static analyzer: Fix use-after-free bug in RegionStore involving LazyCompound...Ted Kremenek2011-03-081-3/+4
* Add 'StoreRef' smart pointer to allow more fine-grain memory lifetime control...Ted Kremenek2011-02-191-85/+102
* Makes most methods in SVals.h conform to the naming guide. ReviewedZhanyong Wan2011-02-161-1/+1
* Remove RegionStoreManager::evalBinOp(), which is now handled by the SValBuilder.Ted Kremenek2011-02-111-119/+0
* Rename 'InvalidateRegions()' to 'invalidateRegions()'.Ted Kremenek2011-02-111-11/+9
* Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek2011-02-101-3/+3
* [analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.Argyrios Kyrtzidis2011-02-081-0/+1917
OpenPOWER on IntegriCloud