gcc/testsuite/gcc.dg/analyzer/data-model-11.c

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