Actions
Feature #1886
closedFunction pointer calls if there's only one potential function to call is required
Start date:
10/08/2011
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
BLAST had some support for function pointer calls, and it may be turned on with -fp option. However, it didn't work.
I turned it back on, and fixed post- and precondition for such pointer function calls. However, I stumbled into two issues:
- Handling of Return-s from called-by-pointer functions is buggy. It prints an exception.
- Function pointers that may be distpatched to several functions can't be verified correctly because pointer inequality problem. See bug #327 and the test source:tests/files/callfpointer_distpatch.c
I think, at least the first issue should be fixed prior to the competition.
Actions