On Thu, 2024-08-08 at 22:29 +0200, Arsen Arsenović wrote: > Tested on x86_64-pc-linux-gnu. I have blinking tsan test results > again, > but I think they're bogus (I'll re-test on physical hardware before > pushing if needed). > > I'm somewhat curious of we should do a similar change WRT > RETURN_EXPRs > in the C FE (currently, the C FE uses the operand location for its > RETURN_EXPR locations, or the return kw if missing, which I suspect > is > why malloc-CWE-401-example.c fails in C today, which appears > confirmed > by -Wsystem-headers de-suppressing it).
FWIW I've now filed the false negative for malloc-CWE-401-example.c as: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116304 Dave
