[PATCH] D143867: [analyzer] Fix SARIF column location assertion crash
Balázs Benics via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Sun Feb 12 23:17:27 PST 2023
steakhal added a comment.
In D143867#4121841 <https://reviews.llvm.org/D143867#4121841>, @Scarlet1ssimo wrote:
> In D143867#4121835 <https://reviews.llvm.org/D143867#4121835>, @steakhal wrote:
>
>> Looks sensible to me.
>> Do you have a test for triggering the previous assertion?
>
> I do have prepared a test case like:
>
> int testA(void) { return 0/0; }
> // RUN: %clang_analyze_cc1 -analyzer-checker=core %s -analyzer-output=sarif -o -
>
> Notice you must put the buggy code at the very first line to trigger the assertion.
The test passes on `main`. Are you sure about the reproducer?
I copy-pasted your code as-is into a test file, but `check-clang-analysis` still passes.
> Do you think it's necessary to put this test case into the test suite?
Generally, we only merge changes with tests, but I'm not the one who sets the rules.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D143867/new/
https://reviews.llvm.org/D143867
More information about the cfe-commits
mailing list