[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