Module uninitialized_local 

Structs

Checker 🔒

Statics

UNINITIALIZED_LOCAL

Functions

defaulted_counter_loop 🔒

The loop statement of a conventional for (uint i; i < n; i++) header whose counter relies on its implicit zero. The header lowers to { decl; loop { if cond { body } else break } } with the update on the loop source; matching the wrapper’s span keeps declarations outside the header distinct.