Skip to content

bounds check failure in trans (again) #811

@eholk

Description

@eholk

This snippet of code fails to compile due to a bounds check failure in trans. In my version, it's at line 998. It's the some(id) alt case in get_tydesc.

fn test00_start(ch: chan_t[int], message: int) {
    send(ch, message);
}

chan_t is defined as follows, where task_id and port_id are both typedefed to be ints.

type chan_t[~T] = {
    task : task_id,
    port : port_id
};

send has the following signature:

fn send[~T](ch : chan_t[T], data : -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