Re: [Cocci] [v3 05/10] mmap locking API: Checking the Coccinelle software
From: Markus Elfring
Date: Sat Mar 28 2020 - 10:17:01 EST
> The problem can be seen with the --debug option:
>
> FLOW: can't jump to VMALLOC_FAULT_TARGET: because we can't find this label
>
> It's not apparent with the --parse-c option because it's not a parsing problem.
Thanks for such information.
Can the example be transformed even if extra source code was intentionally deleted
for the easier clarification of the shown software test?
Regards,
Markus