Commits · f04ccadf35441b2e13b3ab30edeef251818fa9c7 · Roger Ferrer / llvm-epi · GitLab

Jul 27, 2023
- [clang][CFG] Support construction of a weak topological ordering of the CFG. · 26db5e65
  Yitzhak Mandelbaum authored Jun 12, 2023
  26db5e65
- [clang][dataflow] Reverse course on `getValue()` deprecation. · e95134b9
  Martin Braenne authored Jul 26, 2023
  e95134b9
- [clang][dataflow] Eliminate `ReferenceValue`. · 1b334a2a
  Martin Braenne authored Jul 26, 2023
  1b334a2a
- [-Wunsafe-buffer-usage] Add a facility for debugging low fixit coverage · a6ae740e
  Rashmi Mudduluru authored Jul 26, 2023
  a6ae740e
Jul 26, 2023
- Fix build breakages in rG1429240ed63b. · 75abfa24
  Yitzhak Mandelbaum authored Jul 26, 2023
  
  75abfa24
- [clang-tidy] Update unchecked-optiona-access-check to use convenience function... · e9570d1e
  Yitzhak Mandelbaum authored Jul 25, 2023
  e9570d1e
- [clang][dataflow] Add convenience function for analysing and `FunctionDecl` and diagnosing it. · 1429240e
  Yitzhak Mandelbaum authored Jul 25, 2023
  1429240e
Jul 24, 2023
- [clang][dataflow] Eliminate duplication between `AggregateStorageLocation` and `StructValue`. · 44f98d01
  Martin Braenne authored Jul 20, 2023
  44f98d01
Jul 18, 2023
- [clang][dataflow] Add function to `WatchedLiteralsSolver` that reports whether... · 1defa781
  Yitzhak Mandelbaum authored Jul 18, 2023
  1defa781
- [analyzer] Rework support for CFGScopeBegin, CFGScopeEnd, CFGLifetime elements · d937836e
  tomasz-kaminski-sonarsource authored Jul 17, 2023
  d937836e
Jul 17, 2023
- [clang][dataflow] Add `refreshStructValue()`. · d17f455a
  Martin Braenne authored Jul 17, 2023
  d17f455a
- [clang][dataflow] Add `DataflowEnvironment::createObject()`. · 6d768548
  Martin Braenne authored Jul 17, 2023
  6d768548
Jul 16, 2023
- Re-land "5b012bf5 " · a07a6f6c
  ziqingluo-90 authored Jul 15, 2023
  a07a6f6c
Jul 15, 2023
- Revert D150338, "[-Wunsafe-buffer-usage] Improving insertion of the... · c915908f
  NAKAMURA Takumi authored Jul 15, 2023
  c915908f
Jul 14, 2023
- [-Wunsafe-buffer-usage] Improving insertion of the [[clang::unsafe_buffer_usage]] attribute · 5b012bf5
  ziqingluo-90 authored Jul 14, 2023
  5b012bf5
Jul 13, 2023
- [dataflow] Remove deprecated BoolValue flow condition accessors · 6272226b
  Sam McCall authored Jul 13, 2023
  6272226b
Jul 12, 2023
- [dataflow] improve determinism of generated SAT system · 7d935d08
  Sam McCall authored Jul 11, 2023
  7d935d08
- [dataflow] document flow condition · fa689726
  Sam McCall authored Jul 11, 2023
  fa689726
- [clang][dataflow] Include fields initialized in an `InitListExpr` in `getModeledFields()`. · b47bdcbc
  Martin Braenne authored Jul 12, 2023
  b47bdcbc
Jul 10, 2023
- Formula.h - fix MSVC "'clang::dataflow::Formula::numOperands': not all control... · 86943d86
  Simon Pilgrim authored Jul 10, 2023
  86943d86
- [clang][dataflow] Various changes to handling of modeled fields. · e8a1560d
  Martin Braenne authored Jul 06, 2023
  e8a1560d
Jul 07, 2023
- [dataflow] Remove [[deprecated]] from deprecated functions · 9d5cfed2
  Sam McCall authored Jul 07, 2023
  9d5cfed2
- Reland "[dataflow] Add dedicated representation of boolean formulas" · fc9821a8
  Sam McCall authored Jul 05, 2023
  fc9821a8
Jul 05, 2023
- Revert "Reland "[dataflow] Add dedicated representation of boolean formulas" and followups · 2d8cd195
  Sam McCall authored Jul 05, 2023
  2d8cd195
- [dataflow] use true/false literals in formulas, rather than variables · 71579569
  Sam McCall authored Jun 22, 2023
  71579569
- [dataflow] Replace most BoolValue subclasses with references to Formula (and... · 5e4ad816
  Sam McCall authored Jun 21, 2023
  5e4ad816
- Reland "[dataflow] Add dedicated representation of boolean formulas" · 1c3ac8df
  Sam McCall authored Jul 05, 2023
  1c3ac8df
Jul 04, 2023
- Revert "[dataflow] Add dedicated representation of boolean formulas" · 7a72ce98
  Tom Weaver authored Jul 04, 2023
  7a72ce98
- [clang][dataflow] Make `runDataflowReturnError()` a non-template function. · d0be47c5
  Martin Braenne authored Jul 04, 2023
  d0be47c5
- [dataflow] Add dedicated representation of boolean formulas · 2fd614ef
  Sam McCall authored Jun 15, 2023
  2fd614ef
Jul 01, 2023
- Expose DataflowAnalysisContext.querySolver(). · 3b29b8a2
  Samira Bazuzi authored Jun 30, 2023
  3b29b8a2
Jun 30, 2023
- [dataflow] Fix complie on gcc7 part 2 · cec30e2b
  Donát Nagy authored Jun 30, 2023
  cec30e2b
Jun 29, 2023
- [clang][dataflow] Make `getThisPointeeStorageLocation()` return an `AggregateStorageLocation`. · 74d8455b
  Martin Braenne authored Jun 28, 2023
  74d8455b
Jun 28, 2023
- [dataflow] Use consistent, symmetrical, non-mutating erased signature for join() · 6f22de67
  Sam McCall authored Jun 27, 2023
  6f22de67
- [clang][dataflow] Output debug info if `getChild()` doesn't find field. · 834a84d0
  Martin Braenne authored Jun 28, 2023
  834a84d0
Jun 27, 2023
- Reland "[dataflow] avoid more accidental copies of Environment" · 1e010c5c
  Sam McCall authored Jun 26, 2023
  1e010c5c
- [clang][CFG] Add support for partitioning CFG into intervals. · f4cf51c9
  Yitzhak Mandelbaum authored Jun 05, 2023
  f4cf51c9
Jun 26, 2023
- [dataflow] Make SAT solver deterministic · d85c233e
  Sam McCall authored Jun 22, 2023
  d85c233e
- Revert "[dataflow] avoid more accidental copies of Environment" · fb13d027
  Sam McCall authored Jun 26, 2023
  fb13d027
- [clang][NFC] Remove trailing whitespaces and enforce it in lib, include and docs · f6d557ee
  Nikolas Klauser authored Jun 25, 2023
  f6d557ee