Searched refs:makeNotOwnedParameter (Results 1 – 1 of 1) sorted by relevance
567 auto makeNotOwnedParameter = [&](ProgramStateRef St) { in updateOutParameters() local578 AssumeNonZeroReturn = makeNotOwnedParameter(AssumeNonZeroReturn); in updateOutParameters()579 AssumeZeroReturn = makeNotOwnedParameter(AssumeZeroReturn); in updateOutParameters()