Opened 2 months ago

#267 new defect

Expression candidate elimination with unsatisfiable assertion

Reported by: f37yu Owned by:
Priority: major Component: cfa-cc
Version: 1.0 Keywords:
Cc:

Description

Reproduction:

int * g (int ) ;
long * g (long );

void h (long *);

forall (T * | {void h (T *); })
void f (T *);


int main() {
f(g(1));
}

Expected: calls g(long)
Actual: Attempts to resolve as g(int) and prints unsatisfiable assertion error. g(long) option is ignored.

Change History (0)

Note: See TracTickets for help on using tickets.