Lines Matching refs:__description
17 __description("subtraction bounds (map value) variant 1")
48 __description("subtraction bounds (map value) variant 2")
79 __description("check subtraction on pointers for unpriv")
112 __description("bounds check based on zero-extended MOV")
142 __description("bounds check based on sign-extended MOV. test1")
173 __description("bounds check based on sign-extended MOV. test2")
204 __description("bounds check based on reg_off + var_off + insn_off. test1")
233 __description("bounds check based on reg_off + var_off + insn_off. test2")
263 __description("bounds check after truncation of non-boundary-crossing range")
302 __description("bounds check after truncation of boundary-crossing range (1)")
344 __description("bounds check after truncation of boundary-crossing range (2)")
386 __description("bounds check after wrapping 32-bit addition")
418 __description("bounds check after shift with oversized count operand")
451 __description("bounds check after right shift of maybe-negative number")
486 __description("bounds check after 32-bit right shift with 64-bit input")
518 __description("bounds check map access with off+size signed 32bit overflow. test1")
543 __description("bounds check map access with off+size signed 32bit overflow. test2")
570 __description("bounds check map access with off+size signed 32bit overflow. test3")
596 __description("bounds check map access with off+size signed 32bit overflow. test4")
623 __description("bounds check mixed 32bit and 64bit arithmetic. test1")
652 __description("bounds check mixed 32bit and 64bit arithmetic. test2")
682 __description("assigning 32bit bounds to 64bit for wA = 0, wB = wA")
706 __description("bounds check for reg = 0, reg xor 1")
739 __description("bounds check for reg32 = 0, reg32 xor 1")
772 __description("bounds check for reg = 2, reg xor 3")
805 __description("bounds check for reg = any, reg xor 3")
832 __description("bounds check for reg32 = any, reg32 xor 3")
859 __description("bounds check for reg > 0, reg xor 3")
893 __description("bounds check for reg32 > 0, reg32 xor 3")
927 __description("bounds check for non const xor src dst")
948 __description("bounds check for non const or src dst")
969 __description("bounds check for non const mul regs")
990 __description("bounds checks after 32-bit truncation. test 1")
1016 __description("bounds checks after 32-bit truncation. test 2")
1041 __description("bound check with JMP_JLT for crossing 64-bit signed boundary")
1067 __description("bound check with JMP_JSLT for crossing 64-bit signed boundary")
1098 __description("bound check for loop upper bound greater than U32_MAX")
1123 __description("bound check with JMP32_JLT for crossing 32-bit signed boundary")
1149 __description("bound check with JMP32_JSLT for crossing 32-bit signed boundary")
1180 __description("bounds check with JMP_NE for reg edge")
1214 __description("bounds check with JMP_EQ for reg edge")
1242 __description("multiply mixed sign bounds. test 1")
1265 __description("multiply mixed sign bounds. test 2")
1288 __description("multiply negative bounds")
1312 __description("multiply bounds that don't cross signed boundary")
1332 __description("multiplication overflow, result in unbounded reg. test 1")
1354 __description("multiplication overflow, result in unbounded reg. test 2")
1377 __description("64-bit addition, all outcomes overflow")
1397 __description("64-bit addition, partial overflow, result in unbounded reg")
1417 __description("32-bit addition overflow, all outcomes overflow")
1437 __description("32-bit addition, partial overflow, result in unbounded u32 bounds")
1457 __description("64-bit subtraction, all outcomes underflow")
1478 __description("64-bit subtraction, partial overflow, result in unbounded reg")
1497 __description("32-bit subtraction overflow, all outcomes underflow")
1518 __description("32-bit subtraction, partial overflow, result in unbounded u32 bounds")
1537 __description("dead branch on jset, does not result in invariants violation error")
1574 __description("bounds deduction cross sign boundary, negative overlap")
1618 __description("bounds deduction cross sign boundary, positive overlap")
1651 __description("bounds deduction cross sign boundary, two overlaps")