Home
last modified time | relevance | path

Searched refs:cstring_concatFree (Results 1 – 11 of 11) sorted by relevance

/dports/devel/splint/splint-3.1.2/src/
H A Dconstraint.c757 st = cstring_concatFree (st, message (" derived from %s precondition: %q", in constraint_unparseDeep()
762 st = cstring_concatFree (st, message (" needed to satisfy precondition:\n%q", in constraint_unparseDeep()
768 st = cstring_concatFree (st, message ("derived from: %q", in constraint_unparseDeep()
796 st = cstring_concatFree (st, temp); in constraint_unparseDetailedPostCondition()
801 st = cstring_concatFree (st, temp); in constraint_unparseDetailedPostCondition()
857 temp = cstring_concatFree (temp, temp2); in constraint_unparseDetailed()
860 st = cstring_concatFree (temp,st); in constraint_unparseDetailed()
923 ret = cstring_concatFree (ret, constraint_unparse (temp)); in constraint_unparseOr()
929 ret = cstring_concatFree (ret, cstring_makeLiteral (" OR ")); in constraint_unparseOr()
930 ret = cstring_concatFree (ret, constraint_unparse (temp)); in constraint_unparseOr()
H A Dlslparse.c262 s = cstring_concatFree (s, nameNode_unparse (x->content.renamesortname.name)); in replaceNode_unparseAlt()
263 s = cstring_concatFree (s, in replaceNode_unparseAlt()
344 s = cstring_concatFree (s, replaceNodeList_unparseAlt (n->replacelist)); in printRenamingNode2()
H A DmetaStateTable.c46 res = cstring_concatFree (res, message ("%s: %x\n", key, metaStateInfo_unparse (el))); in metaStateTable_unparse()
H A DannotationTable.c38 res = cstring_concatFree (res, message ("%s: %s\n", key, annotationInfo_unparse (el))); in annotationTable_unparse()
H A DglobSet.c141 st = cstring_concatFree (st, sRef_dumpGlobal (el)); in globSet_dump()
H A DsortSet.c188 st = cstring_concatFree (st, sort_unparse (s->elements[i])); in sortSet_unparseOr()
H A Dabstract.c3364 return (cstring_concatFree in lclTypeSpecNode_unparseAltComments()
3372 s = cstring_concatFree (s, cstring_makeLiteral ("enum")); in lclTypeSpecNode_unparseAltComments()
3404 s = cstring_concatFree (s, cstring_makeLiteral ("struct ")); in lclTypeSpecNode_unparseAltComments()
3407 s = cstring_concatFree (s, cstring_makeLiteral ("union ")); in lclTypeSpecNode_unparseAltComments()
3471 return (cstring_concatFree in lclTypeSpecNode_unparseComments()
3479 s = cstring_concatFree (s, cstring_makeLiteral ("enum")); in lclTypeSpecNode_unparseComments()
3511 s = cstring_concatFree (s, cstring_makeLiteral ("struct ")); in lclTypeSpecNode_unparseComments()
3514 s = cstring_concatFree (s, cstring_makeLiteral ("union ")); in lclTypeSpecNode_unparseComments()
H A DsRefSet.c1023 st = cstring_concatFree (st, sRef_dump (el)); in sRefSet_dump()
H A Dcstring.c710 cstring_concatFree (cstring s, cstring t) in cstring_concatFree() function
H A Dcpplib.c6890 ptr->map_to = cstring_concatFree (ptr->map_to, to); in read_name_map()
/dports/devel/splint/splint-3.1.2/src/Headers/
H A Dcstring.h172 cstring_concatFree (/*@only@*/ cstring p_s, /*@only@*/ cstring p_t)