Searched refs:exprNode_knownStringValue (Results 1 – 6 of 6) sorted by relevance
207 extern /*@unused@*/ bool exprNode_knownStringValue (/*@sef@*/ exprNode p_e) /*@*/ ;208 # define exprNode_knownStringValue(e) \ macro
153 if (exprNode_knownStringValue(c->value.expr) ) in constraintTerm_isStringLiteral()
747 llassert (exprNode_knownStringValue ($3));
1470 && exprNode_knownStringValue (a)) in checkPrintfArgs()1804 && exprNode_knownStringValue (a)) in checkScanfArgs()2131 && exprNode_knownStringValue (a)) in checkMessageArgs()
4862 llassert (exprNode_knownStringValue ((yyvsp[(3) - (3)].expr)));