Messages in this thread | | | Subject | Re: [Cocci] [v3 05/10] mmap locking API: Checking the Coccinelle software | From | Markus Elfring <> | Date | Sat, 28 Mar 2020 15:16:32 +0100 |
| |
> 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
| |