Yitzhak Mandelbaum d4fb829b71 [clang][dataflow] Relax validity assumptions in UncheckedOptionalAccessModel. ...

Currently, the interpretation of `swap` calls in the optional model assumes the
optional arguments are modeled (and therefore have valid storage locations and
values). This assumption is incorrect, for example, in the case of unmodeled
optional fields (which can be missing either value or location). This patch
relaxes these assumptions, to return rather than assert when either argument is
not modeled.

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

2023-02-01 15:57:09 +00:00

..

ChromiumCheckModel.cpp

[clang][dataflow] Modify transfer in DataflowModel to take CFGElement as input instead of Stmt.

2022-09-19 18:40:29 +00:00

CMakeLists.txt

…

UncheckedOptionalAccessModel.cpp

[clang][dataflow] Relax validity assumptions in UncheckedOptionalAccessModel.

2023-02-01 15:57:09 +00:00