summaryrefslogtreecommitdiff
path: root/clang/lib/Analysis/FlowSensitive/Arena.cpp
AgeCommit message (Expand)Author
2024-11-26[clang][analysis][NFC]add static for internal linkage function (#117481)Congcong Cai
2023-10-19Reapply "[dataflow] use true/false literals in formulas, rather than variables"Sam McCall
2023-09-22Revert "[dataflow] use true/false literals in formulas, rather than variables"Douglas Yung
2023-09-22[dataflow] use true/false literals in formulas, rather than variablesSam McCall
2023-09-22[dataflow] Parse formulas from text (#66424)Sam McCall
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] use true/false literals in formulas, rather than variablesSam 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-19[clang][dataflow] Create `Value`s for integer literals.Martin Braenne
2023-04-19[dataflow] Extract arena for Value/StorageLocation out of DataflowAnalysisCon...Sam McCall