Expectation handling support functionality. More...

Macros
#define	MCUX_CSSL_FP_EXPECT(...)
	Declaration(s) of expected code flow behavior. More...

#define	MCUX_CSSL_FP_CONDITIONAL(condition, ...)
	Handling of conditionally expected code flow behavior. More...

Detailed Description

Expectation handling support functionality.

Macro Definition Documentation

#define MCUX_CSSL_FP_EXPECT ( ... )

Declaration(s) of expected code flow behavior.

This macro can be used to indicate expectations in the function body at another location than the function entry or exit.

Note: In general the use of this macro is discouraged, to avoid a potential security and/or code-size impact. However, it may be usefull for complex code, where an intermediate update can actually save code, since conditions for expectations can than be locallized.

Expectations: MCUX_CSSL_FP_FUNCTION_CALLED
MCUX_CSSL_FP_LOOP_ITERATIONS
MCUX_CSSL_FP_BRANCH_TAKEN_POSITIVE
MCUX_CSSL_FP_BRANCH_TAKEN_NEGATIVE
MCUX_CSSL_FP_SWITCH_TAKEN

See also: MCUX_CSSL_FP_FUNCTION_ENTRY; MCUX_CSSL_FP_FUNCTION_EXIT; MCUX_CSSL_FP_FUNCTION_EXIT_WITH_CHECK; MCUX_CSSL_FP_CONDITIONAL

Parameters

...	The following parameters need to be passed (comma separated): expect: One or more (comma separated) declarations of expected code flow behavior.

#define MCUX_CSSL_FP_CONDITIONAL	(	condition,
		...
	)

Handling of conditionally expected code flow behavior.

This macro can be used to indicate expectations that are only true under a given condition.

Expectations: MCUX_CSSL_FP_FUNCTION_CALLED
MCUX_CSSL_FP_LOOP_ITERATIONS
MCUX_CSSL_FP_BRANCH_TAKEN_POSITIVE
MCUX_CSSL_FP_BRANCH_TAKEN_NEGATIVE
MCUX_CSSL_FP_SWITCH_TAKEN

See also: MCUX_CSSL_FP_FUNCTION_ENTRY; MCUX_CSSL_FP_FUNCTION_EXIT; MCUX_CSSL_FP_FUNCTION_EXIT_WITH_CHECK; MCUX_CSSL_FP_EXPECT

Parameters

condition	Condition under which the given expectations apply.
...	One or more (comma separated) declarations of expected code flow behavior.