projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 830d158) | patch
[clang][dataflow] Modify `optional` model to handle type aliases.
authorYitzhak Mandelbaum <yitzhakm@google.com>
Fri, 3 Jun 2022 16:21:27 +0000 (16:21 +0000)
committerYitzhak Mandelbaum <yitzhakm@google.com>
Fri, 3 Jun 2022 18:57:43 +0000 (18:57 +0000)
commit6adfc64e709cc8b7b7a06b0e9afc60f6903f3cab
tree1799b47e62dbb7832c0bc234210cee1870b6f615tree | snapshot
parent830d158d2b7d2fa45f39fe12aa0b2ffc70c7e771commit | diff
[clang][dataflow] Modify `optional` model to handle type aliases.

Previously, type aliases were not handled (and resulted in an assertion
firing). This patch generalizes the model to consider aliases everywhere (a
previous patch already considered aliases for optional-returning functions).

Differential Revision: https://reviews.llvm.org/D126972
clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp diff | blob | history
clang/unittests/Analysis/FlowSensitive/UncheckedOptionalAccessModelTest.cpp diff | blob | history
Domain: System / Toolchain;