1  // { dg-do compile }
       2  // { dg-options "-O2 -fdump-tree-dom2-alias" }
       3  
       4  typedef __SIZE_TYPE__ size_t;
       5  
       6  void saxpy(size_t n)
       7  {
       8    if (n == 0 || n % 8 != 0)
       9      __builtin_unreachable();
      10  
      11    extern void foobar (size_t n);
      12    foobar (n);
      13  }
      14  
      15  // { dg-final { scan-tree-dump "NONZERO.*fff8" "dom2" } }