Lines Matching full:invalid

166 __description("invalid map access into an array with a constant")
167 __failure __msg("invalid access to map value, value_size=48 off=48 size=8")
191 __description("invalid map access into an array with a register")
220 __description("invalid map access into an array with a variable")
249 __description("invalid map access into an array with no floor check")
281 __description("invalid map access into an array with a invalid max check")
282 __failure __msg("invalid access to map value, value_size=48 off=44 size=8")
313 __description("invalid map access into an array with a invalid max check")
394 __description("invalid write map access into a read-only array 1")
417 __description("invalid write map access into a read-only array 2")
494 __description("invalid read map access into a write-only array 1")
516 __description("invalid read map access into a write-only array 2")
612 __description("invalid map access into an array using constant without nullness")
613 __failure __msg("R0 invalid mem access 'map_value_or_null'")
627 __description("invalid map access into an array using constant smaller than key_size")
628 __failure __msg("R0 invalid mem access 'map_value_or_null'")
650 __description("invalid map access into an array using constant larger than key_size")
651 __failure __msg("R0 invalid mem access 'map_value_or_null'")
668 __description("invalid elided lookup using const and non-const key")
669 __failure __msg("R0 invalid mem access 'map_value_or_null'")
684 __failure __msg("invalid read from stack R2 off=4096 size=4")
703 __description("invalid elided lookup using non-stack key")
704 __failure __msg("R0 invalid mem access 'map_value_or_null'")