summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/CFRefCount.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Fix <rdar://problem/7033733>. The CF_RETURNS_RETAINED attribute should work ↵Ted Kremenek2009-07-061-3/+11
| | | | | | if the return type on an Objective-C method is a CF type reference, not just an Objective-C object reference. llvm-svn: 74841
* Further cleanup of region invalidation code. No functionality change.Zhongxing Xu2009-07-061-47/+39
| | | | llvm-svn: 74816
* Start to gradually move region invalidation code into store manager.Zhongxing Xu2009-07-061-66/+3
| | | | | | No functionality change. llvm-svn: 74812
* De-ASTContext-ify DeclContext.Argyrios Kyrtzidis2009-06-301-7/+6
| | | | | | | Remove ASTContext parameter from DeclContext's methods. This change cascaded down to other Decl's methods and changes to call sites started "escalating". Timings using pre-tokenized "cocoa.h" showed only a ~1% increase in time run between and after this commit. llvm-svn: 74506
* Remove the ASTContext parameter from the getBody() methods of Decl and ↵Argyrios Kyrtzidis2009-06-301-1/+1
| | | | | | | | subclasses. Timings showed no significant difference before and after the commit. llvm-svn: 74504
* Remove the ASTContext parameter from the attribute-related methods of Decl.Argyrios Kyrtzidis2009-06-301-5/+5
| | | | | | | | | The implementations of these methods can Use Decl::getASTContext() to get the ASTContext. This commit touches a lot of files since call sites for these methods are everywhere. I used pre-tokenized "carbon.h" and "cocoa.h" headers to do some timings, and there was no real time difference between before the commit and after it. llvm-svn: 74501
* Invalidate the alloca region by setting its default value to conjured symbol.Zhongxing Xu2009-06-291-2/+11
| | | | llvm-svn: 74419
* Invalidate a field of struct type by setting its default value to conjured Zhongxing Xu2009-06-281-4/+15
| | | | | | symbol. llvm-svn: 74408
* Introduce a new concept to the static analyzer: SValuator.Ted Kremenek2009-06-261-10/+6
| | | | | | | | | | | | | | | | | | | | | | | | | | | | GRTransferFuncs had the conflated role of both constructing SVals (symbolic expressions) as well as handling checker-specific logic. Now SValuator has the role of constructing SVals from expressions and GRTransferFuncs just handles checker-specific logic. The motivation is by separating these two concepts we will be able to much more easily create richer constraint-generating logic without coupling it to the main checker transfer function logic. We now have one implementation of SValuator: SimpleSValuator. SimpleSValuator is essentially the SVal-related logic that was in GRSimpleVals (which is removed in this patch). This includes the logic for EvalBinOp, EvalCast, etc. Because SValuator has a narrower role than the old GRTransferFuncs, the interfaces are much simpler, and so is the implementation of SimpleSValuator compared to GRSimpleVals. I also did a line-by-line review of SVal-related logic in GRSimpleVals and cleaned it up while moving it over to SimpleSValuator. As a consequence of removing GRSimpleVals, there is no longer a '-checker-simple' option. The '-checker-cfref' did everything that option did but also ran the retain/release checker. Of course a user may not always wish to run the retain/release checker, nor do we wish core analysis logic buried in the checker-specific logic. The next step is to refactor the logic in CFRefCount.cpp to separate out these pieces into the core analysis engine. llvm-svn: 74229
* Remove uses of std::ostream from libAnalysis.Ted Kremenek2009-06-241-8/+7
| | | | llvm-svn: 74136
* Remove GRStateManager::getRegion/getSelfRegion().Ted Kremenek2009-06-231-1/+1
| | | | llvm-svn: 74006
* Move 'hasStackStorage()' and 'hasHeapStorage()' from MemRegionManager to ↵Ted Kremenek2009-06-231-1/+1
| | | | | | MemRegion. llvm-svn: 73973
* Move all factory methods from SVal to ValueManager. API cleanup!Zhongxing Xu2009-06-231-4/+4
| | | | llvm-svn: 73954
* MemRegions:Ted Kremenek2009-06-231-1/+1
| | | | | | | | - Embed a reference to MemRegionManager objects in MemSpaceRegion objects - Use this embedded reference for MemRegion objects to access ASTContext objects without external help - Use this access to ASTContext to simplify 'isBoundable' (no ASTContext& argument required) llvm-svn: 73935
* Move clients over from using GRStateManager::BindXXX and friends toTed Kremenek2009-06-181-2/+2
| | | | | | GRState->bindXXX and friends (and constify some arguments along the way). llvm-svn: 73740
* libAnalysis:Ted Kremenek2009-06-181-8/+5
| | | | | | | | | - Remove the 'isFeasible' flag from all uses of 'Assume'. - Remove the 'Assume' methods from GRStateManager. Now the only way to create a new GRState with an assumption is to use the new 'assume' methods in GRState. llvm-svn: 73731
* Move the static DeclAttrs map into ASTContext. Fixes <rdar://problem/6983177>.Douglas Gregor2009-06-181-5/+5
| | | | llvm-svn: 73702
* Remove more dependencies on GRStateRef. As a consequence, we can nowTed Kremenek2009-06-181-90/+86
| | | | | | | pretty-print a GRState object anywhere it is referenced (instead of needing a GRStateRef of a GRStateManager handy). llvm-svn: 73669
* Remove another dependency on GRStateRef.Ted Kremenek2009-06-181-10/+7
| | | | llvm-svn: 73667
* Fix: <rdar://problem/6945561> -[CIContext createCGLayerWithSize:info:] ↵Ted Kremenek2009-06-151-2/+5
| | | | | | misinterpreted by clang scan-build llvm-svn: 73415
* Fix: <rdar://problem/6961230> add knowledge of IOKit functions to ↵Ted Kremenek2009-06-151-3/+57
| | | | | | retain/release checker llvm-svn: 73411
* Add summary lookup for IOServiceGetMatchingService.Ted Kremenek2009-06-111-37/+48
| | | | | | Convert tabs to spaces. llvm-svn: 73198
* Refactor some function name -> summary lookup using a switch statement.Ted Kremenek2009-06-111-18/+25
| | | | llvm-svn: 73197
* Fix:Ted Kremenek2009-06-051-5/+9
| | | | | | <rdar://problem/6948053> False positive: object substitution during -init* methods warns about returning +0 when using -fobjc-gc-only llvm-svn: 72971
* Enhance attribute cf_returns_retained to also work (in the analyzer)Ted Kremenek2009-06-051-2/+9
| | | | | | | for non-Objctive-C pointer types. This implicitly documents that the return type is a CF object reference. llvm-svn: 72968
* Add special cases to retain checker for 'create' methods in QCView, ↵Ted Kremenek2009-05-201-4/+16
| | | | | | | | | | QCRenderer, and CIContext (Apple APIs). This fixes: <rdar://problem/6902710> clang: false positives w/QC and CoreImage methods. llvm-svn: 72187
* Fix PR 4230: Don't flag leaks of NSAutoreleasePools until we know that we ↵Ted Kremenek2009-05-181-0/+4
| | | | | | aren' at the top-most scope of autorelease pools. llvm-svn: 72065
* Fix: <rdar://problem/6893565> False positive: don't flag leaks for return ↵Ted Kremenek2009-05-161-19/+28
| | | | | | types that cannot be determined to be CF types llvm-svn: 71921
* Fix crash when deriving the enclosing summary of a method whose first ↵Ted Kremenek2009-05-151-12/+16
| | | | | | selector slot has a null IdentifierInfo*. This happens when analyzing Growl. llvm-svn: 71857
* Remove extra whitespace character in string literal. Purely cosmetic.Ted Kremenek2009-05-151-1/+1
| | | | llvm-svn: 71847
* Fix <rdar://problem/6859457> [NSData dataWithBytesNoCopy] does not return a ↵Ted Kremenek2009-05-141-0/+9
| | | | | | retained object. llvm-svn: 71797
* Fix crasher reported in PR 4209 caused by an invalid summaryTed Kremenek2009-05-131-4/+16
| | | | | | | | generation when EvalObjCMessageExpr() did not resolve the ObjCInterfaceDecl* for a receiver when the receiver's symbolic value wasn't being explicitly tracked. llvm-svn: 71685
* Fix crasher in CFRefCount.cpp reported by Nikita Zhuk due to recently added ↵Ted Kremenek2009-05-131-2/+5
| | | | | | autorelease tracking. llvm-svn: 71647
* Fix: <rdar://problem/6320065> false positive - init method returns an object ↵Ted Kremenek2009-05-121-22/+46
| | | | | | | | | owned by caller Now 'init' methods are treated by the retain/release checker as claiming their receiver and allocating a new object. llvm-svn: 71579
* Add logic for invalidating array region to CFRefCount.cpp. When invalidatingZhongxing Xu2009-05-121-11/+19
| | | | | | | | | array region, set its default value to conjured symbol. When retrieving its element, create new region value symbol for the element. Also fix some 80 columns violations. llvm-svn: 71548
* Fix <rdar://problem/6877235> Classes typedef-ed to CF objects should get the ↵Ted Kremenek2009-05-121-3/+11
| | | | | | | | same treatment as CF objects This was accomplished by having 'isTypeRef' recursively walk the typedef stack. llvm-svn: 71538
* When stripping element regions for invalidating region values, treat ↵Ted Kremenek2009-05-111-4/+7
| | | | | | FieldRegions and ObjCIvarRegions as "base" regions in addition to VarRegions. llvm-svn: 71488
* Fix regression reported in <rdar://problem/6866843>. The analyzer should ↵Ted Kremenek2009-05-111-2/+2
| | | | | | extend the lifetime of an object stored to a container. llvm-svn: 71452
* Fix a bug found by Thomas Clement where 'return [[[NSString alloc] init] ↵Ted Kremenek2009-05-111-2/+10
| | | | | | autorelease]' would emit a false 'too many overreleases' error. llvm-svn: 71432
* TypedRegion is a too general assumption. Usually we only want to invalidateZhongxing Xu2009-05-111-3/+3
| | | | | | the VarRegion as a super region of an ElementRegion. llvm-svn: 71431
* Add special warning about returning a retained object where a GC'ed object ↵Ted Kremenek2009-05-101-5/+7
| | | | | | is expected. llvm-svn: 71397
* retain/release checker: Flag a warning for non-owned objects returnedTed Kremenek2009-05-101-13/+85
| | | | | | | | where an owned one is expected. Also add preliminary checking for returning a positive retain count object in GC mode where an owned GC object is expected. llvm-svn: 71388
* analyzer:Ted Kremenek2009-05-101-33/+48
| | | | | | | | - Improve -autorelease diagnostics. - Improve VLA diagnostics. - Use "short description" for bug when outputting to TextDiagnostics llvm-svn: 71383
* As discussed with Ted, rename TypedRegion::getObjectType() to Zhongxing Xu2009-05-091-1/+1
| | | | | | TypedRegion::getValueType(). llvm-svn: 71321
* Add back analyzer support for ns_returns_retained and cf_returns_retained.Ted Kremenek2009-05-091-1/+51
| | | | llvm-svn: 71309
* It lives! The retain/release checker now tracks objects that are sentTed Kremenek2009-05-091-4/+5
| | | | | | 'autorelease'. llvm-svn: 71307
* rename: MemRegion:Zhongxing Xu2009-05-091-1/+1
| | | | | | | | | RValueType => ObjectType LValueType => LocationType No functionality change. llvm-svn: 71304
* More hacking on autorelease errors. We now can emit basic errors (disabled forTed Kremenek2009-05-091-3/+14
| | | | | | now until ready). llvm-svn: 71303
* Put most of the boilerplate logic in place for reporting autorelease errors.Ted Kremenek2009-05-091-19/+82
| | | | llvm-svn: 71301
* retain/release checker: Add stub for HandleAutoreleaseCounts.Ted Kremenek2009-05-081-9/+56
| | | | llvm-svn: 71290
OpenPOWER on IntegriCloud