succeed

Purpose

In CHECK Region and CODE Region, succeed without executing further code.

Syntax

NULL = succeed()

Returns

Remarks

Constrained to appear directly in the CHECK region, not within functions defined in the DECL region.

Example

@CHECK
succeed();
@@CHECK

See Also

or, fail, exitpass, Special Functions, CHECK Actions