summaryrefslogtreecommitdiffstats
path: root/clang
Commit message (Collapse)AuthorAgeFilesLines
* Provide static methods in BinaryOperator to determine if an opcode is an ↵Ted Kremenek2008-07-171-3/+10
| | | | | | equality opcode, a relational opcode, or a logical opcode. llvm-svn: 53744
* Move GRTransferFunc* into ValueStateManager, and move the assumption logic ↵Ted Kremenek2008-07-175-230/+245
| | | | | | there as well. llvm-svn: 53743
* Added headersTed Kremenek2008-07-171-4/+8
| | | | llvm-svn: 53742
* Remove redundant logic.Ted Kremenek2008-07-172-18/+3
| | | | llvm-svn: 53740
* Begin major changes to EvalXXX methods in GRTransferFuncs. Currently some ↵Ted Kremenek2008-07-175-5/+93
| | | | | | of the methods only return an RVal; we want them to be able to create an arbitrary number of states. llvm-svn: 53739
* Fix for codegen crash on multibit bool bitfield initializationDaniel Dunbar2008-07-171-0/+7
| | | | | | <rdar://problem/6078606> llvm-svn: 53737
* Moved RemoveDeadBindings logic for the contents of 'Store' to a virtual ↵Ted Kremenek2008-07-174-90/+122
| | | | | | RemoveDeadBindings method in StoreManager. llvm-svn: 53726
* We now build universal binaries of the checker.Ted Kremenek2008-07-171-1/+1
| | | | llvm-svn: 53725
* Unify ctx_iterator/ctx_begin()/ctx_end() and iterator/begin()/end() so that ↵Argyrios Kyrtzidis2008-07-173-159/+102
| | | | | | a single iterator type is used for both traversing decls of the same declaration context *and* of the parent declaration contexts, depending on the value of the bool parameter 'LookInParentCtx' that is passed to IdentifierResolver::begin(). llvm-svn: 53724
* RewriteObjC::SynthMessageExpr(): Fix super rewrite (a fairly recent regression).Steve Naroff2008-07-161-1/+4
| | | | | | Fixes <rdar://problem/6046663> clang ObjC rewriter: Regression in handling of 'super' in latest build. llvm-svn: 53703
* When in C++, make EnumConstant names hide tag names in the same scope, ↵Argyrios Kyrtzidis2008-07-162-1/+8
| | | | | | instead of colliding with them. llvm-svn: 53702
* Remove a FIXME from RewriteObjC::RewriteObjCSynchronizedStmt().Steve Naroff2008-07-161-2/+5
| | | | llvm-svn: 53696
* RewriteObjC::Initialize(): add function decls used by @synchronized.Steve Naroff2008-07-161-0/+3
| | | | | | This fixes <rdar://problem/6040143> clang ObjC rewriter: @synchronized keyword inserts undeclared objc functions. llvm-svn: 53695
* Two fixes:Steve Naroff2008-07-164-14/+21
| | | | | | | - Make sure ObjCIvarDecl propagates the bitfield width. - RewriteObjC::SynthesizeIvarOffsetComputation(): Avoid using the __OFFSETOF__ mumbo jumbo for bitfields (since it isn't legal C). This fixes <rdar://problem/5986079> clang ObjC rewriter: bitfields and ivar access don't mix. llvm-svn: 53694
* RewriteObjC::RewriteObjCTryStmt():Don't synthesize a catch begin if there ↵Steve Naroff2008-07-162-20/+24
| | | | | | | | are 0 catch clauses. This fixes <rdar://problem/5987211> clang ObjC rewriter: @try / @finally block produces unbalanced output. llvm-svn: 53679
* Teach RewriteObjC::RewriteObjCMethodDecl() to deal with pointer to function ↵Steve Naroff2008-07-161-1/+33
| | | | | | | | return types. This fixes <rdar://problem/6034961> clang ObjC rewriter: rewriting methods with function pointer return values does not work llvm-svn: 53678
* When checking for name collision between a tag and a previously defined ↵Argyrios Kyrtzidis2008-07-162-5/+12
| | | | | | | | namespace, the collision occured even when the tag was in a different nested scope. Fix it by taking into account the scope when checking for namespace-tag name collisions. llvm-svn: 53667
* Add 'this' in the comments of Parser::ParseCastExpression to indicate that ↵Argyrios Kyrtzidis2008-07-161-0/+1
| | | | | | it is handled. llvm-svn: 53665
* Updated latest checker build.Ted Kremenek2008-07-161-1/+1
| | | | llvm-svn: 53664
* Fix regression introduced by ↵Ted Kremenek2008-07-161-2/+4
| | | | | | | | http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20080714/006514.html. The regression was the casts from integers to pointers where not being handled: they would just return UnknownVal. This would greatly decrease path-sensitivity. llvm-svn: 53659
* Have scan-build control default analyses.Ted Kremenek2008-07-152-7/+10
| | | | llvm-svn: 53654
* Fix transfer function logic in GRSimpleVals for integer casts: only support ↵Ted Kremenek2008-07-151-0/+4
| | | | | | | | casts from integers to integers. This fixes a crash reported by Anders Carlsson! llvm-svn: 53649
* Add -DIBOutlet=__attribute__((iboutlet)) to analyzer arguments.Ted Kremenek2008-07-151-1/+1
| | | | llvm-svn: 53648
* For the MissingDealloc check, don't treat IBOutlet ivars as being needed to ↵Ted Kremenek2008-07-152-2/+24
| | | | | | be released llvm-svn: 53647
* Make iboutlet diagnostic lowercaseTed Kremenek2008-07-151-1/+1
| | | | llvm-svn: 53646
* Use lowercase of attribute iboutlet to not conflict with the macro IBOutletTed Kremenek2008-07-151-1/+1
| | | | llvm-svn: 53645
* Added parsing/sema support for __attribute__ ((IBOutlet)), a clang-specific ↵Ted Kremenek2008-07-155-2/+38
| | | | | | attribute that the static analyzer will use to recognize what ivars are IBOutlets. llvm-svn: 53644
* Added --status-bugs option to scan-build. By default, the exit status ofTed Kremenek2008-07-151-23/+43
| | | | | | | | | | scan-build is the same as the exit status of the executed build command. With this option, the exit status of scan-build is 1 if the analyzer flagged any bugs, and 0 otherwise. This addresses: <rdar://problem/6075320> llvm-svn: 53642
* Per Sam Bishop's excellent suggestion, use "system" instead of backticks to ↵Ted Kremenek2008-07-151-13/+13
| | | | | | invoke sub-commands used by scan-build. This avoids meta-character translation issues caused by a shell subprocess. llvm-svn: 53640
* Quote file names to better handle paths with spaces.Ted Kremenek2008-07-151-9/+9
| | | | llvm-svn: 53635
* Incremented latest checker build.Ted Kremenek2008-07-151-1/+1
| | | | llvm-svn: 53631
* Distinguish between dead stores and dead initializations.Ted Kremenek2008-07-152-10/+20
| | | | llvm-svn: 53628
* isRetain() and isRelease() now only returns true if "Retain"/"Release" ↵Ted Kremenek2008-07-151-2/+4
| | | | | | appears in the suffix of a function's name. llvm-svn: 53621
* scan-build now propagates up the exit status of the build command.Ted Kremenek2008-07-151-2/+5
| | | | llvm-svn: 53620
* Do not enable -warn-objc-missing-dealloc by default.Ted Kremenek2008-07-151-1/+1
| | | | llvm-svn: 53619
* scan-build now interrogates clang for a list of available analyses, and presentsTed Kremenek2008-07-151-23/+79
| | | | | | these as options to the user of scan-build. llvm-svn: 53618
* Support retain/release tracking for CoreGraphics (CGxxxRef) objects.Ted Kremenek2008-07-151-12/+83
| | | | llvm-svn: 53617
* Update radar component to file static analyzer bugs against.Ted Kremenek2008-07-151-1/+1
| | | | llvm-svn: 53589
* Removed disclaimer about checker-36, which is old news.Ted Kremenek2008-07-151-4/+1
| | | | llvm-svn: 53588
* Provide an "Analysis Scope" for Analyses so checks can either be run on code ↵Ted Kremenek2008-07-155-14/+16
| | | | | | declarations (bodies) or Objective-C @implementation blocks. llvm-svn: 53584
* Re-enable missing -dealloc check.Ted Kremenek2008-07-141-1/+1
| | | | llvm-svn: 53578
* Update Xcode project.Ted Kremenek2008-07-141-0/+2
| | | | llvm-svn: 53577
* Using new clang option to invoke the type-signature check of Objective-C ↵Ted Kremenek2008-07-141-1/+1
| | | | | | instance methods. llvm-svn: 53576
* Break off declaration of Analysis enum into Analyses.def. The driver options inTed Kremenek2008-07-144-75/+67
| | | | | | | | | | | | clang.cpp now #include these definitions to create the command line options, and AnalysisConsumer #includes this file to generate the switch statement to create actions. Renamed -check-objc-methodsigs to -warn-objc-methodsigs. The "missing -dealloc" check is now optional: -warn-objc-missing-dealloc llvm-svn: 53575
* Refactor Dead Stores error reporting to use the simplified ↵Ted Kremenek2008-07-143-38/+29
| | | | | | BugReporter::EmitBasicReport interface. llvm-svn: 53573
* http://llvm.org/bugs/show_bug.cgi?id=2523Nate Begeman2008-07-143-28/+94
| | | | | | | | | Add some code to handle vector comparisons, which is the language side of the llvm vicmp/vfcmp instructions. Also make the vector-vector and vector-scalar asign checks a bit more sane under the presence of lax vector conversions. llvm-svn: 53565
* Added method "EmitBasicReport" to BugReporter to simplify the emission of ↵Ted Kremenek2008-07-144-49/+39
| | | | | | | | simple bug diagnostics. Refactored error reporting in CheckObjCDealloc and CheckObjCInstMethSignature to use this new bug reporting interface (major code simplification). llvm-svn: 53560
* remove CGObjCEtoile until it compiles.Chris Lattner2008-07-142-249/+0
| | | | llvm-svn: 53552
* Fix minor mistake in clang checkout instructions.Ted Kremenek2008-07-141-1/+1
| | | | llvm-svn: 53550
* test commit. Remove previously added line.Cedric Venet2008-07-131-1/+0
| | | | llvm-svn: 53524
OpenPOWER on IntegriCloud