[splint.git] / test / funcpointer.expect


funcpointer.c: (in function func2)
funcpointer.c:13:27: Possibly null storage returned as non-null:
                        (int *)malloc(sizeof(int))
funcpointer.c:13:27: Returned storage not completely defined (storage pointed
    to by [result of malloc] is undefined): (int *)malloc(sizeof(int))
funcpointer.c: (in function func5)
funcpointer.c:19:28: Immediate address &i returned as implicitly only: &i
funcpointer.c: (in function main)
funcpointer.c:28:3: Assignment of [function (void) returns int] to f1:
                       t1 = func1
funcpointer.c:29:3: Assignment of [function (void) returns int ***] to f1:
                       t1 = func4
funcpointer.c:33:3: Assignment of [function (void) returns int *] to f2:
                       t2 = func2
funcpointer.c:36:3: Assignment of [function (void) returns int **] to f3 *:
                       t3p = func3
funcpointer.c:38:3: Assignment of [function (void) returns int *] to f4 *:
                       t4 = func2
funcpointer.c:41:7: Call to non-function (type f1): (t1)
funcpointer.c:43:3: Assignment of int *** to int *: xp = (*t1)()
funcpointer.c:44:8: Call to non-function (type f4 *): (t4)
funcpointer.c:46:3: Assignment of [function (void) returns int] to f6:
                       t6 = func1
funcpointer.c:46:3: Invalid left-hand side of assignment (function type f6): t6
funcpointer.c:47:3: Invalid left-hand side of assignment (function type f6): t6
funcpointer.c:48:10: Function (t6) called with 0 args, expects 2
funcpointer.c:49:10: Function (t6) called with 1 args, expects 2
funcpointer.c:50:11: Function (t6) called with 1 args, expects 2
funcpointer.c:50:10: Function ((t6)(3)) called with 0 args, expects 1

Finished checking --- 18 code warnings, as expected
Commit	Line	Data
885824d3	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
11db3170	32	Finished checking --- 18 code warnings, as expected