]> andersk Git - splint.git/blame - test/abstract.expect
noexpand always false.
[splint.git] / test / abstract.expect
CommitLineData
885824d3 1
2commentcmd.c:1:13: Mutable abstract type abst1 declared without pointer
3 indirection: int (violates assignment semantics)
4commentcmd.c:1:20: Mutable abstract type abst2 declared without pointer
5 indirection: int (violates assignment semantics)
6commentcmd.c:2:13: Mutable abstract type abst3 declared without pointer
7 indirection: int (violates assignment semantics)
8commentcmd.c: (in function main)
9commentcmd.c:11:22: Cast to abstract type abst2: (abst2)i
10commentcmd.c:16:22: Cast to abstract type abst1: (abst1)i
11commentcmd.c:17:22: Cast to abstract type abst2: (abst2)i
12commentcmd.c:18:22: Cast to abstract type abst3: (abst3)i
13commentcmd.c:22:22: Cast to abstract type abst1: (abst1)i
14commentcmd.c:24:22: Cast to abstract type abst3: (abst3)i
15commentcmd.c:34:22: Cast to abstract type abst1: (abst1)i
16commentcmd.c:40:22: Cast to abstract type abst1: (abst1)i
17commentcmd.c:41:22: Cast to abstract type abst2: (abst2)i
18commentcmd.c:46:22: Cast to abstract type abst1: (abst1)i
19commentcmd.c:47:22: Cast to abstract type abst2: (abst2)i
20commentcmd.c:48:22: Cast to abstract type abst3: (abst3)i
21
11db3170 22Finished checking --- 15 code warnings, as expected
This page took 0.065803 seconds and 5 git commands to generate.