noexpand always false.

[splint.git] / test / union.expect

union.c: (in function ut_create1)
union.c:16:10: Returned union *u has no defined field
union.c: (in function ut_create4)
union.c:40:3: Implicitly temp storage t assigned to implicitly only: u->ox = t
union.c: (in function ut_create5)
union.c:48:3: Implicitly temp storage t assigned to dependent: u->dx = t
union.c: (in function ut_create6)
union.c:57:10: Returned storage u->st contains 2 undefined fields: b, ip
union.c: (in function ut_create7)
union.c:66:3: Implicitly temp storage p assigned to implicitly only:
                 u->st.ip = p
union.c: (in function ut_mangle1)
union.c:73:2: Released storage u->ox reachable from parameter at return point
   union.c:72:9: Storage u->ox released
union.c: (in function ut_mangle2)
union.c:78:2: Released storage u->st.ip reachable from parameter at return
                 point
   union.c:77:9: Storage u->st.ip released
union.c: (in function ut_mangle3)
union.c:84:2: Released storage u->st.ip reachable from parameter at return
                 point
   union.c:82:9: Storage u->st.ip released

Finished checking --- 8 code warnings, as expected