5 Commits

Author	SHA1	Message	Date
Hal Finkel	a2347baaec	Mark C++ reference parameters as dereferenceable ... Because references must be initialized using some evaluated expression, they must point to something, and a callee can assume the reference parameter is dereferenceable. Taking advantage of a new attribute just added to LLVM, mark them as such. Because dereferenceability in addrspace(0) implies nonnull in the backend, we don't need both attributes. However, we need to know the size of the object to use the dereferenceable attribute, so for incomplete types we still emit only nonnull. llvm-svn: 213386	2014-07-18 15:52:10 +00:00
Nick Lewycky	9b46eb8112	Add 'nonnull' parameter or return attribute when producing an llvm pointer type in a function type where the C++ type is a reference. Update the tests. ... llvm-svn: 209723	2014-05-28 09:56:42 +00:00
Stephen Lin	4362261b00	CHECK-LABEL-ify some code gen tests to improve diagnostic experience when tests fail. ... llvm-svn: 188447	2013-08-15 06:47:53 +00:00
John McCall	a2342eb857	Fix a bug in the emission of __real/__imag l-values on scalar operands. ... Fix a bug in the emission of complex compound assignment l-values. Introduce a method to emit an expression whose value isn't relevant. Make that method evaluate its operand as an l-value if it is one. Fixes our volatile compliance in C++. llvm-svn: 120931	2010-12-05 02:00:02 +00:00
John McCall	8d75243029	Expression statements undergo lvalue-to-rvalue conversion in C, ... but not in C++, so don't emit aggregate loads of volatile references in null context in C++. Happens to have been caught by an assertion. We do not get the scalar case right. Volatiles are really broken. llvm-svn: 112019	2010-08-25 02:50:31 +00:00