diff options
| author | Yitzhak Mandelbaum <yitzhakm@google.com> | 2022-11-03 12:44:10 +0000 |
|---|---|---|
| committer | Yitzhak Mandelbaum <yitzhakm@google.com> | 2022-11-03 23:31:20 +0000 |
| commit | c0725865b188f71f904ecd4dac56ef37268b30d2 (patch) | |
| tree | 260f41cfbacb73682ed819e01a9232ecf4419bc1 /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | 9ef31465114dcd226c27f43b73f221e89a4fa83d (diff) | |
[clang][dataflow] Generalize custom comparison to return tri-value result.
Currently, the API for a model's custom value comparison returns a
boolean. Therefore, models cannot distinguish between situations where the
values are recognized by the model and different and those where the values are
just not recognized. This patch changes the return value to a tri-valued enum,
allowing models to express "don't know".
This patch is essentially a NFC -- no practical differences result from this
change in this patch. But, it prepares for future patches (particularly,
upcoming patches for widening) which will take advantage of the new flexibility.
Differential Revision: https://reviews.llvm.org/D137334
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions