https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80413
Bug ID: 80413 Summary: sanitizer detects undefined behaviour in gcov-io.c using -ftest-coverage Product: gcc Version: 7.0.1 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Target Milestone: --- /* gcc -ftest-coverage */ /* gcc-trunk-246751/gcc/gcov-io.c:351:10: runtime error: null pointer passed as argument 2, which is declared to never be null*/ /* gcov-io.c:351 "memcpy (&buffer[1], string, length);" */ /* string is NULL but most probably length is zero */ int main () {}