Lines Matching defs:AssumeNonZero

28462 // `AssumeNonZero` if this function should simply assume (not require proving
28466                                    bool AssumeNonZero) {
28534     if (AssumeNonZero || Op->getFlags().hasNoUnsignedWrap() ||
28537                                              Depth + 1, AssumeNonZero))
28546                                            Depth + 1, AssumeNonZero))
28548                                              Depth + 1, AssumeNonZero))
28556     // Use AssumeNonZero as false here. Otherwise we can hit case where
28560                                 /*AssumeNonZero*/ false))
28563                                   /*AssumeNonZero*/ false))