diff options
author | Andrii Nakryiko <[email protected]> | 2023-03-02 15:50:02 -0800 |
---|---|---|
committer | Alexei Starovoitov <[email protected]> | 2023-03-04 11:14:31 -0800 |
commit | 98ddcf389d1bb7a407d49c23dfe6443680812f24 (patch) | |
tree | a533da8a971b91897b760babb1040900f1dfe745 /lib/memory-notifier-error-inject.c | |
parent | 6f876e75d316a75957f3d43c3a8c2a6fe9bc18b2 (diff) |
bpf: honor env->test_state_freq flag in is_state_visited()
env->test_state_freq flag can be set by user by passing
BPF_F_TEST_STATE_FREQ program flag. This is used in a bunch of selftests
to have predictable state checkpoints at every jump and so on.
Currently, bounded loop handling heuristic ignores this flag if number
of processed jumps and/or number of processed instructions is below some
thresholds, which throws off that reliable state checkpointing.
Honor this flag in all circumstances by disabling heuristic if
env->test_state_freq is set.
Signed-off-by: Andrii Nakryiko <[email protected]>
Link: https://lore.kernel.org/r/[email protected]
Signed-off-by: Alexei Starovoitov <[email protected]>
Diffstat (limited to 'lib/memory-notifier-error-inject.c')
0 files changed, 0 insertions, 0 deletions