summaryrefslogtreecommitdiff
path: root/clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp
AgeCommit message (Expand)Author
2025-05-31[Analysis] Remove unused includes (NFC) (#142255)Kazu Hirata
2024-10-24[llvm] Support llvm::Any across shared libraries on windows (#108051)Thomas Fransham
2024-07-29[clang][dataflow] Fix bug in `buildContainsExprConsumedInDifferentBlock()`. (...martinboehme
2024-06-21[clang][dataflow] Add a callback run on the pre-transfer state. (#96140)martinboehme
2024-05-15[clang][dataflow] Fully support Environment construction for Stmt analysis. (...Samira Bazuzi
2024-04-23Reapply "[clang][dataflow] Model conditional operator correctly." with fixes ...martinboehme
2024-04-22Revert "[clang][dataflow] Model conditional operator correctly." (#89577)martinboehme
2024-04-22[clang][dataflow] Model conditional operator correctly. (#89213)martinboehme
2024-04-19[clang][nullability] Remove `RecordValue`. (#89052)martinboehme
2024-04-11[clang][dataflow] Reland #87320: Propagate locations from result objects to i...martinboehme
2024-04-10Revert "[clang][dataflow] Propagate locations from result objects to initiali...martinboehme
2024-04-10[clang][dataflow] Propagate locations from result objects to initializers. (#...martinboehme
2024-03-19[clang][dataflow] Refactor processing of terminator element (#84499)Yitzhak Mandelbaum
2024-03-19[clang][dataflow][NFC] Rename `ControlFlowContext` to `AdornedCFG`. (#85640)martinboehme
2024-03-08[clang][dataflow] When analyzing ctors, don't initialize fields of `*this` wi...martinboehme
2024-03-07[clang][nullability] Don't discard expression state before end of full-expres...martinboehme
2024-01-30[clang][dataflow] Drop block-relative cap on worklist iterations. (#80033)Yitzhak Mandelbaum
2024-01-23[clang][dataflow] Process terminator condition within `transferCFGBlock()`. (...martinboehme
2024-01-22[clang][dataflow] Make cap on block visits configurable by caller. (#77481)Yitzhak Mandelbaum
2024-01-12Revert "[clang][dataflow] Remove unused private field 'StmtToEnv' (NFC)"Jie Fu
2024-01-12Revert "[clang][dataflow] Process terminator condition within `transferCFGBlo...martinboehme
2024-01-12[clang][dataflow] Remove unused private field 'StmtToEnv' (NFC)Jie Fu
2024-01-12[clang][dataflow] Process terminator condition within `transferCFGBlock()`. (...martinboehme
2023-12-21[clang][dataflow] Add `Environment::get<>()`. (#76027)martinboehme
2023-12-04[clang][dataflow] Add synthetic fields to `RecordStorageLocation` (#73860)martinboehme
2023-11-22[clang][dataflow] Clear `ExprToLoc` and `ExprToVal` at the start of a block. ...martinboehme
2023-10-30[clang][nullability] Use `proves()` and `assume()` instead of deprecated syno...martinboehme
2023-10-24[ADT] Rename llvm::erase_value to llvm::erase (NFC) (#70156)Kazu Hirata
2023-10-16[clang][dataflow] Check for backedges directly (instead of loop statements). ...Yitzhak Mandelbaum
2023-09-26[clang][dataflow] Remove declarations from `DeclToLoc` when their lifetime en...martinboehme
2023-09-20[clang][dataflow] Identify post-visit state changes in the HTML logger. (#66746)martinboehme
2023-09-11[clang][dataflow][NFC] Delete unused function. (#65602)martinboehme
2023-08-28[clang][dataflow] Support range-for loops in fixpoint algorithm.Yitzhak Mandelbaum
2023-08-27[clang] Remove redundant control flow statements (NFC)Kazu Hirata
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-27[clang][dataflow] Reverse course on `getValue()` deprecation.Martin Braenne
2023-07-24[clang][dataflow] Eliminate duplication between `AggregateStorageLocation` an...Martin Braenne
2023-07-13[dataflow] Remove deprecated BoolValue flow condition accessorsSam McCall
2023-07-12[dataflow] improve determinism of generated SAT systemSam McCall
2023-06-29[dataflow] fix compile on gcc7Sam McCall
2023-06-29[clang][dataflow] Make `getThisPointeeStorageLocation()` return an `Aggregate...Martin Braenne
2023-06-29[clang][dataflow] Initialize fields of anonymous records correctly.Martin Braenne
2023-06-28[dataflow] Use consistent, symmetrical, non-mutating erased signature for join()Sam McCall
2023-06-27Reland "[dataflow] avoid more accidental copies of Environment"Sam McCall
2023-06-26Revert "[dataflow] avoid more accidental copies of Environment"Sam McCall
2023-06-26[dataflow] avoid more accidental copies of EnvironmentSam McCall
2023-06-26[dataflow] Disallow implicit copy of Environment, use fork() insteadSam McCall
2023-06-23[clang][dataflow] Dump useful debugging information when we crash.Martin Braenne
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-18 09:37:41 +0000