[llvm-bugs] [Bug 62179] clang static analyzer doesn't realize that `(x > 0) && ((x + 1) < 0)` is unsatisfiable with `-analyzer-constraints=z3`

LLVM Bugs via llvm-bugs llvm-bugs at lists.llvm.org
Mon Apr 17 04:54:03 PDT 2023

Previous message: [llvm-bugs] [Bug 62178] Backport Add install targets for gtest
Next message: [llvm-bugs] [Bug 62180] Backport [SROA] Remove UB-implying metadata when promoting speculative instruction
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message: [llvm-bugs] [Bug 62178] Backport Add install targets for gtest
Next message: [llvm-bugs] [Bug 62180] Backport [SROA] Remove UB-implying metadata when promoting speculative instruction
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-bugs mailing list