Skip to content

Update ensure_byte_buf_has_allocated_buffer_member to include primary allocation #737

Description

@adpaco

Update ensure_byte_buf_has_allocated_buffer_member to include primary allocation so that the code

struct aws_byte_buf *buf1 = malloc(sizeof(*buf1));

ensure_byte_buf_has_allocated_buffer_member(buf1);

can be replaced by

struct aws_byte_buf *buf1 = ensure_byte_buf_has_allocated_buffer_member(buf1);

Metadata

Metadata

Assignees

No one assigned

    Labels

    cbmcAnything related to CBMC proofs.feature-requestA feature should be added or improved.p3This is a minor priority issue

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions