REFERENCE
use-of-uninitialized
Default severity: error · Identifier: weavec::use-of-uninitialized
What it means
Section titled “What it means”A pointer variable, or a pointer field of a record variable, declared without an initialiser is read, dereferenced, copied or released before it is assigned (RFC 0008): use of '<p>' before it was initialized (also '<s>.f'). Note: '<p>' is declared here. Any assignment, a callee’s store (init(&p)), a mutable borrow for a call, memset or a whole-object write initialises it; static and address-taken variables are not tracked.
How to resolve it
Section titled “How to resolve it”Initialize the pointer or record field on every path before reading it. A declaration alone does not establish a value. For checked heap reads, initialize the required bytes too: allocating storage does not initialize its contents.