Home
last modified time | relevance | path

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

/dports/devel/splint/splint-3.1.2/src/Headers/
H A Duentry.h510 extern void uentry_addWarning (uentry p_ue, /*@only@*/ warnClause p_warn)
/dports/devel/splint/splint-3.1.2/src/
H A Dclabstract.c1342 uentry_addWarning (ue, warnClause_copy (warn)); in clabstract_declareType()
H A Duentry.c1163 uentry_addWarning (ue, wc); in uentry_reflectClauses()
1629 void uentry_addWarning (uentry ue, /*@only@*/ warnClause warn) in uentry_addWarning() function