status changed; resolution set

Eric Niebler — Mon, 19 Mar 2012 22:17:24 GMT

status new → closed
resolution → invalid

Warning 2536 is certainly wrong. By const-qualifying temporary expressions, I guarantee that they can be bound to arguments of function templates that are non-const references; that is, in the code below, the type T is deduced to be S const.

struct S {};
S const make_S() { return S(); }
template<typename T> void fun(T & t) {}
int main() {
  fun(make_S());
}

Had make_S not returned a const-qualified value, it could not have been passed to fun. Proto uses this trick to eliminate superflous overloads.

As for warning 411, there is no problem I know of with putting references in structs and initializing them with aggregate initialization instead of with constructors. In fact, adding a constructor to Proto's expression types would make them non-POD, voiding any guarantees about static construction.

If you can tell me how to push/pop/disable warnings (like msvc), I can see about cleaning up the spew. Otherwise, we're just going to have to live with it. :-(

Closing as invalid for now.

Mathias Gaunard — Tue, 20 Mar 2012 00:13:15 GMT

I believe icc supports the same syntax as msvc to disable warnings. I'll try to make a patch.

Boost C++ Libraries: Ticket #6502: Many warnings when using Intel compiler

status changed; resolution set