__attribute__((noinline))
static void NullDeref(int *ptr) {
  ptr[10]++;
}
int main() {
  NullDeref((int*)0);
}

// Check-Common: {{.*ERROR: AddressSanitizer crashed on unknown address}}
// Check-Common:   {{0x0*00028 .*pc 0x.*}}
// Check-Common: {{AddressSanitizer can not provide additional info. ABORTING}}

// atos on Mac cannot resolve the file:line info for frame 0 on the O1 level.
// It also can't extract the symbol name correctly.
// Check-Linux: {{    #0 0x.* in NullDeref.*null_deref.cc:3}}
// Check-Darwin: {{    #0 0x.* in .*NullDeref.*}}

// Check-Common: {{    #1 0x.* in main.*null_deref.cc:[67]}}