From: Alexandre Oliva Date: Fri, 15 Jan 2021 18:36:22 +0000 (-0300) Subject: gcc.dg/analyzer tests: use __builtin_alloca, not alloca.h X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c0194736b477aef3cf0d15ccd12c64572869cf3f;p=gcc.git gcc.dg/analyzer tests: use __builtin_alloca, not alloca.h Use __builtin_alloca. Some systems don't have alloca.h or alloca. Co-Authored-By: Olivier Hainque for gcc/testsuite/ChangeLog * gcc.dg/analyzer/alloca-leak.c: Drop alloca.h, use builtin. * gcc.dg/analyzer/data-model-1.c: Likewise. * gcc.dg/analyzer/malloc-1.c: Likewise. * gcc.dg/analyzer/malloc-paths-8.c: Likewise. --- diff --git a/gcc/testsuite/gcc.dg/analyzer/alloca-leak.c b/gcc/testsuite/gcc.dg/analyzer/alloca-leak.c index 93319932d44..073f97e1ade 100644 --- a/gcc/testsuite/gcc.dg/analyzer/alloca-leak.c +++ b/gcc/testsuite/gcc.dg/analyzer/alloca-leak.c @@ -1,10 +1,8 @@ /* { dg-require-effective-target alloca } */ -#include - void *test (void) { - void *ptr = alloca (64); + void *ptr = __builtin_alloca (64); return ptr; } /* TODO: warn about escaping alloca. */ diff --git a/gcc/testsuite/gcc.dg/analyzer/data-model-1.c b/gcc/testsuite/gcc.dg/analyzer/data-model-1.c index 3f16a38ab14..f6681b678af 100644 --- a/gcc/testsuite/gcc.dg/analyzer/data-model-1.c +++ b/gcc/testsuite/gcc.dg/analyzer/data-model-1.c @@ -3,7 +3,6 @@ #include #include #include -#include #include "analyzer-decls.h" struct foo @@ -140,8 +139,8 @@ void test_11 (void) void test_12 (void) { - void *p = alloca (256); - void *q = alloca (256); + void *p = __builtin_alloca (256); + void *q = __builtin_alloca (256); /* alloca results should be unique. */ __analyzer_eval (p == q); /* { dg-warning "FALSE" } */ diff --git a/gcc/testsuite/gcc.dg/analyzer/malloc-1.c b/gcc/testsuite/gcc.dg/analyzer/malloc-1.c index 26d828848a2..448b8558ffe 100644 --- a/gcc/testsuite/gcc.dg/analyzer/malloc-1.c +++ b/gcc/testsuite/gcc.dg/analyzer/malloc-1.c @@ -1,6 +1,5 @@ /* { dg-require-effective-target alloca } */ -#include #include extern int foo (void); @@ -273,7 +272,7 @@ int *test_23a (int n) int test_24 (void) { - void *ptr = alloca (sizeof (int)); /* { dg-message "memory is allocated on the stack here" } */ + void *ptr = __builtin_alloca (sizeof (int)); /* { dg-message "memory is allocated on the stack here" } */ free (ptr); /* { dg-warning "'free' of memory allocated on the stack by 'alloca' \\('ptr'\\) will corrupt the heap \\\[CWE-590\\\]" } */ } diff --git a/gcc/testsuite/gcc.dg/analyzer/malloc-paths-8.c b/gcc/testsuite/gcc.dg/analyzer/malloc-paths-8.c index 35c9385b206..9a7c414920c 100644 --- a/gcc/testsuite/gcc.dg/analyzer/malloc-paths-8.c +++ b/gcc/testsuite/gcc.dg/analyzer/malloc-paths-8.c @@ -2,7 +2,6 @@ /* { dg-require-effective-target alloca } */ #include -#include #include extern void do_stuff (const void *); @@ -15,7 +14,7 @@ void test_1 (size_t sz) if (sz >= LIMIT) ptr = malloc (sz); else - ptr = alloca (sz); + ptr = __builtin_alloca (sz); do_stuff (ptr); @@ -27,7 +26,7 @@ void test_2 (size_t sz) { void *ptr; if (sz < LIMIT) - ptr = alloca (sz); + ptr = __builtin_alloca (sz); else ptr = malloc (sz); @@ -41,7 +40,7 @@ void test_3 (size_t sz) { void *ptr; if (sz <= LIMIT) - ptr = alloca (sz); /* { dg-message "memory is allocated on the stack here" } */ + ptr = __builtin_alloca (sz); /* { dg-message "memory is allocated on the stack here" } */ else ptr = malloc (sz);