diff options
| author | Balazs Benics <benicsbalazs@gmail.com> | 2025-08-05 17:03:53 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-08-05 17:03:53 +0200 |
| commit | 0a1eff2ecedcb11acb3e9d4b75ee1e1bebd69a70 (patch) | |
| tree | 30c24cd7086f8a224c333a4c7ab9e8fcf795d4e0 /llvm/lib/CodeGen/AssignmentTrackingAnalysis.cpp | |
| parent | 522ea9c3300afdd66e8852373379eec339a7c78e (diff) | |
| download | llvm-0a1eff2ecedcb11acb3e9d4b75ee1e1bebd69a70.zip llvm-0a1eff2ecedcb11acb3e9d4b75ee1e1bebd69a70.tar.gz llvm-0a1eff2ecedcb11acb3e9d4b75ee1e1bebd69a70.tar.bz2 | |
[analyzer] Drop assertion enforcing that assume args are known constants (#151908)
We sometimes don't know if the operand of [[assume]] is true/false, and
that's okay. We can just ignore the attribute in that case.
If we wanted something more fancy, we could bring the assumption to the
constraints, but dropping them should be just as fine for now.
Fixes #151854
Diffstat (limited to 'llvm/lib/CodeGen/AssignmentTrackingAnalysis.cpp')
0 files changed, 0 insertions, 0 deletions