summaryrefslogtreecommitdiff
path: root/clang/test/Analysis/dump_egraph.cpp
AgeCommit message (Expand)Author
2025-05-12Reland [Clang][analyzer] replace Stmt* with ConstCFGElement in SymbolConjured...Fangyi Zhou
2025-04-25Revert "[Clang][analyzer] replace Stmt* with ConstCFGElementRef in SymbolConj...Balazs Benics
2025-04-25[Clang][analyzer] Replace Stmt* with ConstCFGElementRef in SymbolConjured (#1...Fangyi Zhou
2025-01-06Reapply "[clang][analyzer] Stable order for SymbolRef-keyed containers" (#121...Arseniy Zaostrovnykh
2025-01-03Revert "[clang][analyzer] Stable order for SymbolRef-keyed containers" (#121592)Balazs Benics
2025-01-03[clang][analyzer] Stable order for SymbolRef-keyed containers (#121551)Arseniy Zaostrovnykh
2022-07-27[clang] Implement ElaboratedType sugaring for types written bareMatheus Izvekov
2022-07-14Revert "[clang] Implement ElaboratedType sugaring for types written bare"Jonas Devlieghere
2022-07-15[clang] Implement ElaboratedType sugaring for types written bareMatheus Izvekov
2022-07-13Revert "[clang] Implement ElaboratedType sugaring for types written bare"Jonas Devlieghere
2022-07-13[clang] Implement ElaboratedType sugaring for types written bareMatheus Izvekov
2022-05-02[analyzer] Allow exploded graph dumps in release buildsBalazs Benics
2019-10-18[analyzer] Fix FieldRegion dumps.Artem Dergachev
2019-08-22[analyzer] CastValueChecker: Store the dynamic types and castsCsaba Dabis
2019-07-12[analyzer] exploded-graph-rewriter: Improve source location dumps.Artem Dergachev
2019-06-19[analyzer] Fix JSON dumps for store clusters.Artem Dergachev
2019-06-19[analyzer] Fix JSON dumps for location contexts.Artem Dergachev
2019-06-19[analyzer] Fix JSON dumps for dynamic type information.Artem Dergachev
2019-05-30[analyzer] print() JSONify chain: Fix possible build-bot breaksCsaba Dabis
2019-05-30[analyzer] print() JSONify chain: Fix build-bot breaksCsaba Dabis
2019-05-29[analyzer] print() JSONify chain: Generic stmt_idCsaba Dabis
2019-05-29[analyzer] print() JSONify: getNodeLabel implementationCsaba Dabis
2019-05-29[analyzer] print() JSONify: Program state implementationCsaba Dabis
2019-05-29[analyzer] print() JSONify: Constructing objects implementationCsaba Dabis
2018-12-03[analyzer] Dump stable identifiers for objects under construction.Artem Dergachev
2018-10-22[analyzer] Fix dumping for SymbolConjured conjured at no particular statement.Artem Dergachev