[llvm-bugs] [Bug 62180] Backport [SROA] Remove UB-implying metadata when promoting speculative instruction

LLVM Bugs via llvm-bugs llvm-bugs at lists.llvm.org
Mon Apr 17 05:36:29 PDT 2023

Previous message: [llvm-bugs] [Bug 62179] clang static analyzer doesn't realize that `(x > 0) && ((x + 1) < 0)` is unsatisfiable with `-analyzer-constraints=z3`
Next message: [llvm-bugs] [Bug 62181] clang static analyzer make an imprecise assumption for `x > 0`
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20230417/3022d2b0/attachment.html>

Previous message: [llvm-bugs] [Bug 62179] clang static analyzer doesn't realize that `(x > 0) && ((x + 1) < 0)` is unsatisfiable with `-analyzer-constraints=z3`
Next message: [llvm-bugs] [Bug 62181] clang static analyzer make an imprecise assumption for `x > 0`
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-bugs mailing list