safestate Directory Reference

Directory dependency graph for safestate:

Files
	rte_safestate.h
	Safe-state transitions and checked assertions (ADR-004).
	rte_safety_violation.h
	Opt-in notification hook for the three new safety primitives (safe pointer, checked integer arithmetic, bounds check): a SEPARATE, dedicated handler from rte_safestate_handler_t (rte_safestate.h) - registering it does not change any of those primitives' own return-code contract (REQ-COMMON-CAST-004/ 005, REQ-OAL-SAFEPTR-001/002) in any way; with no handler registered (the default), nothing about their behavior changes at all.