A bug was identified in FDPR-Pro which may cause it to fail during the instrumentation when using the -imullX switch. For example, the following line will cause FDPR-Pro to fail with assertion if an integer multiply is found in the code: $ fdprpro -a instr -imullX <prog>
The failure occurs in versions 5.4.0.19 and 5.4.0.20 (which just came out). We plan to release a fix ASAP.