diff options
author | Nikita Popov <npopov@redhat.com> | 2024-10-02 15:16:56 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-10-02 15:16:56 +0200 |
commit | eb85285727ffbfb4039fc6d39851f7a49519a1c1 (patch) | |
tree | fc534e18f35d370499eaf6693691c77d160fecea /lldb/source/Commands/CommandObjectExpression.cpp | |
parent | 5f909c0ab2a2cb253f29d767640d3c0fbc9d5bac (diff) | |
download | llvm-eb85285727ffbfb4039fc6d39851f7a49519a1c1.zip llvm-eb85285727ffbfb4039fc6d39851f7a49519a1c1.tar.gz llvm-eb85285727ffbfb4039fc6d39851f7a49519a1c1.tar.bz2 |
[ValueTracking] mul nuw nsw with factor sgt 1 is non-negative (#110803)
Proof: https://alive2.llvm.org/ce/z/bC0eJf
Diffstat (limited to 'lldb/source/Commands/CommandObjectExpression.cpp')
0 files changed, 0 insertions, 0 deletions