4 =$% optimized to fiBINT_EQ A call to = from an abstract type gets inlined at -q2 to fiBINT_EQ ( in other instances it gets inlined to (FiPtr) equality ) We found (by grepping C code) 94 instances of this bug in libalgebra! No workaround except compiling the whole library at -q1 no 1 /aldor.org/website/bugs/bugreport_4/opteqbug.as aldor -q2 -fc opteqbug.as 1.0.2 Manuel.Bronstein@sophia.inria.fr yes no no no no Q2 no no