Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gcc.dg/Wnonnull.c @ 157:dafe684d005c
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 25 May 2020 18:08:54 +0900 |
parents | 1830386684a0 |
children |
line wrap: on
line source
/* PR tree-optimization/83369 - Missing diagnostics during inlining { dg-do compile } { dg-options "-O2 -Wall" } */ extern __SIZE_TYPE__ strlen (const char *__s) __attribute ((pure)) __attribute ((nonnull (1))); extern void *memcpy (void *__restrict __dest, const void *__restrict __src, __SIZE_TYPE__ __n) __attribute ((nonnull (1, 2))); char buf[100]; struct Test { const char* s1; const char* s2; }; __attribute ((nonnull (1, 2))) inline char* my_strcpy (char *restrict dst, const char *restrict src, __SIZE_TYPE__ size) { __SIZE_TYPE__ len = strlen (src); /* { dg-warning "argument 1 null where non-null expected" } */ if (len < size) memcpy (dst, src, len + 1); /* { dg-warning "argument 2 null where non-null expected" } */ else { memcpy (dst, src, size - 1); /* { dg-warning "argument 2 null where non-null expected" } */ dst[size - 1] = '\0'; } return dst; } void test (struct Test* test) { if (test->s1) my_strcpy (buf, test->s1, sizeof buf); else if (test->s2) my_strcpy (buf, test->s2, sizeof buf); else my_strcpy (buf, test->s2, sizeof buf); } /* Verify that the inlining context is printed for -Wnonnull: { dg-message "function .my_strcpy..*inlined from .test." "" { target *-*-* } 0 } */