2503 checkTransferNullAux (sRef fref, exprNode fexp, /*@unused@*/ bool ffix,  in checkTransferNullAux()  argument
2602 checkTransferAssignAux (sRef fref, exprNode fexp, /*@unused@*/ bool ffix,  in checkTransferAssignAux()  argument
2774 checkOnlyTransferAux (sRef fref, exprNode fexp, bool ffix,  in checkOnlyTransferAux()  argument
2810 	  if (!ffix) sRef_setAliasKind (fref, AK_UNKNOWN, loc);   in checkOnlyTransferAux()
2839 	  if (!error && !ffix)   in checkOnlyTransferAux()
2915 		      if (!ffix && sRef_isNSLocalVar (sRef_getRootBase (fref)))  in checkOnlyTransferAux()
2931 checkOwnedTransferAux (sRef fref, exprNode fexp, bool ffix,  in checkOwnedTransferAux()  argument
2981 	  if (!ffix) { sRef_clearAliasKind (fref); }  in checkOwnedTransferAux()
3014 	  if (!ffix) { sRef_clearAliasKind (fref); }  in checkOwnedTransferAux()
3020 checkFreshTransferAux (sRef fref, exprNode fexp, bool ffix,  in checkFreshTransferAux()  argument
3041 	      if (!ffix)   in checkFreshTransferAux()
3085 	  if (!ffix)   in checkFreshTransferAux()
3101 	      if (!ffix)   in checkFreshTransferAux()
3110       if (!ffix)   in checkFreshTransferAux()
3118       if (!ffix)   in checkFreshTransferAux()
3125       if (!ffix)   in checkFreshTransferAux()
3135       if (!ffix) { sRef_setShared (fref, loc); }  in checkFreshTransferAux()
3150 	  if (!ffix && !tfix)   in checkFreshTransferAux()
3172 checkTransferExposure (sRef fref, exprNode fexp, /*@unused@*/ bool ffix,  in checkTransferExposure()  argument
3415 checkTransferAux (exprNode fexp, /*@exposed@*/ sRef fref, bool ffix,  in checkTransferAux()  argument
3435   if (!ffix && !tfix)  in checkTransferAux()
3438       checkTransferNullAux (fref, fexp, ffix, tref, texp, tfix,   in checkTransferAux()
3446       checkTransferAssignAux (fref, fexp, ffix, tref, texp, tfix,  in checkTransferAux()
3459   if (!ffix && !tfix)  in checkTransferAux()
3492   checkTransferExposure (fref, fexp, ffix, tref, texp, tfix,   in checkTransferAux()
3505       checkOnlyTransferAux (fref, fexp, ffix,  in checkTransferAux()
3512       checkFreshTransferAux (fref, fexp, ffix,  in checkTransferAux()
3519       checkOwnedTransferAux (fref, fexp, ffix,  in checkTransferAux()
3583 	      if (!tfix && !ffix)  in checkTransferAux()
3755 	      if (!ffix && !tfix && !(transferType == TT_FCNRETURN))  in checkTransferAux()
3799 	      && (!ffix && !tfix)  in checkTransferAux()
3836 	      if (!ffix)   in checkTransferAux()
3855 	      if (!ffix)   in checkTransferAux()
3891 	      if (!ffix)  in checkTransferAux()
3909 	  if (!ffix)   in checkTransferAux()
3948       if (!ffix && !tfix)  in checkTransferAux()