view gcc/testsuite/gcc.dg/analyzer/data-model-11.c @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents
children
line wrap: on
line source

int test (void)
{
  unsigned char *s = "abc";
  char *t = "xyz";
  return s[1] + t[1];
}