Defined in 2 files as a variable:

• tests/assumes.c, line 6 (as a variable)
• tests/assumes_legacy.c, line 5 (as a variable)

Referenced in 3 files:

• tests/assumes.c
  • line 11
  • line 12
  • line 27
  • line 28
  • line 40
  • line 50
  • line 61
  • line 71
• tests/assumes_legacy.c
  • line 10
  • line 11
  • line 22
  • line 23
• tests/fbounds_safety_assumes.c
  • line 11
  • line 12
  • line 27
  • line 28
  • line 40
  • line 50
  • line 61
  • line 71