Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gcc.dg/analyzer/pr94754.c @ 158:494b0b89df80 default tip
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 25 May 2020 18:13:55 +0900 |
parents | 2b5abeee2509 |
children |
line wrap: on
line source
[[gnu::nonnull]] static void init_x(int cond, int **x, int *y) { if (!cond) return; *x = y; } int foo(int cond) { int *x; int y = 7; if (cond < 2) return -1; init_x(cond, &x, &y); return *x; }