Lines Matching refs:__msg
18 __failure __msg("R0 max value is outside of the allowed memory range")
50 __msg("R0 min value is negative, either use unsigned index or do a if (index >=0) check.")
143 __failure __msg("map_value pointer and 4294967295")
174 __failure __msg("R0 min value is outside of the allowed memory range")
205 __failure __msg("value_size=8 off=1073741825")
234 __failure __msg("value 1073741823")
305 __msg("value -4294967168 makes map_value pointer be out of bounds")
345 __failure __msg("value -4294967168 makes map_value pointer be out of bounds")
419 __failure __msg("R0 max value is outside of the allowed memory range")
452 __failure __msg("R0 unbounded memory access")
487 __failure __msg("math between map_value pointer and 4294967294 is not allowed")
519 __failure __msg("map_value pointer and 2147483646")
544 __failure __msg("pointer offset 1073741822")
571 __failure __msg("pointer offset -1073741822")
597 __failure __msg("map_value pointer and 1000000000000")
806 __failure __msg("invalid access to map value")
833 __failure __msg("invalid access to map value")
929 __msg("5: (af) r0 ^= r6 ; R0_w=scalar(smin=smin32=0,smax=umax=smax32=umax32=43…
950 __msg("5: (4f) r0 |= r6 ; R0_w=scalar(smin=smin32=0,smax=umax=smax32=umax32=43…
971 __msg("5: (2f) r0 *= r6 ; R0_w=scalar(smin=smin32=0,smax=umax=smax32=umax32=38…
1244 __msg("r6 *= r7 {{.*}}; R6_w=scalar(smin=umin=0x1bc16d5cd4927ee1,smax=umax=0x1bc16d674ec80000,smax3…
1267 __msg("r6 *= r7 {{.*}}; R6_w=scalar(smin=smin32=-100,smax=smax32=200)")
1290 __msg("r6 *= r7 {{.*}}; R6_w=scalar(smin=umin=smin32=umin32=0x3ff280b0,smax=umax=smax32=umax32=0x3f…
1314 __msg("r8 *= r6 {{.*}}; R6_w=scalar(smin=smin32=0,smax=umax=smax32=umax32=11,var_off=(0x0; 0xb)) R8…
1334 __msg("r6 *= r7 {{.*}}; R6_w=scalar()")
1356 __msg("r6 *= r7 {{.*}}; R6_w=scalar()")
1379 __msg("5: (0f) r3 += r3 {{.*}} R3_w=scalar(umin=0x4000000000000000,umax=0xfffffffffffffffe)")
1399 __msg("4: (0f) r3 += r3 {{.*}} R3_w=scalar()")
1419 __msg("4: (0c) w3 += w3 {{.*}} R3_w=scalar(smin=umin=umin32=0x40000000,smax=umax=umax32=0xfffffffe,…
1439 __msg("4: (0c) w3 += w3 {{.*}} R3_w=scalar(smin=0,smax=umax=0xffffffff,var_off=(0x0; 0xffffffff))")
1459 __msg("6: (1f) r3 -= r1 {{.*}} R3_w=scalar(umin=1,umax=0x8000000000000000)")
1480 __msg("3: (1f) r3 -= r2 {{.*}} R3_w=scalar()")
1499 __msg("5: (1c) w3 -= w1 {{.*}} R3_w=scalar(smin=umin=umin32=1,smax=umax=umax32=0x80000000,var_off=(…
1520 __msg("3: (1c) w3 -= w2 {{.*}} R3_w=scalar(smin=0,smax=umax=0xffffffff,var_off=(0x0; 0xffffffff))")
1576 __msg("7: (1f) r0 -= r6 {{.*}} R0=scalar(smin=smin32=-655,smax=smax32=-146,umin=0xfffffffffffffd71,… in __flag()
1620 __msg("3: (2d) if r0 > r1 {{.*}} R0_w=scalar(smin=smin32=0,smax=umax=smax32=umax32=127,var_off=(0x0… in __flag()
1653 __msg("3: (2d) if r0 > r1 {{.*}} R0_w=scalar(smin=smin32=-128,smax=smax32=127,umax=0xffffffffffffff… in __flag()
1654 __msg("frame pointer is read only") in __flag()