Hi Julia, On 2026-03-15T18:54:32+0100, Julia Lawall wrote: > > Here are more false negatives that I found manually. The semantic patch > > didn't find them. Does anyone know how we could improve it or why it > > didn't find them? > > Typically, some things are not found when Coccinelle is not able to parse > the relevnt code. You can see this with the --verbose-parsing option. > BUG indicates the line where the parsing problem was detected and bug > indicates the other lines that were ignored due to the parse error. Ahhh, thanks! It seems there were issues parsing unrelated code, so not a problem of the semantic patch. I'll remove the comment about false negatives and send v3. > julia Have a lovely night! Alex --