summaryrefslogtreecommitdiffstats
path: root/clang
Commit message (Collapse)AuthorAgeFilesLines
* Do not treat **instance** methods "copyWithZone:" and "mutableCopyWithZone:" ↵Ted Kremenek2008-05-071-18/+1
| | | | | | from NSObject as allocators. llvm-svn: 50802
* Diagnose attempts to use C++ default arguments outside of a function declarationDouglas Gregor2008-05-076-9/+57
| | | | llvm-svn: 50799
* Be less promiscuous with generating summaries for "new", "copy", "create".Ted Kremenek2008-05-071-3/+3
| | | | llvm-svn: 50798
* Added auto-summary generation for createXXX, copyXXX, newXXX methods.Ted Kremenek2008-05-071-16/+12
| | | | llvm-svn: 50795
* Fix <rdar://problem/5908598> clang ObjC rewriter: typo in #pragma at endSteve Naroff2008-05-071-1/+1
| | | | llvm-svn: 50790
* Fix a few glitches in scan-build with automatically generating class names ↵Ted Kremenek2008-05-061-4/+3
| | | | | | from bug types. llvm-svn: 50784
* Improve HTMLDiagnostics by understanding the "Below" hint.Ted Kremenek2008-05-061-7/+30
| | | | llvm-svn: 50783
* Fix <rdar://problem/5879237> clang objc rewriter: ivars not accessible in ↵Steve Naroff2008-05-061-3/+29
| | | | | | structure generated for class llvm-svn: 50781
* Print ObjC methods of ObjC classes.Fariborz Jahanian2008-05-061-0/+8
| | | | llvm-svn: 50779
* Don't report leaks for autoreleased objects.Ted Kremenek2008-05-062-63/+23
| | | | llvm-svn: 50777
* Fix <rdar://problem/5888515> clang ObjC rewriter: Use objc.h for ↵Steve Naroff2008-05-061-15/+17
| | | | | | declarations instead of putting them in the preamble? llvm-svn: 50774
* Added "DisplayHint" to PathDiagnosticPiece to provide a hint for theTed Kremenek2008-05-061-8/+19
| | | | | | PathDiagnosticClient of where to display a string (beyond just the SourceLocation). llvm-svn: 50773
* More comments.Ted Kremenek2008-05-061-73/+72
| | | | | | "#if 0" out some assumptions when auto-generating method summaries. llvm-svn: 50772
* Fix PR2101 - Codegen crash during bitfield initialization.Devang Patel2008-05-062-3/+33
| | | | llvm-svn: 50769
* Fix <rdar://problem/5881225> clang ObjC Rewriter: Protocol structure defined ↵Steve Naroff2008-05-061-1/+11
| | | | | | twice when two interfaces use it in same file llvm-svn: 50767
* Test was accidently nullified in previous check-in.Fariborz Jahanian2008-05-061-0/+14
| | | | llvm-svn: 50758
* Experiment with not converting bug names to lower case.Ted Kremenek2008-05-062-13/+42
| | | | llvm-svn: 50753
* More refactorings in GeneratePathDiagnostic: use ExecutionContinues to displayTed Kremenek2008-05-061-14/+28
| | | | | | "Execution continues..." message, which does a better job at handling corner cases. llvm-svn: 50751
* Patch to refactor setter/getter names of property attributes into SelectorFariborz Jahanian2008-05-068-27/+23
| | | | | | | (was IdentifierInfo * before). This will make method declartations whole lot easier. llvm-svn: 50747
* Generate "stop" summaries for selectors involving receivers whose type is ↵Ted Kremenek2008-05-061-19/+92
| | | | | | not NSxxxx. llvm-svn: 50721
* Use strncmp correctly.Ted Kremenek2008-05-061-3/+3
| | | | llvm-svn: 50715
* Make string comparison legible and remove buffer overrun introduced by typo.Ted Kremenek2008-05-061-2/+2
| | | | llvm-svn: 50714
* String comparison cleanups.Ted Kremenek2008-05-062-1/+12
| | | | | | Added test case. llvm-svn: 50711
* Fix logic error in string processing.Ted Kremenek2008-05-061-1/+1
| | | | llvm-svn: 50710
* Remove assertion.Ted Kremenek2008-05-061-1/+0
| | | | llvm-svn: 50709
* Use EvalSummary to process message expressions, thereby unifying the checkerTed Kremenek2008-05-062-135/+74
| | | | | | | | | | | | logic for function calls and message expressions. Use the following heuristic to infer "allocating" instance methods: [ClassName classWithXXX] allocates an object Update testcase to reflect this heuristic. llvm-svn: 50708
* Fixed subtle bug in the an GRAuditor object could mark a node as a sinkTed Kremenek2008-05-061-11/+11
| | | | | | after it was already added to the destination NodeSet. llvm-svn: 50701
* Added receiver effects to EvalSummary.Ted Kremenek2008-05-061-7/+43
| | | | llvm-svn: 50700
* Expand summaries to include "Receiver" effects.Ted Kremenek2008-05-061-16/+40
| | | | llvm-svn: 50697
* simplify some builder calls.Chris Lattner2008-05-064-28/+15
| | | | llvm-svn: 50694
* remove a stray printoutChris Lattner2008-05-061-2/+0
| | | | llvm-svn: 50691
* Added initialization code to generate initial set of ObjC method summaries ↵Ted Kremenek2008-05-061-3/+22
| | | | | | (non-instance methods). llvm-svn: 50690
* Added code to generate initial set of summaries for instance methods.Ted Kremenek2008-05-061-17/+55
| | | | llvm-svn: 50689
* Several fixes to SemaInit.cpp. It's still not enabled (since it fails a few ↵Steve Naroff2008-05-062-33/+50
| | | | | | tests). Expect to enable it very soon. llvm-svn: 50688
* Add summary generation for "initXXX" methods.Ted Kremenek2008-05-051-5/+47
| | | | llvm-svn: 50684
* Make CF retain diagnostics more succinct.Ted Kremenek2008-05-051-4/+5
| | | | | | In a leak's "name", indicate GC or non-GC bugs. llvm-svn: 50680
* Emit dead store warnings for ++ and -- operators.Ted Kremenek2008-05-052-9/+32
| | | | llvm-svn: 50679
* Fix rdar://5905347 a crash on invalid builtin, due to theChris Lattner2008-05-052-4/+25
| | | | | | params not getting installed for builtins when synthesized. llvm-svn: 50676
* Initial work on refactoring the CFRefCount checker so that it is moreTed Kremenek2008-05-051-108/+184
| | | | | | generic and handles reference counts for NSObjects. llvm-svn: 50674
* Add support for -Wimplicit-function-declaration, rdar://5907433Chris Lattner2008-05-052-2/+10
| | | | llvm-svn: 50672
* Fix typo, improve comment.Chris Lattner2008-05-051-5/+6
| | | | llvm-svn: 50666
* Fix a few more bugs in preprocessor expressions w.r.t. ?:. Now I Chris Lattner2008-05-053-12/+33
| | | | | | think it is really right. :) This fixes PR2284. llvm-svn: 50665
* percolate @optional/@required protocols down to ASTs forFariborz Jahanian2008-05-057-7/+36
| | | | | | properties declared in the protocol. llvm-svn: 50662
* Improve leak diagnostics to not report a leak on the same line where Ted Kremenek2008-05-051-16/+80
| | | | | | | | | | | | | | | | the object was last used. This can be confusing to users. For example: // 'y' is leaked x = foo(y); instead: x = foo(y); // 'y' is leaked llvm-svn: 50661
* Improved leak diagnostics.Ted Kremenek2008-05-051-23/+63
| | | | llvm-svn: 50657
* Minor refactorings/cleanups in CF retain checker and added support for ↵Ted Kremenek2008-05-052-93/+85
| | | | | | | | NSMakeCollectable. Added test case for NSMakeCollectable. llvm-svn: 50653
* When reporting branch conditions that evaluate to an uninitialized value,Ted Kremenek2008-05-052-5/+94
| | | | | | | | | | highlight the most nested subexpression that appears most responsible (giving the user better diagnostic feedback). Updated test cases to illustrate this feature. Implements: <rdar://problem/5880443> llvm-svn: 50647
* Fix a bug from when this was a pointer instead of vector.Chris Lattner2008-05-051-2/+1
| | | | llvm-svn: 50639
* Neil pointed out that clang doesn't generate ranges from diagnosticsChris Lattner2008-05-054-122/+197
| | | | | | | | | | | | | | | | | | | | | | | | related to pp-expressions. Doing so is pretty simple and this patch implements it, yielding nice diagnostics like: t.c:2:7: error: division by zero in preprocessor expression #if 1 / (0 + 0) ~ ^ ~~~~~~~ t.c:5:14: error: expected ')' in preprocessor expression #if (412 + 42 ~~~~~~~~^ t.c:5:5: error: to match this '(' #if (412 + 42 ^ t.c:10:10: warning: left side of operator converted from negative value to unsigned: -42 to 18446744073709551574 #if (-42 + 0U) / -2 ~~~ ^ ~~ t.c:10:16: warning: right side of operator converted from negative value to unsigned: -2 to 18446744073709551614 #if (-42 + 0U) / -2 ~~~~~~~~~~ ^ ~~ 5 diagnostics generated. llvm-svn: 50638
* fix a bug handling right associative operators that Neil noticed, hopefullyChris Lattner2008-05-052-14/+7
| | | | | | the final part of PR2279 llvm-svn: 50635
OpenPOWER on IntegriCloud