Home
last modified time | relevance | path

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

/dports/devel/splint/splint-3.1.2/src/
H A DvarKinds.c160 case AK_ONLY: in alkind_derive()
167 else if (outer == AK_ONLY) return AK_IMPONLY; in alkind_derive()
196 case AK_ONLY: return cstring_makeLiteralTemp ("only"); in alkind_unparse()
264 case AK_ONLY: in alkind_capName()
360 if (qual_isOnly (q)) return AK_ONLY; in alkind_fromQual()
402 || a2 == AK_ONLY); in alkind_compatible()
403 case AK_ONLY: return (a2 == AK_KEEP || a2 == AK_FRESH in alkind_compatible()
408 case AK_KEEP: return (a2 == AK_ONLY || a2 == AK_FRESH in alkind_compatible()
436 case AK_IMPONLY: return (a2 == AK_ONLY); in alkind_equal()
437 case AK_ONLY: return (a2 == AK_IMPONLY); in alkind_equal()
H A DstateInfo.c342 case AK_ONLY: in stateAction_fromAlkind()
H A DstateClause.c813 if (qual_isOnly (sq)) return AK_ONLY; in stateClause_getStateParameter()
H A DsRef.c5634 if (sRef_isReasonable (s) && s->aliaskind != AK_ONLY) in sRef_setOnly()
5637 s->aliaskind = AK_ONLY; in sRef_setOnly()
8887 else if ((ares == AK_OWNED && aother == AK_ONLY) in sRef_combineAliasKindsError()
8888 || (aother == AK_OWNED && ares == AK_ONLY)) in sRef_combineAliasKindsError()
H A Duentry.c459 case AK_ONLY: tallyAnnot (kind, QU_ONLY); break; in uentry_tallyAnnots()
/dports/devel/splint/splint-3.1.2/src/Headers/
H A DvarKinds.h83 AK_ONLY, enumerator
138 # define alkind_isOnly(a) ((a) == AK_ONLY || (a) == AK_IMPONLY)