map access failure in test_verifier from ubuntu_bpf failed on f/oem-5.6
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
ubuntu-kernel-tests |
New
|
Undecided
|
Unassigned |
Bug Description
F/oem-5.6 5.6.0-1056.60
host spitfire
Not a regression, failure seen on previous version 5.6.0-1053.57
05/05 00:09:52 DEBUG| utils:0153| [stdout] #950/u invalid map access from else condition OK
05/05 00:09:52 DEBUG| utils:0153| [stdout] #950/p invalid map access from else condition OK
05/05 00:09:52 DEBUG| utils:0153| [stdout] #951/u map access: known scalar += value_ptr from different maps OK
05/05 00:09:52 DEBUG| utils:0153| [stdout] #951/p map access: known scalar += value_ptr from different maps OK
05/05 00:09:52 DEBUG| utils:0153| [stdout] #952/u map access: value_ptr -= known scalar from different maps OK
05/05 00:09:52 DEBUG| utils:0153| [stdout] #952/p map access: value_ptr -= known scalar from different maps OK
05/05 00:09:52 DEBUG| utils:0153| [stdout] #953/u map access: known scalar += value_ptr from different maps, but same value properties OK
05/05 00:09:52 DEBUG| utils:0153| [stdout] #953/p map access: known scalar += value_ptr from different maps, but same value properties OK
05/05 00:09:52 DEBUG| utils:0153| [stdout] #954/u map access: mixing value pointer and scalar, 1 OK
05/05 00:09:52 DEBUG| utils:0153| [stdout] #954/p map access: mixing value pointer and scalar, 1 OK
05/05 00:09:52 DEBUG| utils:0153| [stdout] #955/u map access: mixing value pointer and scalar, 2 FAIL
05/05 00:09:52 DEBUG| utils:0153| [stdout] Unexpected error message!
05/05 00:09:52 DEBUG| utils:0153| [stdout] EXP: R2 tried to add from different maps or paths
05/05 00:09:52 DEBUG| utils:0153| [stdout] RES: R2 tried to add from different maps, paths, or prohibited types
05/05 00:09:52 DEBUG| utils:0153| [stdout] verification time 15 usec
05/05 00:09:52 DEBUG| utils:0153| [stdout] stack depth 16
05/05 00:09:52 DEBUG| utils:0153| [stdout] processed 26 insns (limit 1000000) max_states_per_insn 0 total_states 3 peak_states 3 mark_read 1
05/05 00:09:52 DEBUG| utils:0153| [stdout]