summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis/expr-inspection.c
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Escape symbols conjured into specific regions during a conservativ...Gabor Horvath2019-12-111-1/+1
* [analyzer] Fix FieldRegion dumps.Artem Dergachev2019-10-181-1/+10
* [analyzer] CastValueChecker: Store the dynamic types and castsCsaba Dabis2019-08-221-0/+1
* [analyzer] exploded-graph-rewriter: Improve source location dumps.Artem Dergachev2019-07-121-1/+1
* [analyzer] print() JSONify: Create pointersCsaba Dabis2019-06-251-4/+4
* [analyzer] Fix JSON dumps for store clusters.Artem Dergachev2019-06-191-1/+1
* [analyzer] Fix JSON dumps for location contexts.Artem Dergachev2019-06-191-2/+2
* [analyzer] print() JSONify chain: Generic stmt_idCsaba Dabis2019-05-291-1/+1
* [analyzer] print() JSONify: Program state implementationCsaba Dabis2019-05-291-16/+18
* [analyzer] print() JSONify: Checker messages implementationCsaba Dabis2019-05-291-0/+2
* [analyzer] print() JSONify: Constructing objects implementationCsaba Dabis2019-05-291-0/+1
* [analyzer] print() JSONify: Type information implementationCsaba Dabis2019-05-291-1/+1
* [analyzer] print() JSONify: Constraints implementationCsaba Dabis2019-05-291-2/+3
* [analyzer] print() JSONify: Environment implementationCsaba Dabis2019-05-291-5/+6
* [analyzer] print() JSONify: Store implementationCsaba Dabis2019-05-291-8/+20
* [analyzer] Self-debug: Dump environment frame-by-frame.Artem Dergachev2018-02-081-2/+4
* [analyzer] Dump signed integers in SymIntExpr and IntSymExpr correctlyGabor Horvath2017-10-191-0/+1
* [analyzer] Add new Z3 constraint manager backendDominic Chen2017-04-041-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
* [analyzer] Print type for SymbolRegionValues when dumping to streamDominic Chen2016-12-051-1/+1
* [analyzer] Minor fixes and improvements to debug.ExprInspectionArtem Dergachev2016-11-301-0/+22
OpenPOWER on IntegriCloud