263   Consistent = true;  in FullDependence()
1135   Result.Consistent = false;  in testZIV()
1243       Result.Consistent = false;  in strongSIVtest()
1314   Result.Consistent = false;  in weakCrossingSIVtest()
1516   Result.Consistent = false;  in exactSIVtest()
1712   Result.Consistent = false;  in weakZeroSrcSIVtest()
1821   Result.Consistent = false;  in weakZeroDstSIVtest()
1901   Result.Consistent = false;  in exactRDIVtest()
2302   Result.Consistent = false;  in testMIV()
3093                                bool &Consistent) {  in propagate()  argument
3099       Result |= propagateDistance(Src, Dst, Constraints[LI], Consistent);  in propagate()
3101       Result |= propagateLine(Src, Dst, Constraints[LI], Consistent);  in propagate()
3116                                        bool &Consistent) {  in propagateDistance()  argument
3130     Consistent = false;  in propagateDistance()
3142                                    bool &Consistent) {  in propagateLine()  argument
3164       Consistent = false;  in propagateLine()
3178       Consistent = false;  in propagateLine()
3193       Consistent = false;  in propagateLine()
3204       Consistent = false;  in propagateLine()
3686       Result.Consistent = false;  in depends()
3813                           Constraints, Result.Consistent)) {  in depends()
4022       Result.Consistent = false;  in getSplitIteration()
4111                           Pair[SJ].Loops, Constraints, Result.Consistent)) {  in getSplitIteration()