diff options
| author | Eric Li <li.zhe.hua@gmail.com> | 2022-05-25 19:21:08 +0000 |
|---|---|---|
| committer | Eric Li <li.zhe.hua@gmail.com> | 2022-05-25 20:58:02 +0000 |
| commit | 33b598a808b9ef1a019e798f19855f203e09ad48 (patch) | |
| tree | 90a0d78cb1eb72dd4ae920678dcdc6dc5dcf73e1 /llvm/lib/Transforms/Utils/LoopUtils.cpp | |
| parent | 67e2e6e66d0aedb3a2b88fcd0f97957e3cf5ea36 (diff) | |
| download | llvm-33b598a808b9ef1a019e798f19855f203e09ad48.zip llvm-33b598a808b9ef1a019e798f19855f203e09ad48.tar.gz llvm-33b598a808b9ef1a019e798f19855f203e09ad48.tar.bz2 | |
[clang][dataflow] Relax assert on existence of `this` pointee storage
Support for unions is incomplete (per 99f7d55e) and the `this` pointee
storage location is not set for unions. The assert in
`VisitCXXThisExpr` is then guaranteed to trigger when analyzing member
functions of a union.
This commit changes the assert to an early-return. Any expression may
be undefined, and so having a value for the `CXXThisExpr` is not a
postcondition of the transfer function.
Differential Revision: https://reviews.llvm.org/D126405
Diffstat (limited to 'llvm/lib/Transforms/Utils/LoopUtils.cpp')
0 files changed, 0 insertions, 0 deletions