test/noeffect.expect

   1
   2 noeffect.c: (in macro exprNode_swap)
   3 noeffect.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)
   7 noeffect.c:3:72: Assignment to macro parameter: e2
   8 noeffect.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
  13 Finished checking --- 3 code warnings, as expected