pragma safe cannot be specified for operators
IMHO, both return statements in the following example actually should work:
noinline
int{m} ** ( int n) | _eq_SxS_(m, n)
{
return _add_SxS_(n,1);
}
noinline
int{m} *** ( int n, int o) | _eq_SxS_(m, n)
{
return _add_SxS_(n,o);
}
int main()
{
// return ** 42 #pragma safe;
return 22 *** 42 #pragma safe;
}
Instead, sac2c 2.0.0-Tintigny-136-g7a4cd
complains about syntax errors.