[splint.git] / test / noeffect.c

typedef char *exprNode;
/*@function void exprNode_swap (sef exprNode, sef exprNode)@*/
# define exprNode_swap(e1,e2) do { exprNode m_tmp = (e1); (e1) = (e2); (e2) = m_tmp; } while (false)
Commit	Line	Data
98ed3b22	1	typedef char *exprNode;
98ed3b22	2	/@function void exprNode_swap (sef exprNode, sef exprNode)@/
0bd4c301	3	# define exprNode_swap(e1,e2) do { exprNode m_tmp = (e1); (e1) = (e2); (e2) = m_tmp; } while (false)
98ed3b22	4