Lines Matching defs:val2
985 int i, val, val2;
1136 val2 = (i+1)*5;
1137 check_store_range(mt, val, val2, xa_mk_value(val), 0);
1150 val2 = (i+1)*5;
1151 check_store_range(mt, val, val2, xa_mk_value(val), 0);
1169 val2 = val + 4;
1170 check_store_range(mt, val, val2, xa_mk_value(val), 0);
1175 val = val2 + 5;
1176 val2 = val + 4;
1177 check_store_range(mt, val, val2, xa_mk_value(val), 0);
1181 val = val2;
1191 val2 = val + 5;
1192 check_store_range(mt, val, val2, xa_mk_value(val), 0);
1197 val2 = i * 5;
1198 val = val2 - 5;
1199 check_store_range(mt, val, val2, xa_mk_value(val), 0);
1208 val2 = i * 5 + 1;
1209 check_store_range(mt, val, val2, xa_mk_value(val), 0);
1219 val2 = i * 5 + 1;
1220 check_store_range(mt, val, val2, xa_mk_value(val), 0);
1233 val2 = (i+1)*10;
1234 check_store_range(mt, val, val2, xa_mk_value(val), 0);
1251 val2 = (i+1)*10;
1252 check_store_range(mt, val, val2, xa_mk_value(val), 0);
1262 val2 = (i+1)*10;
1263 check_store_range(mt, val, val2, xa_mk_value(val), 0);
1277 val2 = (i+1)*10;
1278 check_store_range(mt, val, val2, xa_mk_value(val), 0);
1298 val2 = (i+1)*10;
1299 check_store_range(mt, val, val2, xa_mk_value(val), 0);