mirrors/gcc
0
0
Fork 0
mirror of https://gcc.gnu.org/git/gcc.git synced 2024-11-28 22:34:03 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

gcc.dg/analyzer tests: use __builtin_alloca, not alloca.h

Browse Source 
Use __builtin_alloca.  Some systems don't have alloca.h or alloca.


Co-Authored-By: Olivier Hainque <hainque@adacore.com>

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.
This commit is contained in:
Alexandre Oliva 2021-01-15 15:36:22 -03:00 committed by Alexandre Oliva
parent aaec739250
commit c0194736b4
4 changed files with 7 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gcc/testsuite/gcc.dg/analyzer/alloca-leak.c
View File

@ -1,10 +1,8 @@
/* { dg-require-effective-target alloca } */
#include <alloca.h>
void *test (void)
{
void *ptr = alloca (64);
void *ptr = __builtin_alloca (64);
return ptr;
}
/* TODO: warn about escaping alloca. */

5
gcc/testsuite/gcc.dg/analyzer/data-model-1.c
View File

@ -3,7 +3,6 @@
#include <stdlib.h>
#include <string.h>
#include <stdio.h>
#include <alloca.h>
#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" } */

3
gcc/testsuite/gcc.dg/analyzer/malloc-1.c
View File

@ -1,6 +1,5 @@
/* { dg-require-effective-target alloca } */
#include <alloca.h>
#include <stdlib.h>
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\\\]" } */
}

7
gcc/testsuite/gcc.dg/analyzer/malloc-paths-8.c
View File

@ -2,7 +2,6 @@
/* { dg-require-effective-target alloca } */
#include <stddef.h>
#include <alloca.h>
#include <stdlib.h>
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);