[splint.git] / test / macrosef.expect


macrosef.c: (in macro f)
macrosef.c:2:14: Macro parameter y used more than once
macrosef.c: (in function m)
macrosef.c:12:14: Parameter 1 to f is declared sef, but the argument may modify
                     file system state: (printf("yo\n"), 3)
macrosef.c:12:14: Parameter 1 to f is declared sef, but the argument may modify
                     *stdout: (printf("yo\n"), 3)
macrosef.c:14:14: Parameter 1 to f is declared sef, but the argument may modify
                     *p: g(p)

Finished checking --- 4 code warnings, as expected

macrosef.c: (in macro f)
macrosef.c:2:14: Macro parameter y used more than once
macrosef.c: (in function m)
macrosef.c:12:14: Parameter 1 to f is declared sef, but the argument may modify
                     file system state: (printf("yo\n"), 3)
macrosef.c:12:14: Parameter 1 to f is declared sef, but the argument may modify
                     *stdout: (printf("yo\n"), 3)

Finished checking --- 3 code warnings, as expected

macrosef.c: (in macro f)
macrosef.c:2:14: Macro parameter y used more than once
macrosef.c: (in function m)
macrosef.c:12:14: Parameter 1 to f is declared sef, but the argument may modify
                     file system state: (printf("yo\n"), 3)
macrosef.c:12:14: Parameter 1 to f is declared sef, but the argument may modify
                     *stdout: (printf("yo\n"), 3)
macrosef.c:14:14: Parameter 1 to f is declared sef, but the argument calls
    unconstrained function g (no guarantee it will not modify something): g(p)

Finished checking --- 4 code warnings, as expected
Commit	Line	Data
885824d3	1
	2	macrosef.c: (in macro f)
	3	macrosef.c:2:14: Macro parameter y used more than once
	4	macrosef.c: (in function m)
	5	macrosef.c:12:14: Parameter 1 to f is declared sef, but the argument may modify
	6	file system state: (printf("yo\n"), 3)
	7	macrosef.c:12:14: Parameter 1 to f is declared sef, but the argument may modify
	8	*stdout: (printf("yo\n"), 3)
	9	macrosef.c:14:14: Parameter 1 to f is declared sef, but the argument may modify
	10	*p: g(p)
	11
11db3170	12	Finished checking --- 4 code warnings, as expected
885824d3	13
	14	macrosef.c: (in macro f)
	15	macrosef.c:2:14: Macro parameter y used more than once
	16	macrosef.c: (in function m)
	17	macrosef.c:12:14: Parameter 1 to f is declared sef, but the argument may modify
	18	file system state: (printf("yo\n"), 3)
	19	macrosef.c:12:14: Parameter 1 to f is declared sef, but the argument may modify
	20	*stdout: (printf("yo\n"), 3)
	21
11db3170	22	Finished checking --- 3 code warnings, as expected
885824d3	23
	24	macrosef.c: (in macro f)
	25	macrosef.c:2:14: Macro parameter y used more than once
	26	macrosef.c: (in function m)
	27	macrosef.c:12:14: Parameter 1 to f is declared sef, but the argument may modify
	28	file system state: (printf("yo\n"), 3)
	29	macrosef.c:12:14: Parameter 1 to f is declared sef, but the argument may modify
	30	*stdout: (printf("yo\n"), 3)
	31	macrosef.c:14:14: Parameter 1 to f is declared sef, but the argument calls
	32	unconstrained function g (no guarantee it will not modify something): g(p)
	33
11db3170	34	Finished checking --- 4 code warnings, as expected