lkml.org 
[lkml]   [2020]   [Mar]   [28]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    SubjectRe: [Cocci] [v3 05/10] mmap locking API: Checking the Coccinelle software
    From
    Date
    > 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

    \
     
     \ /
      Last update: 2020-03-28 15:17    [W:2.260 / U:0.088 seconds]
    ©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site