Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gcc.dg/Warray-bounds-16.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
/* { dg-do compile } */ /* { dg-options "-O3 -Warray-bounds" } */ typedef struct foo { unsigned char foo_size; int buf[4]; const char* bar; } foo; const foo *get_foo(int index); static int foo_loop(const foo *myfoo) { int i; if (myfoo->foo_size < 3) return 0; for (i = 0; i < myfoo->foo_size; i++) { if (myfoo->buf[i] != 1) /* { dg-bogus "above array bounds" } */ return 0; } return 1; } static int run_foo(void) { int i; for (i = 0; i < 1; i++) { const foo *myfoo = get_foo(i); if (foo_loop(myfoo)) return 0; } return -1; } typedef struct hack { int (*func)(void); } hack; hack myhack = { .func = run_foo, };