Syntax

#pragma define_without_bounds

Description

Use this pragma directive to define the version of a function that does not have extra bounds information. The code of the function is still instrumented to track pointer bounds (and checks are also inserted, unless #pragma disable_check = bounds is used).

This can be useful for functions that are exclusively called from code that does not track pointer bounds, and where the bounds can be inferred from other arguments, or in some other way.

Example

/* p points to an array of n integers */
void fun(int * p, int n)
{
  /* Set up bounds for p. */
  p = __as_make_bounds(p, n);
  ...
}