DepSurf

Function: __reg_deduce_bounds

Status

Regular

• In 4.4: Absent ⚠️
• In 4.8: Absent ⚠️
• In 4.10: Absent ⚠️
• In 4.13: Absent ⚠️
• In 4.15: ✅

  void __reg_deduce_bounds(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811a12c0)
  Location: kernel/bpf/verifier.c:505
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
  

  Symbols:

  ffffffff811a12c0-ffffffff811a1337: __reg_deduce_bounds (STB_LOCAL)
  

• In 4.18: ✅

  void __reg_deduce_bounds(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811b6770)
  Location: kernel/bpf/verifier.c:632
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffff811b6770-ffffffff811b67e7: __reg_deduce_bounds (STB_LOCAL)
  

• In 5.0: ✅

  void __reg_deduce_bounds(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811c58c0)
  Location: kernel/bpf/verifier.c:880
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:adjust_reg_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffff811c58c0-ffffffff811c5937: __reg_deduce_bounds (STB_LOCAL)
  

• In 5.3: ✅

  void __reg_deduce_bounds(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d6770)
  Location: kernel/bpf/verifier.c:939
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffff811d6770-ffffffff811d67e7: __reg_deduce_bounds (STB_LOCAL)
  

• In 5.4: ✅

  void __reg_deduce_bounds(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e2e50)
  Location: kernel/bpf/verifier.c:940
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffff811e2e50-ffffffff811e2ec7: __reg_deduce_bounds (STB_LOCAL)
  

• In 5.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81204076)
  Location: kernel/bpf/verifier.c:1202
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:__reg_combine_64_into_32
    - kernel/bpf/verifier.c:__reg_combine_32_into_64
  

• In 5.11: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81204006)
  Location: kernel/bpf/verifier.c:1234
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:__reg_combine_64_into_32
    - kernel/bpf/verifier.c:__reg_combine_32_into_64
  

• In 5.13: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81204fde)
  Location: kernel/bpf/verifier.c:1328
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:__reg_combine_64_into_32
    - kernel/bpf/verifier.c:__reg_combine_32_into_64
  

• In 5.15: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81237b0e)
  Location: kernel/bpf/verifier.c:1342
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:check_alu_op
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
    - kernel/bpf/verifier.c:__reg_combine_64_into_32
    - kernel/bpf/verifier.c:__reg_combine_32_into_64
  

• In 5.19: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8127bcd4)
  Location: kernel/bpf/verifier.c:1546
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:reg_bounds_sync
  

• In 6.2: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff812d22b4)
  Location: kernel/bpf/verifier.c:1760
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:reg_bounds_sync
  

• In 6.5: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81307773)
  Location: kernel/bpf/verifier.c:2157
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:reg_bounds_sync
  

• In 6.8: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81326faf)
  Location: kernel/bpf/verifier.c:2156
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:reg_bounds_sync
    - kernel/bpf/verifier.c:reg_bounds_sync
  

Arch

• In arm64: ✅

  void __reg_deduce_bounds(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffff8000102661e0)
  Location: kernel/bpf/verifier.c:940
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:check_cond_jmp_op
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffff8000102661e0-ffff800010266264: __reg_deduce_bounds (STB_LOCAL)
  

• In armhf: ✅

  void __reg_deduce_bounds(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c0497fd8)
  Location: kernel/bpf/verifier.c:940
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  c0497fd8-c0498098: __reg_deduce_bounds (STB_LOCAL)
  

• In ppc64el: ✅

  void __reg_deduce_bounds(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c00000000030aec0)
  Location: kernel/bpf/verifier.c:940
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  c00000000030aec0-c00000000030af88: __reg_deduce_bounds (STB_LOCAL)
  

• In riscv64: ✅

  void __reg_deduce_bounds(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001a167c)
  Location: kernel/bpf/verifier.c:940
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffe0001a167c-ffffffe0001a16ea: __reg_deduce_bounds (STB_LOCAL)
  

Flavor

• In aws: ✅

  void __reg_deduce_bounds(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811db470)
  Location: kernel/bpf/verifier.c:940
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffff811db470-ffffffff811db4e7: __reg_deduce_bounds (STB_LOCAL)
  

• In azure: ✅

  void __reg_deduce_bounds(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ce230)
  Location: kernel/bpf/verifier.c:940
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffff811ce230-ffffffff811ce2a7: __reg_deduce_bounds (STB_LOCAL)
  

• In gcp: ✅

  void __reg_deduce_bounds(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d9240)
  Location: kernel/bpf/verifier.c:940
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffff811d9240-ffffffff811d92b7: __reg_deduce_bounds (STB_LOCAL)
  

• In lowlatency: ✅

  void __reg_deduce_bounds(struct bpf_reg_state *reg);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e7650)
  Location: kernel/bpf/verifier.c:940
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:__reg_combine_min_max
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:reg_set_min_max_inv
    - kernel/bpf/verifier.c:adjust_scalar_min_max_vals
    - kernel/bpf/verifier.c:adjust_ptr_min_max_vals
    - kernel/bpf/verifier.c:check_helper_call
  

  Symbols:

  ffffffff811e7650-ffffffff811e76c7: __reg_deduce_bounds (STB_LOCAL)
  

Differences

Regular

• No changes between 4.15 and 4.18 ✅
• No changes between 4.18 and 5.0 ✅
• No changes between 5.0 and 5.3 ✅
• No changes between 5.3 and 5.4 ✅

Arch

• No changes between amd64 and arm64 ✅
• No changes between amd64 and armhf ✅
• No changes between amd64 and ppc64el ✅
• No changes between amd64 and riscv64 ✅

Flavor

• No changes between generic and aws ✅
• No changes between generic and azure ✅
• No changes between generic and gcp ✅
• No changes between generic and lowlatency ✅