1
2noeffect.c: (in macro exprNode_swap)
3noeffect.c:3:59: Assignment to macro parameter: e1
4  A macro parameter is used as the left side of an assignment expression. This
5  exhibits behavior that could not be implemented by a function. (Use
6  -macroassign to inhibit warning)
7noeffect.c:3:72: Assignment to macro parameter: e2
8noeffect.c:2:18: File static function exprNode_swap declared but not used
9  A function is declared but not used. Use /*@unused@*/ in front of function
10  header to suppress message. (Use -fcnuse to inhibit warning)
11   noeffect.c:3: Definition of exprNode_swap
12
13Finished checking --- 3 code warnings, as expected
14