false positive "double free" using label and _exit()s in "__attribute__((noreturn))" child process

[Luke Small]

...

free(file_w);

    _exit(0);

file_cleanup:
    free(file_w);
    _exit(1);
}

it's in the "file_d" function/process around line 880 in my pkg_ping github repository: https://github.com/lukensmall/pkg_ping/blob/master/pkg_ping.c

[CHR]

Thanks for reporting, ticket is here: https://trac.cppcheck.net/ticket/11391