Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/c-c++-common/pr28656.c @ 158:494b0b89df80 default tip
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 25 May 2020 18:13:55 +0900 |
parents | 04ced10e8804 |
children |
line wrap: on
line source
/* PR c++/28656 */ /* { dg-do compile } */ /* { dg-options "-Wnonnull" } */ #ifdef __cplusplus extern "C" { #endif extern void *memcpy (void *__restrict, const void *__restrict, __SIZE_TYPE__) __attribute__((nonnull (1), nonnull (2), nonnull (1, 2), nonnull)); #ifdef __cplusplus } #endif extern void bar (void *p1, void *p2, void *p3, void *p4, void *p5) __attribute__((nonnull (1), nonnull (1, 3), nonnull (3, 5), nonnull (4))); void foo (void) { memcpy (0, 0, 0); /* { dg-warning "null argument where non-null required\[^\n\r\]*argument 1" "" { target *-*-* } .-1 } */ /* { dg-warning "null argument where non-null required\[^\n\r\]*argument 2" "" { target *-*-* } .-2 } */ bar (0, 0, 0, 0, 0); /* { dg-warning "null argument where non-null required\[^\n\r\]*argument 1" "" { target *-*-* } .-1 } */ /* { dg-warning "null argument where non-null required\[^\n\r\]*argument 3" "" { target *-*-* } .-2 } */ /* { dg-warning "null argument where non-null required\[^\n\r\]*argument 4" "" { target *-*-* } .-3 } */ /* { dg-warning "null argument where non-null required\[^\n\r\]*argument 5" "" { target *-*-* } .-4 } */ }