Type inference system is confused on sac/apex/sdyn4/sdyn4.sac
|
|
Bugzilla Link |
641 |
Created on |
Dec 27, 2009 22:17 |
Resolution |
FIXED |
Resolved on |
Jan 04, 2010 21:43 |
Version |
svn |
OS |
Linux |
Architecture |
PC |
Extended Description
This appears to be new post-Loch Ness or perhaps an artifact of
the new integer types.
With Build #16693, I get:
** 6: Running type inference system ...
**** Enforcing Specializations ...
**** Running type inference system ...
ABORT: line 583 file: sdyn4.sac
ABORT: No definition found for a function "_MAIN::orBBB" that accepts an
ABORT: argument of type "bool" as parameter no 1. Full argument types are
ABORT: "( bool, bool[*])".
*** Compilation failed ***
*** Exit code 42 (Running type inference system)
*** 1 Error(s), 0 Warning(s)
apex@rattler:~/apex2003/benchmks/sdyn4$ grep orBBB sdyn4.sac
inline bool[+] orBBB(bool[+] x, bool[+] y)
sx = DSFLenErrorCheck(shape(x), shape(y),tochar("orBBB(bool[+],bool[+]"));
} : orBBB(xel,yel);
} : foldfix( orBBB, toB(0), toB(1));
inline bool orBBB(bool x, bool y)
inline bool[+] orBBB(bool x, bool[+] y)
} : orBBB(xel,yel);
inline bool[+] orBBB(bool[+] x, bool y)
} : orBBB(xel,yel);
A_111=orBBB(A_110,A_105);
apex@rattler:~/apex2003/benchmks/sdyn4$ sac2c sdyn4.sac -v4