1  /* { dg-additional-options "-fno-analyzer-suppress-followups" } */
       2  
       3  #include "analyzer-decls.h"
       4  
       5  /* The example from store.h  */
       6  
       7  void test_1 (char a, char b, char c, char d, char e, char f,
       8  	     int i, int j)
       9  {
      10    char arr[1024]; /* { dg-message "region created on stack here" } */
      11    arr[2] = a;  /* (1) */
      12    arr[3] = b;  /* (2) */
      13  
      14    __analyzer_eval (arr[2] == a); /* { dg-warning "TRUE" } */
      15    __analyzer_eval (arr[3] == b); /* { dg-warning "TRUE" } */
      16    __analyzer_eval (arr[4]); /* { dg-warning "UNKNOWN" "unknown" } */
      17    /* { dg-warning "use of uninitialized value 'arr\\\[4\\\]'" "uninit" { target *-*-* } .-1 } */
      18  
      19    /* Replace one concrete binding's value with a different value.  */
      20    arr[3] = c;  /* (3) */
      21    __analyzer_eval (arr[2] == a); /* { dg-warning "TRUE" } */
      22    __analyzer_eval (arr[3] == c); /* { dg-warning "TRUE" } */
      23    __analyzer_eval (arr[3] == b); /* { dg-warning "UNKNOWN" } */
      24    __analyzer_eval (arr[4]); /* { dg-warning "UNKNOWN" "unknown" } */
      25    /* { dg-warning "use of uninitialized value 'arr\\\[4\\\]'" "uninit" { target *-*-* } .-1 } */
      26  
      27    /* Symbolic binding.  */
      28    arr[i] = d;  /* (4) */
      29    __analyzer_eval (arr[i] == d); /* { dg-warning "TRUE" } */
      30    __analyzer_eval (arr[2] == a); /* { dg-warning "UNKNOWN" } */
      31    __analyzer_eval (arr[3] == c); /* { dg-warning "UNKNOWN" } */
      32    __analyzer_eval (arr[4]); /* { dg-warning "UNKNOWN" } */ /* Don't report uninit. */
      33  
      34    /* Replace symbolic binding with a different one.  */
      35    arr[j] = e;  /* (5) */
      36    __analyzer_eval (arr[j] == e); /* { dg-warning "TRUE" } */
      37    __analyzer_eval (arr[i] == d); /* { dg-warning "UNKNOWN" } */
      38    __analyzer_eval (arr[4]); /* { dg-warning "UNKNOWN" } */ /* Don't report uninit. */
      39  
      40    /* Add a concrete binding.  */
      41    arr[3] = f;  /* (6) */
      42    __analyzer_eval (arr[3] == f); /* { dg-warning "TRUE" } */
      43    __analyzer_eval (arr[j] == e); /* { dg-warning "UNKNOWN" } */
      44    __analyzer_eval (arr[4]); /* { dg-warning "UNKNOWN" } */ /* Don't report uninit. */
      45  }
      46  
      47  // TODO: as above, but with int rather than char so there's a cast