Opened 3 years ago

#104 new defect

Tuple assertion generate bad C code

Reported by: Thierry Delisle Owned by:
Priority: major Component: cfa-cc
Version: 1.0 Keywords: tuples
Cc:

Description

CFA-CPP produces bad C code from this cfa code:

[ float, float ] modf_( float x );

forall(otype T | { [T, T] modf_(T); })
void modf(T);

int main() {
    modf(7.0f);
}

Change History (0)

Note: See TracTickets for help on using tickets.