REFERENCE
double-free
Default severity: error · Identifier: weavec::double-free
What it means
Section titled “What it means”A pointer (or any alias of it) is passed to free twice without reassignment. Note: previously freed here [(through '<q>')]. Two share releases of one name (RFC 0010): '<p>' is released twice, note previously released here.
How to resolve it
Section titled “How to resolve it”Give each allocation one clear cleanup path. After ownership transfer, let the new owner release it. On error paths, track whether ownership actually transferred before local cleanup. Reference-counted objects need one release per acquired share.