Home
last modified time | relevance | path

Searched refs:exprNode_return (Results 1 – 5 of 5) sorted by relevance

/dports/devel/splint/splint-3.1.2/src/Headers/
H A DexprNode.h330 extern exprNode exprNode_return (/*@only@*/ exprNode p_e);
/dports/devel/splint/splint-3.1.2/src/
H A Dcgrammar.y2179 | RETURN expr TSEMI { $$ = exprNode_return ($2); }
H A Dcgrammar.c7512 { (yyval.expr) = exprNode_return ((yyvsp[(2) - (3)].expr)); ;}
H A DexprNode.c8182 exprNode exprNode_return (/*@only@*/ exprNode e) in exprNode_return() function
9291 ret = exprNode_return (exprNode_effect (exprData_getSingle (data))); in exprNode_effect()
H A Dcgrammar.c.der7512 { (yyval.expr) = exprNode_return ((yyvsp[(2) - (3)].expr)); ;}