241   Consistent = true;  in FullDependence()
1034   Result.Consistent = false;  in testZIV()
1142       Result.Consistent = false;  in strongSIVtest()
1213   Result.Consistent = false;  in weakCrossingSIVtest()
1426   Result.Consistent = false;  in exactSIVtest()
1638   Result.Consistent = false;  in weakZeroSrcSIVtest()
1747   Result.Consistent = false;  in weakZeroDstSIVtest()
1827   Result.Consistent = false;  in exactRDIVtest()
2212   Result.Consistent = false;  in testMIV()
2984                                bool &Consistent) {  in propagate()  argument
2990       Result |= propagateDistance(Src, Dst, Constraints[LI], Consistent);  in propagate()
2992       Result |= propagateLine(Src, Dst, Constraints[LI], Consistent);  in propagate()
3007                                        bool &Consistent) {  in propagateDistance()  argument
3021     Consistent = false;  in propagateDistance()
3033                                    bool &Consistent) {  in propagateLine()  argument
3054       Consistent = false;  in propagateLine()
3068       Consistent = false;  in propagateLine()
3083       Consistent = false;  in propagateLine()
3094       Consistent = false;  in propagateLine()
3467       Result.Consistent = false;  in depends()
3594                           Constraints, Result.Consistent)) {  in depends()
3830       Result.Consistent = false;  in getSplitIteration()
3919                           Pair[SJ].Loops, Constraints, Result.Consistent)) {  in getSplitIteration()