Why a Dependable C?
Summary
Dependable C advocates a portable, dependable subset of C focused on avoiding undefined behavior. The piece explains the memory model, effective types, and the as-if rule, and provides practical guidance to reduce UB, avoid risky practices, and prefer clear initialization and memory handling. It also discusses when UB is acceptable and how compilers optimize code under observable behavior constraints.