[llvm-bugs] [Bug 61515] Clang Static Analyzer "core.NullDereference" false negative

LLVM Bugs via llvm-bugs llvm-bugs at lists.llvm.org
Sun Mar 19 07:48:04 PDT 2023

Previous message: [llvm-bugs] [Bug 61514] Clang is failing compilation of linux kernel
Next message: [llvm-bugs] [Bug 61517] CSA evaluates ` clang_analyzer_eval(((a())<(0))||((a())==(0))); ` to be TRUE, but function `a()` is a unknown function.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message: [llvm-bugs] [Bug 61514] Clang is failing compilation of linux kernel
Next message: [llvm-bugs] [Bug 61517] CSA evaluates ` clang_analyzer_eval(((a())<(0))||((a())==(0))); ` to be TRUE, but function `a()` is a unknown function.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-bugs mailing list