summaryrefslogtreecommitdiff
path: root/clang/lib/Analysis/FlowSensitive/DebugSupport.cpp
AgeCommit message (Expand)Author
2024-04-19[clang][nullability] Remove `RecordValue`. (#89052)martinboehme
2023-08-01[clang][dataflow] Rename `AggregateStorageLocation` to `RecordStorageLocation...Martin Braenne
2023-07-27[clang][dataflow] Eliminate `ReferenceValue`.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-07-05Reland "[dataflow] Add dedicated representation of boolean formulas"Sam McCall
2023-07-04Revert "[dataflow] Add dedicated representation of boolean formulas"Tom Weaver
2023-07-04[dataflow] Add dedicated representation of boolean formulasSam McCall
2023-06-26[dataflow] Make SAT solver deterministicSam McCall
2023-03-25[dataflow] handle missing case in value debug stringsSam McCall
2022-12-17[clang] llvm::Optional::value => operator*/operator->Fangrui Song
2022-10-14[clang][dataflow] Add support for a Top value in boolean formulas.Yitzhak Mandelbaum
2022-08-19[clang][dataflow] Debug string for value kinds.Wei Yi Tee
2022-07-26[clang][dataflow] Add explicit "AST" nodes for implications and iffDmitri Gribenko
2022-07-23[clang][dataflow] Add DataflowEnvironment::dump()Dmitri Gribenko
2022-07-23[clang][dataflow] Expose stringification functions for SAT solver enumsDmitri Gribenko
2022-07-23[clang][dataflow] ArrayRef'ize debugString()Dmitri Gribenko
2022-07-15Modernize Optional::{getValueOr,hasValue}Fangrui Song
2022-07-13[clang] Use value instead of getValue (NFC)Kazu Hirata
2022-07-13[clang][dataflow] Generate readable form of input and output of satisfiabilit...Wei Yi Tee
2022-07-13[clang][dataflow] Generate readable form of boolean values.Wei Yi Tee
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-18 12:14:11 +0000