aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp
AgeCommit message (Expand)AuthorFilesLines
2025-05-31[Analysis] Remove unused includes (NFC) (#142255)Kazu Hirata1-2/+0
2025-04-27[clang] Use range constructors of *Set (NFC) (#137574)Kazu Hirata1-1/+1
2025-02-01[clang][dataflow][NFC] Remove double lookup (#125282)Balazs Benics1-2/+3
2024-05-08[clang][dataflow] Allow `DataflowAnalysisContext` to use a non-owned `Solver`...martinboehme1-5/+5
2024-04-16[clang][dataflow] Expose getReferencedDecls and relocate free functions. (#88...Samira Bazuzi1-52/+1
2024-03-19[clang][dataflow][NFC] Rename `ControlFlowContext` to `AdornedCFG`. (#85640)martinboehme1-5/+5
2024-01-16[clang][dataflow] Tighten checking for existence of a function body. (#78163)martinboehme1-1/+1
2024-01-16[clang][dataflow] Add an early-out to `flowConditionImplies()` / `flowConditi...martinboehme1-0/+6
2024-01-10Revert "[clang][dataflow] Add an early-out to `flowConditionImplies()` / `flo...martinboehme1-6/+0
2024-01-09[clang][dataflow] Add an early-out to `flowConditionImplies()` / `flowConditi...martinboehme1-0/+6
2023-12-04[clang][dataflow] Add synthetic fields to `RecordStorageLocation` (#73860)martinboehme1-1/+39
2023-11-07[clang][dataflow] Fix -Wrange-loop-construct in DataflowAnalysisContext.cpp (...Jie Fu1-1/+1
2023-11-07[clang][dataflow] Simplify flow conditions displayed in HTMLLogger. (#70848)martinboehme1-1/+39
2023-10-25[clang][dataflow] Add `Environment::allows()`. (#70046)martinboehme1-4/+13
2023-10-23[clang][dataflow] Remove `DataflowAnalysisContext::flowConditionIsTautology()...martinboehme1-9/+0
2023-10-19Reapply "[dataflow] use true/false literals in formulas, rather than variables"Sam McCall1-8/+1
2023-10-11[clang][dataflow] Add support for lambda captures (#68558)Stanislav Gatev1-1/+1
2023-09-22Revert "[dataflow] use true/false literals in formulas, rather than variables"Douglas Yung1-1/+8
2023-09-22[dataflow] use true/false literals in formulas, rather than variablesSam McCall1-8/+1
2023-09-14[dataflow] Add global invariant condition to DataflowAnalysisContext (#65949)Sam McCall1-27/+36
2023-08-29[clang][dataflow][NFC] Eliminate `getStorageLocation()` / `setStorageLocation...Martin Braenne1-5/+7
2023-08-01[clang][dataflow] Rename `AggregateStorageLocation` to `RecordStorageLocation...Martin Braenne1-1/+1
2023-07-24[clang][dataflow] Eliminate duplication between `AggregateStorageLocation` an...Martin Braenne1-1/+5
2023-07-17[clang][dataflow] Add `DataflowEnvironment::createObject()`.Martin Braenne1-1/+1
2023-07-12[clang] Create a buildkite-pipeline.yml file for clangNikolas Klauser1-1/+1
2023-07-10[clang][dataflow] Various changes to handling of modeled fields.Martin Braenne1-24/+19
2023-07-07Reland "[dataflow] Add dedicated representation of boolean formulas"Sam McCall1-46/+56
2023-07-05Revert "Reland "[dataflow] Add dedicated representation of boolean formulas" ...Sam McCall1-51/+48
2023-07-05[dataflow] use true/false literals in formulas, rather than variablesSam McCall1-8/+1
2023-07-05[dataflow] Replace most BoolValue subclasses with references to Formula (and ...Sam McCall1-50/+47
2023-07-05Reland "[dataflow] Add dedicated representation of boolean formulas"Sam McCall1-5/+18
2023-07-04Revert "[dataflow] Add dedicated representation of boolean formulas"Tom Weaver1-18/+5
2023-07-04[dataflow] Add dedicated representation of boolean formulasSam McCall1-5/+18
2023-06-26[dataflow] Make SAT solver deterministicSam McCall1-14/+16
2023-05-30[clang][dataflow] Remove unnecessary `ASTContext` parameter from `ControlFlow...Martin Braenne1-1/+1
2023-05-25[clang][dataflow] Add a `ControlFlowContext::build()` overload taking a `Func...Martin Braenne1-2/+2
2023-05-15[clang][dataflow] Don't analyze templated declarations.Martin Braenne1-1/+1
2023-04-19[dataflow] add HTML logger: browse code/cfg/analysis timeline/stateSam McCall1-5/+36
2023-04-19[dataflow] Extract arena for Value/StorageLocation out of DataflowAnalysisCon...Sam McCall1-179/+21
2023-04-06[clang][dataflow] Use `isRecordType()` where appropriate.Martin Braenne1-2/+1
2023-04-04[clang][dataflow] Fix -Wdeprecated-declarations after D147302 (NFC)Jie Fu1-3/+3
2023-04-04[clang][dataflow] Add `create<T>()` methods to `Environment` and `DataflowAna...Martin Braenne1-14/+8
2023-03-23[FlowSensitive] Log analysis progress for debugging purposesSam McCall1-0/+28
2023-03-22[dataflow] Log flow condition to the correct stream.Sam McCall1-2/+3
2023-03-15[clang] Use *{Map,Set}::contains (NFC)Kazu Hirata1-4/+3
2023-01-10[clang][dataflow][NFC] Refine names and comments for field filtering.Yitzhak Mandelbaum1-5/+5
2023-01-10[clang][dataflow] Unify `TransferOptions` and `DataflowAnalysisContext::Optio...Yitzhak Mandelbaum1-3/+2
2023-01-09Revert "Revert "[clang][dataflow] Only model struct fields that are used in t...Yitzhak Mandelbaum1-3/+24
2023-01-06Revert "[clang][dataflow] Only model struct fields that are used in the funct...Yitzhak Mandelbaum1-24/+3
2023-01-05[clang][dataflow] Only model struct fields that are used in the function bein...Yitzhak Mandelbaum1-3/+24
generated by cgit v1.1 at 2025-07-28 16:59:18 +0000