Warn when --malloc-may-fail has no effect#6657

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:feature/warn-malloc-optionstautschnig/cbmc:feature/warn-malloc-optionsCopy head branch name to clipboard