Skip to content

CheriBoundAllocas pass should insert bounds between lifetime start/end intrinsics #195

@resistor

Description

@resistor

Today the CheriBoundAllocas pass inserts bounds setting instructions between an AllocaInst and its lifetime markers. This is incompatible with new upstream behavior, insists lifetime intrinsics can only take AllocaInst's as arguments. This should be fixable by updating CheriBoundAllocas to insert the bounds-setting intrinsics between the lifetime start/end intrinsics instead.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions