Joel Falcou wrote:

Joel Falcou a écrit :

...

I have a expression who use BOOST_PROTO_EXTEND to be used as a POD type and I have a class inheriting from this expression to build a terminal class.

... Is it a proto bug or a std bug ?

OK seems I found the error myself. I was using

bp::nary_expr< bp::_, bp::vararg >

as a rule in my_grammar, which obviously caught tag::address_of.

Is it correct for matching any nary_expr *except* address_of : bp::nary_expr< bp::not_pt::address_of, bp::vararg >

or is there a better way if I want to prevent a subset of tag to be used ?

Right, as you've discovered, Proto overloads unary operator& by default, but you can turn it off in your domain's grammar. The grammar you suggested won't do it, though. Try this: proto::and_< proto::nary_expr<_, proto::vararg > , proto::not_< proto::address_of<_> >

HTH, -- Eric Niebler BoostPro Computing http://www.boostpro.com

Joel Falcou wrote:

Eric Niebler a écrit :

...

Right, as you've discovered, Proto overloads unary operator& by default, but you can turn it off in your domain's grammar. The grammar you suggested won't do it, though. Try this:

proto::and_< proto::nary_expr<_, proto::vararg > , proto::not_< proto::address_of<_> >

...

Works for GCC but ICC don't want to compile any operator (+,_, or w/e) ICC version for reference : version 10.1 for Linux

Please post the code that reproduces the error. I'll try to get ICC set up on my Linux box. -- Eric Niebler BoostPro Computing http://www.boostpro.com

Joel Falcou wrote:

Eric Niebler a écrit :

...

Please post the code that reproduces the error. I'll try to get ICC set up on my Linux box.

Here is a stripped down code that exhibits the bug (see attached file)

Command-line invocation is inside the main.cpp

Looks like the intel compiler has a bug with ADL. You can work around it by changing the definition of cmplx to this: template struct cmplx ... Note the extra Dummy template parameter, which will cause ADL to find the operators defined in Proto's namespace. HTH, -- Eric Niebler BoostPro Computing www.boostpro.com

Joel Falcou wrote:

Eric Niebler a écrit :

...

Looks like the intel compiler has a bug with ADL. You can work around it by changing the definition of cmplx to this:

template struct cmplx ...

Note the extra Dummy template parameter, which will cause ADL to find the operators defined in Proto's namespace.

Perfect as usual :) This did the trick. I'll propagate this fix to all my terminal entity then. Should I report this to Intel bug system however ?

You should, if you (or someone) can confirm it happens on Intel 11.0 also. Here is a simple repro: namespace N { struct S {}; template void operator+(T const &, U const &) {} } template<class T> struct X {}; struct Y : X {}; int main() { Y y; y+y; } The above code compiles with gcc but doesn't with Intel 10.1 -- Eric Niebler BoostPro Computing www.boostpro.com

Eric Niebler a écrit :

Hmm, comeau online rejects this code, too. (Not too surprising, I think Intel uses the comeau front end.) It's possible this is a gcc bug, not an Intel bug. When I have some time, I'll dive into the standard and see what it says about this case.

I'll d/l ICC 11 as soon as possible and see how it fares. Even if it's a gcc bug, can't we enforce the Dummy technique as *the* way to define proto extension ? -- ___________________________________________ Joel Falcou - Assistant Professor PARALL Team - LRI - Universite Paris Sud XI Tel : (+33)1 69 15 66 35

You should, if you (or someone) can confirm it happens on Intel 11.0 also. Here is a simple repro:

namespace N { struct S {}; template void operator+(T const &, U const &) {} }

template<class T> struct X {}; struct Y : X {};

int main() { Y y; y+y; }

The above code compiles with gcc but doesn't with Intel 10.1

Intel 11.0 (Windows): t.cpp t.cpp(13): error: no operator "+" matches these operands operand types are: Y + Y y+y; ^ Regards Hartmut

Eric Niebler a écrit :

Thanks Hartmut. I checked the standard, and this appears to be correct behavior. That means that gcc's ADL is overeager. I've filed the bug here:

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38242

FYI, ICC 11 Linux report same behavior Well, now another bugs of mine makes more sense. I had a similar overeager ADL using mpl types as template parameters. When I added a size function, compiler get confused between my size and mpl::size. -- ___________________________________________ Joel Falcou - Assistant Professor PARALL Team - LRI - Universite Paris Sud XI Tel : (+33)1 69 15 66 35