summaryrefslogtreecommitdiff
path: root/clang/lib/Analysis/FlowSensitive/HTMLLogger.cpp
AgeCommit message (Expand)Author
2024-10-24[FlowSensitive] Allow to dump nested RecordStorageLocation (#112457)Florian Mayer
2024-04-19[clang][nullability] Remove `RecordValue`. (#89052)martinboehme
2024-03-19[clang][dataflow][NFC] Rename `ControlFlowContext` to `AdornedCFG`. (#85640)martinboehme
2024-03-07[clang][dataflow] Fix u8 string error with C++20. (#84302)martinboehme
2024-03-07Revert "[dataflow][nfc] Fix u8 string usage with c++20" (#84301)martinboehme
2024-03-07[dataflow][nfc] Fix u8 string usage with c++20 (#84291)Vincent Lee
2024-02-01[clang][dataflow][NFC] Rename a confusingly named variable. (#80182)martinboehme
2024-01-31[clang][dataflow] In the CFG visualization, mark converged blocks. (#79999)martinboehme
2023-12-08[FlowSensitive] Fix warningsKazu Hirata
2023-12-08Work around an ICE in MSVC; NFCAaron Ballman
2023-12-04[clang][dataflow] Add synthetic fields to `RecordStorageLocation` (#73860)martinboehme
2023-10-30[clang][nullability] Use `proves()` and `assume()` instead of deprecated syno...martinboehme
2023-10-04[clang][dataflow] HTML logger: Mark iterations that have converged. (#68204)martinboehme
2023-09-20[clang][dataflow] Identify post-visit state changes in the HTML logger. (#66746)martinboehme
2023-09-12[clang][dataflow] Remove RecordValue.getLog() usage in HTMLLogger (#65645)Kinuko Yasuda
2023-08-03[clang][dataflow] In `ControlFlowContext`, handle `Decl` by reference instead...Martin Braenne
2023-08-01[clang][dataflow] Rename `AggregateStorageLocation` to `RecordStorageLocation...Martin Braenne
2023-07-31[clang][dataflow] Remove `Strict` suffix from accessors.Martin Braenne
2023-07-31[clang][dataflow] Use `Strict` accessors where we weren't using them yet.Martin Braenne
2023-07-27[clang][dataflow] Eliminate `ReferenceValue`.Martin Braenne
2023-07-27[clang][dataflow] HTMLLogger: Don't crash if CFG contains unreachable blocks.Martin Braenne
2023-07-24[clang][dataflow] Eliminate duplication between `AggregateStorageLocation` an...Martin Braenne
2023-07-07Reland "[dataflow] Add dedicated representation of boolean formulas"Sam McCall
2023-07-05Revert "Reland "[dataflow] Add dedicated representation of boolean formulas" ...Sam McCall
2023-07-05[dataflow] Replace most BoolValue subclasses with references to Formula (and ...Sam McCall
2023-04-26[dataflow] HTMLLogger - show the value of the current exprSam McCall
2023-04-21[dataflow] allow specifying path to dot with $GRAPHVIZ_DOTSam McCall
2023-04-19[dataflow] add HTML logger: browse code/cfg/analysis timeline/stateSam McCall
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-18 11:59:00 +0000