Home
last modified time | relevance | path

Searched refs:sRef_fixConstraintParam (Results 1 – 3 of 3) sorted by relevance

/dports/devel/splint/splint-3.1.2/src/Headers/
H A DsRef.h390 /*@only@*/ constraintExpr sRef_fixConstraintParam (/*@observer@*/ sRef p_s, /*@observer@*/ /*@temp…
/dports/devel/splint/splint-3.1.2/src/
H A DconstraintExpr.c2065 ret = sRef_fixConstraintParam (constraintTerm_getSRef(t), arglist); in doSRefFixConstraintParamTerm()
H A DsRef.c2250 /*@only@*/ constraintExpr sRef_fixConstraintParam (/*@observer@*/ sRef s, /*@observer@*/ /*@temp@*… in sRef_fixConstraintParam() function