]> andersk Git - splint.git/blob - test/union.expect
noexpand always false.
[splint.git] / test / union.expect
1
2 union.c: (in function ut_create1)
3 union.c:16:10: Returned union *u has no defined field
4 union.c: (in function ut_create4)
5 union.c:40:3: Implicitly temp storage t assigned to implicitly only: u->ox = t
6 union.c: (in function ut_create5)
7 union.c:48:3: Implicitly temp storage t assigned to dependent: u->dx = t
8 union.c: (in function ut_create6)
9 union.c:57:10: Returned storage u->st contains 2 undefined fields: b, ip
10 union.c: (in function ut_create7)
11 union.c:66:3: Implicitly temp storage p assigned to implicitly only:
12                  u->st.ip = p
13 union.c: (in function ut_mangle1)
14 union.c:73:2: Released storage u->ox reachable from parameter at return point
15    union.c:72:9: Storage u->ox released
16 union.c: (in function ut_mangle2)
17 union.c:78:2: Released storage u->st.ip reachable from parameter at return
18                  point
19    union.c:77:9: Storage u->st.ip released
20 union.c: (in function ut_mangle3)
21 union.c:84:2: Released storage u->st.ip reachable from parameter at return
22                  point
23    union.c:82:9: Storage u->st.ip released
24
25 Finished checking --- 8 code warnings, as expected
This page took 0.624895 seconds and 5 git commands to generate.