summaryrefslogtreecommitdiffstats
path: root/clang/lib/Checker/CastSizeChecker.cpp
Commit message (Collapse)AuthorAgeFilesLines
* [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> ↵Argyrios Kyrtzidis2010-12-221-90/+0
| | | | | | libclangGRCore llvm-svn: 122421
* [analyzer] Refactoring: include/clang/Checker -> include/clang/GRArgyrios Kyrtzidis2010-12-221-2/+2
| | | | llvm-svn: 122420
* Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'.Ted Kremenek2010-12-201-1/+1
| | | | llvm-svn: 122270
* Merge ValueManager into SValBuilder.Ted Kremenek2010-12-021-14/+13
| | | | llvm-svn: 120696
* Rename 'SValuator' to 'SValBuilder'. The new nameTed Kremenek2010-12-011-2/+2
| | | | | | reflects what the class actually does. llvm-svn: 120605
* Don't assert in CastSizeChecker when the casted-to pointee is an incomplete ↵Ted Kremenek2010-09-011-0/+4
| | | | | | type. Fixes PR 8050. llvm-svn: 112738
* Add a new symbol type, SymbolExtent, to represent the extents of memory ↵Jordy Rose2010-07-041-9/+9
| | | | | | | | | | regions that may not be known at compile-time (such as those created by malloc). This replaces the old setExtent/getExtent API on Store, which used the GRState's GDM to store SVals. Also adds a getKnownValue() method to SValuator, which gets the integer value of an SVal if it is known to only have one possible value. There are more places in the code that could be using this, but in general we want to be dealing entirely in SVals, so its usefulness is limited. The only visible functionality change is that extents are now honored for any DeclRegion, such as fields and Objective-C ivars, rather than just variables. This shows up in bounds-checking and cast-size-checking. llvm-svn: 107577
* Casting to void* or any other pointer-to-sizeless type (e.g. function ↵Jordy Rose2010-06-201-0/+5
| | | | | | pointers) causes a divide-by-zero error. Simple fix: check if the pointee type size is 0 and bail out early if it is. llvm-svn: 106401
* CastSizeChecker checks when casting a malloc'ed symbolic region to type T,Zhongxing Xu2010-05-251-0/+82
whether the size of the symbolic region is a multiple of the size of T. Fixes PR6123 and PR7217. llvm-svn: 104584
OpenPOWER on IntegriCloud