diff options
| author | Martin Braenne <mboehme@google.com> | 2023-08-23 10:54:28 +0000 |
|---|---|---|
| committer | Martin Braenne <mboehme@google.com> | 2023-08-24 07:12:14 +0000 |
| commit | 4866a6e1d3327a0499ef0e017a973a78d4e377bc (patch) | |
| tree | 20fe3c7134afc7da1e3112e3d3c706639b65287c /clang/unittests/Format/FormatTestJava.cpp | |
| parent | 0a59e1a85c3bfd6e9d904899901d48458356cb0c (diff) | |
| download | llvm-4866a6e1d3327a0499ef0e017a973a78d4e377bc.zip llvm-4866a6e1d3327a0499ef0e017a973a78d4e377bc.tar.gz llvm-4866a6e1d3327a0499ef0e017a973a78d4e377bc.tar.bz2 | |
[clang][dataflow] Produce pointer values for callees of member operator calls.
Calls to member operators are a special case in that their callees have pointer
type. The callees of non-operator non-static member functions are not pointers.
See the comments in the code for details.
This issue came up in the Crubit nullability check; the fact that we weren't
modeling the `PointerValue` caused non-convergence.
Reviewed By: ymandel, xazax.hun
Differential Revision: https://reviews.llvm.org/D158592
Diffstat (limited to 'clang/unittests/Format/FormatTestJava.cpp')
0 files changed, 0 insertions, 0 deletions