]> andersk Git - splint.git/blob - test/funcpointer.out
Simple modification to tests.
[splint.git] / test / funcpointer.out
1
2 funcpointer.c: (in function func2)
3 funcpointer.c:13:27: Possibly null storage returned as non-null:
4                         (int *)malloc(sizeof(int))
5 funcpointer.c:13:27: Returned storage not completely defined (storage pointed
6     to by [result of malloc] is undefined): (int *)malloc(sizeof(int))
7 funcpointer.c: (in function func5)
8 funcpointer.c:19:28: Immediate address &i returned as implicitly only: &i
9 funcpointer.c: (in function main)
10 funcpointer.c:28:3: Assignment of [function (void) returns int] to f1:
11                        t1 = func1
12 funcpointer.c:29:3: Assignment of [function (void) returns int ***] to f1:
13                        t1 = func4
14 funcpointer.c:33:3: Assignment of [function (void) returns int *] to f2:
15                        t2 = func2
16 funcpointer.c:36:3: Assignment of [function (void) returns int **] to f3 *:
17                        t3p = func3
18 funcpointer.c:38:3: Assignment of [function (void) returns int *] to f4 *:
19                        t4 = func2
20 funcpointer.c:41:7: Call to non-function (type f1): (t1)
21 funcpointer.c:43:3: Assignment of int *** to int *: xp = (*t1)()
22 funcpointer.c:44:8: Call to non-function (type f4 *): (t4)
23 funcpointer.c:46:3: Assignment of [function (void) returns int] to f6:
24                        t6 = func1
25 funcpointer.c:46:3: Invalid left-hand side of assignment (function type f6): t6
26 funcpointer.c:47:3: Invalid left-hand side of assignment (function type f6): t6
27 funcpointer.c:48:10: Function (t6) called with 0 args, expects 2
28 funcpointer.c:49:10: Function (t6) called with 1 args, expects 2
29 funcpointer.c:50:11: Function (t6) called with 1 args, expects 2
30 funcpointer.c:50:10: Function ((t6)(3)) called with 0 args, expects 1
31
32 Finished LCLint checking --- 18 code errors found, as expected
This page took 0.034549 seconds and 5 git commands to generate.