C. List of undefined behavior¶

C:1 The following sections of the Ferrocene Language Specification document undefined behavior:

• ABI (in FFI)

• Assembly Instructions (in Inline Assembly)

• Assembly Options (in Inline Assembly)

• Attribute target_feature (in Attributes)

• Attribute track_caller (in Attributes)

• Bool Type (in Types and Traits)

• Call Expressions (in Expressions)

• Char Type (in Types and Traits)

• Concurrency (in Concurrency)

• Dereference Expression (in Expressions)

• Enum Types (in Types and Traits)

• Field Access Expressions (in Expressions)

• Function Pointer Types (in Types and Traits)

• Never Type (in Types and Traits)

• Record Struct Patterns (in Patterns)

• Reference Types (in Types and Traits)

• References (in Ownership and Destruction)

• Registers (in Inline Assembly)

• Statics (in Values)

• Str Type (in Types and Traits)

• Values (in Values)