Skip to content

Commit 2302195

Browse files
committed
goto-analyzer regression tests: declare malloc
Avoid unnecessary warnings about malloc not being declared. The resulting type conflict may also trip up the analysis, and is only worked around by inlining calls to malloc.
1 parent 15d60af commit 2302195

File tree

9 files changed

+9
-0
lines changed
  • regression/goto-analyzer

9 files changed

+9
-0
lines changed

regression/goto-analyzer/heap-allocation-nondet-1/main.c

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
#include <stdlib.h>
12

23
int main()
34
{

regression/goto-analyzer/heap-allocation-nondet-2/main.c

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
#include <stdlib.h>
12

23
int main()
34
{

regression/goto-analyzer/heap-allocation-nondet-3/main.c

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
#include <stdlib.h>
12

23
int main()
34
{

regression/goto-analyzer/heap-allocation-nondet-4/main.c

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
#include <stdlib.h>
12

23
int main()
34
{

regression/goto-analyzer/heap-allocation-nondet-5/main.c

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
#include <stdlib.h>
12

23
int main()
34
{

regression/goto-analyzer/heap-allocation-nondet-6/main.c

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
#include <stdlib.h>
12

23
int main()
34
{

regression/goto-analyzer/heap-allocation-write-2/main.c

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
#include <stdlib.h>
12

23
int main()
34
{

regression/goto-analyzer/heap-allocation-write/main.c

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
#include <stdlib.h>
12

23
int main()
34
{

regression/goto-analyzer/heap-allocation/main.c

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
#include <stdlib.h>
12

23
int main()
34
{

0 commit comments

Comments
 (0)