Why even unused data needs to be valid

system Closed November 11, 2020, 2:37pm 30

This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.

Topic		Replies	Views
Two Kinds of Invariants: Safety and Validity Unsafe Code Guidelines	26	6624	September 17, 2018
Mem::uninitialized, `!` and trap representations language design	55	7444	January 12, 2017
Terminology around unsafe, undefined behaviour, and invariants Unsafe Code Guidelines	39	3463	July 24, 2020
Role of UB / uninitialized memory Unsafe Code Guidelines	77	10590	January 9, 2018
Types as Contracts: Implementation and Evaluation Unsafe Code Guidelines	19	3471	September 29, 2017