Home | History | Annotate | Download | only in Checkers

Lines Matching refs:tie

231   llvm::tie(stateNull, stateNonNull) = assumeZero(C, state, l, S->getType());
450 llvm::tie(stateTrue, stateFalse) =
471 llvm::tie(stateTrue, stateFalse) = state->assume(*reverseTest);
519 llvm::tie(stateTrue, stateFalse) = state->assume(*OverlapTest);
589 llvm::tie(stateOverflow, stateOkay) =
896 llvm::tie(stateZeroSize, stateNonZeroSize) =
1049 llvm::tie(stateZeroSize, stateNonZeroSize) =
1075 llvm::tie(StSameBuf, StNotSameBuf) = state->assume(SameBuf);
1134 llvm::tie(stateZeroSize, stateNonZeroSize) =
1188 llvm::tie(stateStringTooLong, stateStringNotTooLong) =
1363 llvm::tie(stateSourceTooLong, stateSourceNotTooLong) =
1680 llvm::tie(StSameBuf, StNotSameBuf) = state->assume(SameBuf);