From 7721539fe4cb8a3c8ca1277fe27d034400350732 Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Mon, 25 Mar 2019 15:03:20 -0400 Subject: [PATCH 142/169] FIXME: add malloc-paths-8.c --- gcc/testsuite/gcc.dg/analyzer/malloc-paths-8.c | 34 ++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-paths-8.c diff --git a/gcc/testsuite/gcc.dg/analyzer/malloc-paths-8.c b/gcc/testsuite/gcc.dg/analyzer/malloc-paths-8.c new file mode 100644 index 0000000..612858d --- /dev/null +++ b/gcc/testsuite/gcc.dg/analyzer/malloc-paths-8.c @@ -0,0 +1,34 @@ +#include +#include + +extern void do_stuff (void *); + +#define LIMIT 1024 + +void test_1 (size_t sz) +{ + void *ptr; + if (sz >= LIMIT) + ptr = malloc (sz); + else + ptr = alloca (sz); + + do_stuff (ptr); + + if (sz >= LIMIT) + free (ptr); +} + +void test_2 (size_t sz) +{ + void *ptr; + if (sz < LIMIT) + ptr = alloca (sz); + else + ptr = malloc (sz); + + do_stuff (ptr); + + if (sz >= LIMIT) + free (ptr); +} -- 1.8.5.3