Sunbelt Computer Software

PL/B Language Development and Support

codeql/cpp/ql/src/Critical/DeadCodeGoto.cpp at codeql-cli/v2.15.2 · github/codeql · GitHub

7 lines (6 loc) · 152 Bytes

free(pointer); // BAD: this line is unreachable
err1: return -1;
free(pointer); // GOOD: this line is reachable
err2: return -1;