diff options
author | Gabor Marton <gabor.marton@ericsson.com> | 2022-10-25 10:57:39 +0200 |
---|---|---|
committer | Gabor Marton <gabor.marton@ericsson.com> | 2022-10-26 15:13:22 +0200 |
commit | 93ce23adb548240f3907e7dc0690a82cce060a96 (patch) | |
tree | 3010da55c3ded1c10a7001e561ccc287bff12ec3 /lldb/packages/Python/lldbsuite/test/lldbgdbclient.py | |
parent | 9901583968496ff8168b41a1d84164db3c3424c3 (diff) | |
download | llvm-93ce23adb548240f3907e7dc0690a82cce060a96.zip llvm-93ce23adb548240f3907e7dc0690a82cce060a96.tar.gz llvm-93ce23adb548240f3907e7dc0690a82cce060a96.tar.bz2 |
[clang][dataflow] Add initial sign analysis
This patch adds an initial implementation for sign analysis, with the
following lattice (T: top, N: negative, Z: zero, P: positive, B: bottom):
T
/ | \
N Z P
\ | /
B
The lattice is implemented with `BoolValue` properties attached to other
`Value`s.
Differential Revision: https://reviews.llvm.org/D136668
Diffstat (limited to 'lldb/packages/Python/lldbsuite/test/lldbgdbclient.py')
0 files changed, 0 insertions, 0 deletions