diff options
author | Alexei Starovoitov <[email protected]> | 2017-11-30 21:31:37 -0800 |
---|---|---|
committer | Daniel Borkmann <[email protected]> | 2017-12-01 11:25:10 +0100 |
commit | 19ceb4178d31e543479d75e20c2f9df08f16632f (patch) | |
tree | bef3d86b652404095dff4416aa072332e774e9db /drivers/gpu/drm/amd/amdgpu/amdgpu_queue_mgr.c | |
parent | 4e92024a48ecbd06fba3ccfb2174abd3d2f54a83 (diff) |
bpf: don't mark FP reg as uninit
when verifier hits an internal bug don't mark register R10==FP as uninit,
since it's read only register and it's not technically correct to let
verifier run further, since it may assume that R10 has valid auxiliary state.
While developing subsequent patches this issue was discovered,
though the code eventually changed that aux reg state doesn't have
pointers any more it is still safer to avoid clearing readonly register.
Signed-off-by: Alexei Starovoitov <[email protected]>
Acked-by: John Fastabend <[email protected]>
Acked-by: Daniel Borkmann <[email protected]>
Signed-off-by: Daniel Borkmann <[email protected]>
Diffstat (limited to 'drivers/gpu/drm/amd/amdgpu/amdgpu_queue_mgr.c')
0 files changed, 0 insertions, 0 deletions