Searched refs:cstring_concatFree (Results 1 – 11 of 11) sorted by relevance
/dports/devel/splint/splint-3.1.2/src/ |
H A D | constraint.c | 757 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 D | lslparse.c | 262 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 D | metaStateTable.c | 46 res = cstring_concatFree (res, message ("%s: %x\n", key, metaStateInfo_unparse (el))); in metaStateTable_unparse()
|
H A D | annotationTable.c | 38 res = cstring_concatFree (res, message ("%s: %s\n", key, annotationInfo_unparse (el))); in annotationTable_unparse()
|
H A D | globSet.c | 141 st = cstring_concatFree (st, sRef_dumpGlobal (el)); in globSet_dump()
|
H A D | sortSet.c | 188 st = cstring_concatFree (st, sort_unparse (s->elements[i])); in sortSet_unparseOr()
|
H A D | abstract.c | 3364 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 D | sRefSet.c | 1023 st = cstring_concatFree (st, sRef_dump (el)); in sRefSet_dump()
|
H A D | cstring.c | 710 cstring_concatFree (cstring s, cstring t) in cstring_concatFree() function
|
H A D | cpplib.c | 6890 ptr->map_to = cstring_concatFree (ptr->map_to, to); in read_name_map()
|
/dports/devel/splint/splint-3.1.2/src/Headers/ |
H A D | cstring.h | 172 cstring_concatFree (/*@only@*/ cstring p_s, /*@only@*/ cstring p_t)
|