You’re reading a draft of the Ferrocene Language Specification. Some parts of this document might be missing, incomplete or incorrect. Our aim is to have the specification ready by the end of 2022.
7:3 Both values are the same, or
7:8 It is undefined behavior to create a value from uninitialized memory.
ConstantDeclaration::= const (
const ZERO: u32 = 0;
StaticDeclaration::= static mut?
static mut GLOBAL: u32 = 0;
7.4:5 A variable shall be used only after it has been initialized through all reachable control flow paths.
7.4:6 A variable is not initialized when allocated.
7.4.1. Constant Promotion¶
7.4.1:2 Constant promotion is possible only when
7.4.1:6 The value expression only consists of operations that will always succeed evaluation, and
7.4.1:9 Constant promotion proceeds as follows: