summaryrefslogtreecommitdiffstats
path: root/clang
Commit message (Collapse)AuthorAgeFilesLines
* Implemented toll-free bridging support for CF Reference count checker.Ted Kremenek2008-04-161-39/+113
| | | | llvm-svn: 49771
* make a method public.Chris Lattner2008-04-161-1/+7
| | | | llvm-svn: 49770
* switch AddLineNumber to use a SmallString instead of sstream. ThisChris Lattner2008-04-161-10/+12
| | | | | | | speeds up -emit-html on ted's testcase by 29% (.138 -> 0.107s) in a release build. llvm-svn: 49767
* speed up -emit-html in a release build by 6.5% by avoiding std::string.Chris Lattner2008-04-162-2/+5
| | | | llvm-svn: 49764
* Simplify some code.Ted Kremenek2008-04-161-31/+28
| | | | llvm-svn: 49763
* Added initial boilerplate to support toll-free bridging in the ref-count ↵Ted Kremenek2008-04-151-0/+40
| | | | | | checker. llvm-svn: 49756
* Added some comments to GRExprEngine. Reorder some of the method definitionsTed Kremenek2008-04-155-318/+415
| | | | | | | | to start logically organizing them. Added initial plug-in transfer function support for Objective-C message expressions. llvm-svn: 49752
* Revert my previous patch.Ted Kremenek2008-04-151-0/+1
| | | | llvm-svn: 49751
* Remove dispatch to "VisitParmVarDecl".Ted Kremenek2008-04-151-1/+0
| | | | llvm-svn: 49750
* Change "VisitBlockVarDecl" to "VisitVarDecl". UninitializedValues now worksTed Kremenek2008-04-151-1/+1
| | | | | | as before r49748 (where BlockVarDecl was removed). llvm-svn: 49749
* Remove FileVarDecl and BlockVarDecl. They are replaced by ↵Steve Naroff2008-04-1521-217/+165
| | | | | | | | VarDecl::isBlockVarDecl() and VarDecl::isFileVarDecl(). This is a fairly mechanical/large change. As a result, I avoided making any changes/simplifications that weren't directly related. I did break two Analysis tests. I also have a couple FIXME's in UninitializedValues.cpp. Ted, can you take a look? If the bug isn't obvious, I am happy to dig in and fix it (since I broke it). llvm-svn: 49748
* For HTML diagnostics, output more information about a bug report.Ted Kremenek2008-04-152-6/+27
| | | | llvm-svn: 49742
* Added "summary table" to generated index.html page that allows one toTed Kremenek2008-04-151-2/+68
| | | | | | toggle which bug reports are displayed in the report table. llvm-svn: 49738
* Added test case illustrating the use of '&'.Ted Kremenek2008-04-151-0/+7
| | | | llvm-svn: 49735
* Fix bug in terminator processing for uninitialized-values: simply ignore the ↵Ted Kremenek2008-04-154-22/+100
| | | | | | | | | | terminator, don't reprocess it. LiveVariables analysis now does a flow-insensitive analysis to determine what variables have their address taken; these variables are now always treated as being live. The DataflowSolver now uses "SetTopValue()" when getting the initial value for the entry/exit block. llvm-svn: 49734
* Fix a compiler error on MSVC (variable name 'E' clash).Argyrios Kyrtzidis2008-04-151-1/+1
| | | | llvm-svn: 49727
* finish commenting RewriteRopeChris Lattner2008-04-151-2/+65
| | | | llvm-svn: 49712
* Improve dead store diagnostic.Ted Kremenek2008-04-151-1/+1
| | | | llvm-svn: 49711
* Bug fix in VisitChildren: Only visit the last statement in a StmtExpr and ↵Ted Kremenek2008-04-151-0/+20
| | | | | | the RHS of a comma expression, as the other Stmts will be visited elsewhere in a CFGBlock. llvm-svn: 49710
* Added initial support into the flow-sensitive dataflow solver to visit the ↵Ted Kremenek2008-04-153-5/+37
| | | | | | | | | | | | | Block-level expression in a block's terminator. This expression is visited within a block, but it is accessed by the terminator. This is important to observe because for live-variables analysis the block-level expression is live between the terminator and where the expression occurs in the block. So far this hasn't been an issue to not observe this because the block-level expression used in the terminator is always the last one in the block, and we have never queried the liveness information about this point (but before the terminator). llvm-svn: 49709
* Bug fix in dead stores: don't always check the liveness of the first declTed Kremenek2008-04-151-1/+1
| | | | | | in a DeclStmt. llvm-svn: 49708
* ++/-- makes a variable live since it is used; thus the liveness state isTed Kremenek2008-04-151-3/+3
| | | | | | "Alive" as opposed to staying the same. llvm-svn: 49707
* Handle "__private_extern__" storage class when printing FunctionDecls.Ted Kremenek2008-04-151-0/+1
| | | | llvm-svn: 49706
* Bug fix in LiveVariables: Operators ++/-- may kill a value, but the variableTed Kremenek2008-04-151-6/+5
| | | | | | is still live. llvm-svn: 49705
* Fix a corner case that ted hit in -emit-html, rdar://5863212Chris Lattner2008-04-151-1/+1
| | | | llvm-svn: 49703
* New AST representation for each objc2's property declaration.Fariborz Jahanian2008-04-148-89/+50
| | | | llvm-svn: 49699
* Remove bogus token...Steve Naroff2008-04-141-1/+1
| | | | llvm-svn: 49695
* simplify the implementation of the insert/split operation to returnChris Lattner2008-04-141-98/+98
| | | | | | | the new RHS directly instead of indirecting through the 'InsertResult' struct. This eliminates InsertResult. llvm-svn: 49694
* Rename a file and update the Xcode project.Steve Naroff2008-04-142-4/+4
| | | | llvm-svn: 49693
* Rename RewriteTest->RewriteObjC.Steve Naroff2008-04-1428-93/+93
| | | | llvm-svn: 49692
* Add a bunch of comments, move RewriteRope::MakeRopeString out of line.Chris Lattner2008-04-142-47/+69
| | | | llvm-svn: 49689
* Fix comment.Steve Naroff2008-04-141-1/+1
| | | | llvm-svn: 49688
* Use isFromMainFile instead of comparing FileIDs directly.Ted Kremenek2008-04-141-1/+1
| | | | llvm-svn: 49687
* Fix regression in Diagnostic that caused it to not register the numberTed Kremenek2008-04-141-2/+3
| | | | | | of errors. llvm-svn: 49686
* Use SourceManager::isFromMainFile()Ted Kremenek2008-04-141-1/+1
| | | | llvm-svn: 49685
* Convert over to new SourceManager::isFromMainFile() instead of doing directTed Kremenek2008-04-141-8/+4
| | | | | | FileID comparison (fixes insidious corner case with chunks). llvm-svn: 49684
* HTMLDiagnostics now uses the new "getCanonicalID()", "isFromMainFileID()" ↵Ted Kremenek2008-04-141-23/+21
| | | | | | | | | methods from SourceManager when doing HTML pretty-printing. This resolves an insidious bug when presenting error reports that only occurred in large source files. llvm-svn: 49683
* Added "getCanonicalID()", "isFromSameFile", and "isFromMainFile" to compareTed Kremenek2008-04-143-1/+27
| | | | | | | | the files of different SourceLocations. These methods correctly handle the case where a file may have multiple FileIDs due to it being large enough to be spread across several chunks. llvm-svn: 49682
* fix more uninit ivars, who wrote this junk? :)Chris Lattner2008-04-141-2/+2
| | | | llvm-svn: 49679
* Fix an assertion ted was hitting, due to an uninitialized variable.Chris Lattner2008-04-141-1/+1
| | | | llvm-svn: 49678
* Only increment the number of diagnostics when the DiagnosticClient usedTed Kremenek2008-04-141-2/+6
| | | | | | is the one attached to the Diagnostic object. llvm-svn: 49677
* Added driver option "-checker-opt-analyze-headers" to force the staticTed Kremenek2008-04-143-23/+41
| | | | | | analyzer to analyze functions declared in header files. llvm-svn: 49675
* Don't flag dead stores that occur in macros.Ted Kremenek2008-04-141-0/+4
| | | | llvm-svn: 49672
* Have BugReporter::EmitWarning use the PathDiagnosticClient if it is available.Ted Kremenek2008-04-141-10/+22
| | | | llvm-svn: 49668
* move a ton of code out of line, from RewriteRope.h -> RewriteRope.cppChris Lattner2008-04-143-694/+796
| | | | llvm-svn: 49664
* Bug fix in dead-store checker when walking the Decls in a DeclStmt: don'tTed Kremenek2008-04-141-2/+5
| | | | | | assume that DeclStmts only have VarDecls; they can have TypedefDecls. llvm-svn: 49662
* Treat calls to unresolved functions in the CF-ref count checker as callsTed Kremenek2008-04-141-8/+6
| | | | | | to functions with NULL summaries. llvm-svn: 49660
* Updated test cases so that they do not emit warnings for dead stores.Ted Kremenek2008-04-142-5/+5
| | | | llvm-svn: 49659
* Hooked up the dead-store checker to the BugReporter interface. Now dead-storeTed Kremenek2008-04-148-122/+206
| | | | | | warnings are emitted as part of the warnings registered by GRSimpleVals. llvm-svn: 49658
* Added version of "getClient()" for class Diagnostic that returns a non-constTed Kremenek2008-04-141-0/+3
| | | | | | | reference to the DiagnosticClient. This is useful for DiagnosticClients that have internal state when processing diagnostics. llvm-svn: 49656
OpenPOWER on IntegriCloud