https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118929
Bug ID: 118929
Summary: sarif-replay doesn't support multithreaded paths
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: sarif-replay
Assignee: dmalcolm at gcc dot gnu.org
Reporter: dmalcolm at gcc dot gnu.org
Target Milestone: ---
Trying it with:
https://github.com/davidmalcolm/sarif-examples/blob/main/valid/2.1.0/gcc/3.36-diagnostic-test-paths-multithreaded.sarif
$ sarif-replay valid/2.1.0/gcc/3.36-diagnostic-test-paths-multithreaded.sarif
/home/david/coding/work/src/gcc/testsuite/gcc.dg/plugin/diagnostic-test-paths-multithreaded-sarif.c:16:3:
warning: deadlock due to inconsistent lock acquisition order [warning]
16 | acquire_lock_a ();
| ^~~~~~~~~~~~~~~~~~
The multithreaded codeFlow is not displayed.
