aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/analyzer/pr107345.c
blob: 540596d1182b92e47a32abe5d6c67412ae47f55c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
/* Ensure the analyzer treats (NULL == &e) as being false for this case,
   where the logic is sufficiently complicated to not be optimized away.  */

#include <stdio.h>

int main() {   
  int e = 10086;
  int *f = &e;
  int g = 0;
  int *h[2][1];
  h[1][0] = f;
  if (g == (h[1][0])) { /* { dg-warning "comparison between pointer and integer" } */
    unsigned int *i = 0;
  }
  printf("NPD_FLAG: %d\n ", *f);
  return 0;
}