diff options
| author | Nikita Popov <npopov@redhat.com> | 2023-12-08 17:02:48 +0100 |
|---|---|---|
| committer | Nikita Popov <npopov@redhat.com> | 2023-12-08 17:05:13 +0100 |
| commit | 7686d4951712468e354350b6d26aa70d052c8db4 (patch) | |
| tree | 6f1a7ed3fb39c00cf751005c5211dd4591527ed9 /llvm/lib/Support/CommandLine.cpp | |
| parent | 46a56931251eba767929f6a2110da5b1bcbc5eb9 (diff) | |
| download | llvm-7686d4951712468e354350b6d26aa70d052c8db4.zip llvm-7686d4951712468e354350b6d26aa70d052c8db4.tar.gz llvm-7686d4951712468e354350b6d26aa70d052c8db4.tar.bz2 | |
[ValueTracking] Handle returned attribute with mismatched type
The returned attribute can be used when it is possible to
"losslessly bitcast" between the argument and return type,
including between two vector types.
computeKnownBits() would crash in this case, isKnownNonZero()
would potentially produce a miscompile.
Fixes https://github.com/llvm/llvm-project/issues/74722.
Diffstat (limited to 'llvm/lib/Support/CommandLine.cpp')
0 files changed, 0 insertions, 0 deletions