reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

    1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14
   15
   16
   17
   18
   19
   20
   21
   22
   23
   24
   25
   26
   27
   28
   29
   30
   31
   32
   33
   34
   35
   36
   37

// Test that a stack overflow fails as expected

// RUN: %clang_noscs %s -o %t -DITERATIONS=3
// RUN: %run %t | FileCheck %s
// RUN: %clang_noscs %s -o %t -DITERATIONS=12
// RUN: %run %t | FileCheck -check-prefix=OVERFLOW_SUCCESS %s

// RUN: %clang_scs %s -o %t -DITERATIONS=3
// RUN: %run %t | FileCheck %s

// On aarch64 we just load the return address from the shadow call stack so we
// do not expect to see the output from print_and_exit.
// RUN: %clang_scs %s -o %t -DITERATIONS=12
// RUN: %run %t | FileCheck %S/overflow.c

#include <stdio.h>
#include <stdlib.h>

#include "minimal_runtime.h"

void print_and_exit(void) {
// CHECK-NOT: Stack overflow successful.
// OVERFLOW_SUCCESS: Stack overflow successful.
  scs_fputs_stdout("Stack overflow successful.\n");
  exit(0);
}

int scs_main(void)
{
  void *addrs[4];
  for (int i = 0; i < ITERATIONS; i++)
    addrs[i] = &print_and_exit;

  scs_fputs_stdout("Returning.\n");

  return 0;
}