aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis/inlining/path-notes.c
AgeCommit message (Expand)Author
2013-04-23[analyzer] Refactor BugReport::getLocation and PathDiagnosticLocation::create...Anna Zaks
2013-04-17[analyzer] Gain more precision retrieving the right SVal by specifying the ty...Anna Zaks
2013-04-15[analyzer] Address code review for r179395Anna Zaks
2013-04-12[analyzer]Print field region even when the base region is not printableAnna Zaks
2013-04-12[analyzer] Show "Returning from ..." note at caller's depth, not callee's.Jordan Rose
2013-04-12[analyzer] Don't emit extra context arrow after returning from an inlined call.Jordan Rose
2013-03-02[analyzer] Simple inline defensive checks suppressionAnna Zaks
2013-02-26[analyzer] Use 'MemRegion::printPretty()' instead of assuming the region is a...Ted Kremenek
2013-01-08[analyzer] Plist: change the type of issue_hash from int to string.Anna Zaks
2012-10-25TrackConstraintBRVisitor and ConditionBRVisitor can emit similarTed Kremenek
2012-09-22[analyzer] Suppress bugs whose paths go through the return of a null pointer.Jordan Rose
2012-09-22[analyzer] Track a null value back through FindLastStoreBRVisitor.Jordan Rose
2012-09-08Attempt (again) to stabilize the order of the emission of diagnosticsTed Kremenek
2012-08-28[analyzer] If the last store into a region came from a function, step into it.Jordan Rose
2012-08-27[analyzer] Look through casts when trying to track a null pointer dereference.Jordan Rose
2012-08-24[analyzer] If we dereference a NULL that came from a function, show the return.Jordan Rose
2012-08-21[analyzer] -analyzer-ipa=inlining is now the default. Remove it from tests.Jordan Rose
2012-08-06[analyzer] Add plist output checks for all four "path notes" tests.Jordan Rose
2012-08-03[analyzer] When a symbol is null, we should track its constraints.Jordan Rose
2012-08-03[analyzer] Flatten path diagnostics for text output like we do for HTML.Jordan Rose