[llvm-bugs] [Bug 59963] CSA evaluates `( ((b)-0) <= ((c)-0) ) == false` to be FALSE in the true branch of `if (c >= b)`

LLVM Bugs via llvm-bugs llvm-bugs at lists.llvm.org
Thu Jan 12 04:12:36 PST 2023

Previous message: [llvm-bugs] [Bug 59962] [AVR] At least one of llc and llvm-mc's output is wrong
Next message: [llvm-bugs] [Bug 59964] CSA RecursionChecker has false negative for ` for (; ; ) if (a() <= 0) { ...`
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20230112/0ac3e67c/attachment-0001.html>

Previous message: [llvm-bugs] [Bug 59962] [AVR] At least one of llc and llvm-mc's output is wrong
Next message: [llvm-bugs] [Bug 59964] CSA RecursionChecker has false negative for ` for (; ; ) if (a() <= 0) { ...`
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-bugs mailing list