Syntax

#pragma define_with_bounds

Description

You can only use this pragma directive on a function that is declared with #pragma no_bounds (or equivalent). The function will then be instrumented to track pointer bounds, but not to perform any bounds checks. Any calls to the function will be to the version without extra bounds information.

This is useful for writing a checking version of a function based on the non-checking version.