DepSurf

Function: propagate_precision

Status

Regular

• In 4.4: Absent ⚠️
• In 4.8: Absent ⚠️
• In 4.10: Absent ⚠️
• In 4.13: Absent ⚠️
• In 4.15: Absent ⚠️
• In 4.18: Absent ⚠️
• In 5.0: Absent ⚠️
• In 5.3: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e0a0b)
  Location: kernel/bpf/verifier.c:7167
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
  

• In 5.4: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811ed205)
  Location: kernel/bpf/verifier.c:7182
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
  

• In 5.8: ✅

  int propagate_precision(struct bpf_verifier_env *env, const struct bpf_verifier_state *old);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8120c5d0)
  Location: kernel/bpf/verifier.c:8315
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:is_state_visited
  

  Symbols:

  ffffffff8120c5d0-ffffffff8120c6ca: propagate_precision (STB_LOCAL)
  

• In 5.11: ✅

  int propagate_precision(struct bpf_verifier_env *env, const struct bpf_verifier_state *old);
  

  Collision: Unique Static

  Inline: No

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81207b20)
  Location: kernel/bpf/verifier.c:9103
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:is_state_visited
  

  Symbols:

  ffffffff81207b20-ffffffff81207c1a: propagate_precision (STB_LOCAL)
  

• In 5.13: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81211f74)
  Location: kernel/bpf/verifier.c:10267
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
  

• In 5.15: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff81247297)
  Location: kernel/bpf/verifier.c:10598
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
  

• In 5.19: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff8128d385)
  Location: kernel/bpf/verifier.c:11654
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
  

• In 6.2: Transformation ⚠️

  int propagate_precision(struct bpf_verifier_env *env, const struct bpf_verifier_state *old);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:13650
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:is_state_visited
  

  Symbols:

  ffffffff812d99c0-ffffffff812d9b4f: propagate_precision (STB_LOCAL)
  ffffffff82060199-ffffffff820601c9: propagate_precision.cold (STB_LOCAL)
  

• In 6.5: Transformation ⚠️

  int propagate_precision(struct bpf_verifier_env *env, const struct bpf_verifier_state *old);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:15699
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:is_state_visited
  

  Symbols:

  ffffffff8130d040-ffffffff8130d2ba: propagate_precision (STB_LOCAL)
  ffffffff820dfb17-ffffffff820dfb99: propagate_precision.cold (STB_LOCAL)
  

• In 6.8: Transformation ⚠️

  int propagate_precision(struct bpf_verifier_env *env, const struct bpf_verifier_state *old);
  

  Collision: Unique Static

  Inline: No

  Transformation: True

  Instances:

  In kernel/bpf/verifier.c (0)
  Location: kernel/bpf/verifier.c:16757
  Inline: False
  Direct callers:
    - kernel/bpf/verifier.c:is_state_visited
  

  Symbols:

  ffffffff81329490-ffffffff8132970a: propagate_precision (STB_LOCAL)
  ffffffff821bbae1-ffffffff821bbb63: propagate_precision.cold (STB_LOCAL)
  

Arch

• In arm64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffff800010270b80)
  Location: kernel/bpf/verifier.c:7182
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
  

• In armhf: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c04a2e08)
  Location: kernel/bpf/verifier.c:7182
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
  

• In ppc64el: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (c000000000317db8)
  Location: kernel/bpf/verifier.c:7182
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
  

• In riscv64: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffe0001aa15e)
  Location: kernel/bpf/verifier.c:7182
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
  

Flavor

• In aws: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e5825)
  Location: kernel/bpf/verifier.c:7182
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
  

• In azure: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811d85e5)
  Location: kernel/bpf/verifier.c:7182
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
  

• In gcp: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811e35f5)
  Location: kernel/bpf/verifier.c:7182
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
  

• In lowlatency: Full Inline ⚠️

  Collision: Unique Static

  Inline: Full

  Transformation: False

  Instances:

  In kernel/bpf/verifier.c (ffffffff811f19c5)
  Location: kernel/bpf/verifier.c:7182
  Inline: True
  Inline callers:
    - kernel/bpf/verifier.c:is_state_visited
  

Differences

Regular

• No changes between 5.8 and 5.11 ✅
• No changes between 6.2 and 6.5 ✅
• No changes between 6.5 and 6.8 ✅