Skip to content

Parse bounds declarations for function return values. #21

Closed
@secure-sw-dev-bot

Description

@secure-sw-dev-bot

This issue was copied from checkedc/checkedc-clang#21


This extends parsing of function declarators to parse bounds expressions for
function return values. A return bounds expression is declared by following
a parameter list with ':' bounds-expression.

The return bounds information is propagated to the representation of function
declarations in clang. It is not propagated yet to function types because
there is no way to represent it in function types. I have opened issue #20
to track that and added a few TODO's to the code flagging where the
information will need to be added.

Testing:

  • Add feature tests for parsing return bounds. The tests are in
    the file return_bounds.c, which will be committed separately to the checkedc
    Github repo.
  • Passes existing clang regression test baseline.

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