13 // CHECK-MESSAGES: :[[@LINE-1]]:10: warning: result of integer division used in  in singleDiv()
18 // CHECK-MESSAGES: :[[@LINE-1]]:10: warning: result of integer division used in  in wrongOrder()
45 // CHECK-MESSAGES: :[[@LINE-1]]:9: warning: result of integer division used in  in m()
60 // CHECK-MESSAGES: :[[@LINE-1]]:11: warning: result of integer division used in  in integerDivision()
65 // CHECK-MESSAGES: :[[@LINE-1]]:7: warning: result of integer division used in  in integerDivision()
67 // CHECK-MESSAGES: :[[@LINE-1]]:8: warning: result of integer division used in  in integerDivision()
70 // CHECK-MESSAGES: :[[@LINE-1]]:16: warning: result of integer division used in  in integerDivision()
72 // CHECK-MESSAGES: :[[@LINE-1]]:11: warning: result of integer division used in  in integerDivision()
74 // CHECK-MESSAGES: :[[@LINE-1]]:19: warning: result of integer division used in  in integerDivision()
84 // CHECK-MESSAGES: :[[@LINE-1]]:3: warning: result of integer division used in  in integerDivision()
87 // CHECK-MESSAGES: :[[@LINE-1]]:20: warning: result of integer division used in  in integerDivision()
89 // CHECK-MESSAGES: :[[@LINE-1]]:21: warning: result of integer division used in  in integerDivision()
91 // CHECK-MESSAGES: :[[@LINE-1]]:26: warning: result of integer division used in  in integerDivision()
94 // CHECK-MESSAGES: :[[@LINE-1]]:12: warning: result of integer division used in  in integerDivision()
96 // CHECK-MESSAGES: :[[@LINE-1]]:13: warning: result of integer division used in  in integerDivision()
98 // CHECK-MESSAGES: :[[@LINE-1]]:17: warning: result of integer division used in  in integerDivision()
100 // CHECK-MESSAGES: :[[@LINE-1]]:12: warning: result of integer division used in  in integerDivision()
102 // CHECK-MESSAGES: :[[@LINE-1]]:13: warning: result of integer division used in  in integerDivision()
104 // CHECK-MESSAGES: :[[@LINE-1]]:17: warning: result of integer division used in  in integerDivision()
107 // CHECK-MESSAGES: :[[@LINE-1]]:12: warning: result of integer division used in  in integerDivision()
109 // CHECK-MESSAGES: :[[@LINE-1]]:10: warning: result of integer division used in  in integerDivision()
111 // CHECK-MESSAGES: :[[@LINE-1]]:8: warning: result of integer division used in  in integerDivision()
121 // CHECK-MESSAGES: :[[@LINE-1]]:7: warning: result of integer division used in  in integerDivision()
123 // CHECK-MESSAGES: :[[@LINE-1]]:8: warning: result of integer division used in  in integerDivision()
125 // CHECK-MESSAGES: :[[@LINE-1]]:8: warning: result of integer division used in  in integerDivision()