symbolic-3.c\analyzer\c-c++-common\testsuite\gcc - riscv-gnu-toolchain/gcc.git - Unnamed repository; edit this file 'description' to name the repository.

index : riscv-gnu-toolchain/gcc.git

Unnamed repository; edit this file 'description' to name the repository.

root

about summary refs log tree commit diff

path: root/gcc/testsuite/c-c++-common/analyzer/symbolic-3.c

blob: da4cdbbc54c162090da1c5666b94960bee85b4e5 (plain)

#include "analyzer-decls.h"

int iarr[16];

void test_1 (int i, int j)
{
  int init_el_8 = iarr[8];
  __analyzer_eval (init_el_8 == iarr[8]); /* { dg-warning "TRUE" } */

  iarr[i] = j;
  __analyzer_eval (init_el_8 == iarr[8]); /* { dg-warning "UNKNOWN" } */
}