Skip to content

Function return type with bounds-safe interface is not properly checked in checked scope #302

@wonsubkim

Description

@wonsubkim

While testing calloc/malloc header file, unexpected errors happen

In checked scope, function having return type, that is unchecked pointer type with bounds-safe interface, is not properly checked in checked scope.
Since it has proper bounds-safe interface, it SHOULD be considered as checked pointer type but compiler generates an error for this

void * calloc(size_t nmemb, size_t size) : byte_count(nmemb * size);
array_ptr<ptr<node_t>> retval : count(size) = calloc(size, sizeof(ptr<node_t>));

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