| /* This test is executed only if the execution engine supports CMSE instructions. */ |
| /* { dg-options "--save-temps -mcmse -Wl,--section-start,.gnu.sgstubs=0x00400000" } */ |
| |
| #include <arm_cmse.h> |
| #include <stdlib.h> |
| #include <stdio.h> |
| |
| void __attribute__((cmse_nonsecure_entry)) |
| secure_fun (int a, int *p) |
| { |
| void *b = cmse_check_address_range ((void *)p, a, 1); |
| |
| if (b == NULL) |
| __builtin_abort (); |
| printf("%d", *((int *)b)); |
| } |
| |
| int |
| main (void) |
| { |
| int *ptr; |
| int size = 1; |
| ptr = (int *) calloc (1, sizeof(int *)); |
| *ptr = 1315852292; |
| secure_fun (size, ptr); |
| free (ptr); |
| return 0; |
| } |