Home
last modified time | relevance | path

Searched refs:exprNode_knownStringValue (Results 1 – 6 of 6) sorted by relevance

/dports/devel/splint/splint-3.1.2/src/Headers/
H A DexprNode.h207 extern /*@unused@*/ bool exprNode_knownStringValue (/*@sef@*/ exprNode p_e) /*@*/ ;
208 # define exprNode_knownStringValue(e) \ macro
/dports/devel/splint/splint-3.1.2/src/
H A DconstraintTerm.c153 if (exprNode_knownStringValue(c->value.expr) ) in constraintTerm_isStringLiteral()
H A Dcgrammar.y747 llassert (exprNode_knownStringValue ($3));
H A DexprNode.c1470 && exprNode_knownStringValue (a)) in checkPrintfArgs()
1804 && exprNode_knownStringValue (a)) in checkScanfArgs()
2131 && exprNode_knownStringValue (a)) in checkMessageArgs()
H A Dcgrammar.c4862 llassert (exprNode_knownStringValue ((yyvsp[(3) - (3)].expr)));
H A Dcgrammar.c.der4862 llassert (exprNode_knownStringValue ((yyvsp[(3) - (3)].expr)));