Inlining and copy-elision

Consider the code

=====
struct T {};

inline void g(T const& p)
{
    T q(p);
}

int main()
{
    g(T());
}
=====

If the function g() is not inlined, the copy construction of q may not
be elided, because the temporary passed to g() is bound to a reference
(p).

What happens if g() is inlined? Since p is only used once in g(), the
compiler might eliminate the p parameter altogether. Is the compiler
allowed to elide the copy construction of q and instead
value-initialize q directly?

 
____________________________________________________________________________________
Need Mail bonding?
Go to the Yahoo! Mail Q&A for great tips from Yahoo! Answers users.
http://answers.yahoo.com/dir/?link=list&sid=396546091

---
[ comp.std.c++ is moderated. To submit articles, try just posting with ]
[ your news-reader. If that fails, use mailto:std-c++@ncar.ucar.edu ]
[ --- Please see the FAQ before posting. --- ]
[ FAQ: http://www.comeaucomputing.com/csc/faq.html ]