[Bug c/80413] New: sanitizer detects undefined behaviour in gcov-io.c using -ftest-coverage

[zeccav at gmail dot com]

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 () {}