summaryrefslogtreecommitdiffstats
path: root/test/Analysis/diagnostics/deref-track-symbolic-region.cpp
Commit message (Expand)AuthorAgeFilesLines
* Reland 4: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-031-1/+1
* Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen2017-03-021-1/+1
* Reland 3: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-021-1/+1
* Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen2017-03-021-1/+1
* Reland 2: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-021-1/+1
* Revert "Reland: [analyzer] NFC: Update test infrastructure to support multipl...Dominic Chen2017-02-281-1/+1
* Reland: [analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen2017-02-281-1/+1
* Revert "[analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen2017-02-271-1/+1
* [analyzer] NFC: Update test infrastructure to support multiple constraint man...Dominic Chen2017-02-271-1/+1
* [analyzer] BugReporter - more precise tracking of C++ referencesAnna Zaks2013-03-131-0/+15
* [analyzer] Add test case for reference to null pointer param checkAnna Zaks2013-03-091-0/+12
* [analyzer] Use 'MemRegion::printPretty()' instead of assuming the region is a...Ted Kremenek2013-02-261-1/+1
* TrackConstraintBRVisitor and ConditionBRVisitor can emit similarTed Kremenek2012-10-251-2/+1
* Fix bug in ConditionBRVisitor where for C++ (and not C) we were not ignoringTed Kremenek2012-09-071-0/+1
* [analyzer] Enhance the member expr tracking to account for references.Anna Zaks2012-09-051-0/+16