summaryrefslogtreecommitdiffstats
path: root/test/Analysis/explain-svals.cpp
Commit message (Expand)AuthorAgeFilesLines
* Revert "[analyzer] Support generating and reasoning over more symbolic constr...Dominic Chen2017-07-121-1/+1
* [analyzer] Support generating and reasoning over more symbolic constraint typesDominic Chen2017-07-121-1/+1
* 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
* DR1213: element access on an array xvalue or prvalue produces an xvalue. In theRichard Smith2016-12-051-1/+1
* [analyzer] SValExplainer: Support ObjC ivars and __block variables.Artem Dergachev2016-11-301-1/+1
* [analyzer] Provide .def-files and visitors for SVal/SymExpr/MemRegion, v2.Artem Dergachev2016-01-151-0/+98
* Revert "[analyzer] Provide .def-files and visitors for SVal/SymExpr/MemRegion."Artem Dergachev2016-01-131-98/+0
* [analyzer] Provide .def-files and visitors for SVal/SymExpr/MemRegion.Artem Dergachev2016-01-131-0/+98