bytecode *bc = bc_new_common(BC_INCBIN, sizeof(bytecode_incbin));
bytecode_incbin *incbin = bc_get_data(bc);
+ /*@-mustfree@*/
incbin->filename = filename;
incbin->start = start;
incbin->maxlen = maxlen;
+ /*@=mustfree@*/
return bc;
}
if (!bc)
return;
+ /*@-branchstate@*/
switch (bc->type) {
case BC_EMPTY:
break;
InternalError(_("Unknown bytecode type"));
break;
}
+ /*@=branchstate@*/
expr_delete(bc->multiple);
xfree(bc);
/*@only@*/ bytecode *bc_new_common(bytecode_type type, size_t datasize);
/*@only@*/ bytecode *bc_new_data(datavalhead *datahead, unsigned char size);
-/*@only@*/ bytecode *bc_new_reserve(/*@keep@*/ expr *numitems,
+/*@only@*/ bytecode *bc_new_reserve(/*@only@*/ expr *numitems,
unsigned char itemsize);
/*@only@*/ bytecode *bc_new_incbin(/*@only@*/ char *filename,
/*@only@*/ /*@null@*/ expr *start,
bytecode *bc = bc_new_common(BC_INCBIN, sizeof(bytecode_incbin));
bytecode_incbin *incbin = bc_get_data(bc);
+ /*@-mustfree@*/
incbin->filename = filename;
incbin->start = start;
incbin->maxlen = maxlen;
+ /*@=mustfree@*/
return bc;
}
if (!bc)
return;
+ /*@-branchstate@*/
switch (bc->type) {
case BC_EMPTY:
break;
InternalError(_("Unknown bytecode type"));
break;
}
+ /*@=branchstate@*/
expr_delete(bc->multiple);
xfree(bc);
/*@only@*/ bytecode *bc_new_common(bytecode_type type, size_t datasize);
/*@only@*/ bytecode *bc_new_data(datavalhead *datahead, unsigned char size);
-/*@only@*/ bytecode *bc_new_reserve(/*@keep@*/ expr *numitems,
+/*@only@*/ bytecode *bc_new_reserve(/*@only@*/ expr *numitems,
unsigned char itemsize);
/*@only@*/ bytecode *bc_new_incbin(/*@only@*/ char *filename,
/*@only@*/ /*@null@*/ expr *start,