Yitzhak Mandelbaum b84ac96a35 [clang][dataflow] Fix bug in handling of reference-typed fields. ...

This patch fixes a subtle bug in how we create lvalues to reference-typed
fields. In the rare case that the field is umodeled because of the depth limit
on field modeling, the lvalue created can be malformed. This patch prevents that
and adds some related assertions to other code dealing with lvalues for
references.

Differential Revision: https://reviews.llvm.org/D142468

2023-01-24 16:10:50 +00:00

..

Models

[clang] Use std::optional instead of llvm::Optional (NFC)

2023-01-14 12:31:01 -08:00

CMakeLists.txt

[clang][dataflow] Add equivalence relation Value type.

2022-10-19 12:23:09 +00:00

ControlFlowContext.cpp

[clang] Remove deprecated ControlFlowContext::build()

2022-12-23 15:06:59 +01:00

DataflowAnalysisContext.cpp

[clang][dataflow][NFC] Refine names and comments for field filtering.

2023-01-10 14:28:45 +00:00

DataflowEnvironment.cpp

[clang][dataflow] Fix bug in joining bool values.

2023-01-19 15:59:06 +00:00

DebugSupport.cpp

[clang] llvm::Optional::value => operator*/operator->

2022-12-17 08:10:45 +00:00

Transfer.cpp

[clang][dataflow] Fix bug in handling of reference-typed fields.

2023-01-24 16:10:50 +00:00

TypeErasedDataflowAnalysis.cpp

[clang][dataflow] Add (initial) debug printing for Value and Environment.

2023-01-19 14:33:32 +00:00

Value.cpp

[clang][dataflow] Add (initial) debug printing for Value and Environment.

2023-01-19 14:33:32 +00:00

WatchedLiteralsSolver.cpp

[clang][dataflow] Add support for a Top value in boolean formulas.

2022-10-14 17:41:53 +00:00