/* PR sanitizer/78106 */
/* { dg-do compile } */
/* { dg-options "-fsanitize=address -fdump-tree-sanopt-details -ffat-lto-objects" } */

int *variable;

void __attribute__((used)) release()
{
  __builtin_free (variable);
}

int main2(int argc)
{
  *variable = 2;

  if (argc <= 5)
    asm volatile ("call release");

  *variable = 2;
  __builtin_abort ();

  return 0;
}

int main(int argc, char **argv)
{
  variable = __builtin_malloc (sizeof(int));
  return main2(argc);
}

/* { dg-final { scan-tree-dump-not "Optimizing out(\n|\r\n|\r)  ASAN_CHECK \\(7, variable.*" "sanopt" } } */