gcc/testsuite/c-c++-common/analyzer/out-of-bounds-diagram-pr114899.c

   1 /* Verify we don't ICE generating out-of-bounds diagram.  */
   2
   3 /* { dg-additional-options " -fsanitize=undefined -fdiagnostics-text-art-charset=unicode" } */
   4
   5 int * a() {
   6   int *b = (int *)__builtin_malloc(sizeof(int));
   7   int *c = b - 1;
   8   ++*c;
   9   return b;
  10 }
  11
  12 /* We don't care about the exact diagram, just that we don't ICE.  */
  13
  14 /* { dg-allow-blank-lines-in-output 1 } */
  15 /* { dg-prune-output ".*" } */