diff options
| author | Yitzhak Mandelbaum <yitzhakm@google.com> | 2022-03-21 20:37:04 +0000 |
|---|---|---|
| committer | Yitzhak Mandelbaum <yitzhakm@google.com> | 2022-03-31 13:21:39 +0000 |
| commit | 7f076004e941fe60ab613a218da31a25b09b0925 (patch) | |
| tree | af551842023cbb2880773c223f669569a406d286 /llvm/tools/llvm-readobj/llvm-readobj.cpp | |
| parent | 4a54e3eed347ca2bcb840c52c553892101afd252 (diff) | |
| download | llvm-7f076004e941fe60ab613a218da31a25b09b0925.zip llvm-7f076004e941fe60ab613a218da31a25b09b0925.tar.gz llvm-7f076004e941fe60ab613a218da31a25b09b0925.tar.bz2 | |
[clang][dataflow] Add support for `value_or` in a comparison.
This patch adds limited modeling of the `value_or` method. Specifically, when
used in a particular idiom in a comparison to implicitly check whether the
optional holds a value.
Differential Revision: https://reviews.llvm.org/D122231
Diffstat (limited to 'llvm/tools/llvm-readobj/llvm-readobj.cpp')
0 files changed, 0 insertions, 0 deletions