| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | [analyzer] Report leaks at the closing brace of a function body. | Jordan Rose | 2012-11-15 | 1 | -2/+2 |
| | | | | | | | | | | | | | | | | | | | | | This fixes a few cases where we'd emit path notes like this: +---+ 1| v p = malloc(len); ^ |2 +---+ In general this should make path notes more consistent and more correct, especially in cases where the leak happens on the false branch of an if that jumps directly to the end of the function. There are a couple places where the leak is reported farther away from the cause; these are usually cases where there are several levels of nested braces before the end of the function. This still matches our current behavior for when there /is/ a statement after all the braces, though. llvm-svn: 168070 | ||||
| * | [analyzer] Always include destructors in the analysis CFG. | Jordan Rose | 2012-09-05 | 1 | -0/+25 |
| | | | | | | | | | | | | | | | | | | | | | | While destructors will continue to not be inlined (unless the analyzer config option 'c++-inlining' is set to 'destructors'), leaving them out of the CFG is an incomplete model of the behavior of an object, and can cause false positive warnings (like PR13751, now working). Destructors for temporaries are still not on by default, since (a) we haven't actually checked this code to be sure it's fully correct (in particular, we probably need to be very careful with regard to lifetime-extension when a temporary is bound to a reference, C++11 [class.temporary]p5), and (b) ExprEngine doesn't actually do anything when it sees a temporary destructor in the CFG -- not even invalidate the object region. To enable temporary destructors, set the 'cfg-temporary-dtors' analyzer config option to '1'. The old -cfg-add-implicit-dtors cc1 option, which controlled all implicit destructors, has been removed. llvm-svn: 163264 | ||||
| * | Fix analyzer tests. | Ted Kremenek | 2012-08-24 | 1 | -1/+1 |
| | | | | | llvm-svn: 162588 | ||||
| * | [analyzer] One more pointer escape test. | Anna Zaks | 2012-05-04 | 1 | -0/+11 |
| | | | | | llvm-svn: 156214 | ||||
| * | [analyzer] Allow pointers escape through calls containing callback args. | Anna Zaks | 2012-05-03 | 1 | -0/+10 |
| | | | | | | | | (Since we don't have a generic pointer escape callback, modify ExprEngineCallAndReturn as well as the malloc checker.) llvm-svn: 156134 | ||||
| * | [analyzer] Add a malloc cpp test file. | Anna Zaks | 2012-03-29 | 1 | -0/+16 |
| Includes a test from a reported false positive fixed in some earlier commit. llvm-svn: 153702 | |||||
 |
index : bcm5719-llvm | |
| Project Ortega BCM5719 LLVM | Raptor Computing Systems |
| summaryrefslogtreecommitdiffstats |
|