Home
last modified time | relevance | path

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

/dports/devel/splint/splint-3.1.2/src/Headers/
H A DvarKinds.h147 extern bool alkind_isKept (alkind p_a) /*@*/ ;
166 # define alkind_isKept(a) ((a) == AK_KEPT) macro
/dports/devel/splint/splint-3.1.2/src/
H A DtransferChecks.c2891 if ((alkind_isKept (tkind) || alkind_isStack (tkind) in checkOnlyTransferAux()
2992 if (alkind_isKept (tkind) && sRef_isNSLocalVar (tref)) in checkOwnedTransferAux()
3656 else if (alkind_isTemp (fkind) || alkind_isKept (fkind)) in checkTransferAux()
H A Duentry.c10190 || (alkind_isKept (rk) && !alkind_isKept (ok)) in uentry_incompatibleMemoryStates()