Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gcc.dg/analyzer/params-2.c @ 158:494b0b89df80 default tip
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 25 May 2020 18:13:55 +0900 |
parents | 1830386684a0 |
children |
line wrap: on
line source
#include <stdlib.h> #include "analyzer-decls.h" static void ensure_equal (int a, int b) { if (a != b) abort (); } void test(int i, int j) { __analyzer_eval (i == j); /* { dg-warning "UNKNOWN" } */ ensure_equal (i, j); __analyzer_eval (i == j); /* { dg-warning "TRUE" } */ }