llvm-svn: 127869

Issue this as an IR-gen error;  it's not really worthwhile doing this
"right", i.e. in Sema, because IR gen knows a lot of tricks beyond
what the constant evaluator knows.

llvm-svn: 127854

llvm-svn: 127768

make sure that upcasts of member pointer types are covered as constants.
Fixed rdar://problem/9130221

llvm-svn: 127702

trivial to check this.  Adjust for style.

llvm-svn: 127151

allocation and therefore requires a null-check.  We were doing that, but
we weren't treating the new-initializer as being conditionally executed,
which means it was possible to get ill-formed IR as in PR9298.

llvm-svn: 127147

llvm-svn: 127121

llvm-svn: 127077

llvm-svn: 127076

computing for a nested decl with explicit visibility.  This is all part
of the general philosophy of explicit visibility attributes, where
any information that was obviously available at the attribute site
should probably be ignored.  Fixes PR9371.

llvm-svn: 126992

llvm-svn: 126599

loading references as part of that.  Use 'char' TBAA when accessing
(immediate!) fields of a may_alias struct;  fixes PR9307.

llvm-svn: 126540

necessarily enclose the innermost normal cleanup depth, because
the top of the jump scope stack might be an EH cleanup or EH scope.
Fixes PR9303.

llvm-svn: 126472

llvm-svn: 126246

llvm-svn: 126140

for ?: on record types.

llvm-svn: 126113

for consistency with other tests (and to remove "scalar" from the name).

llvm-svn: 126104

attribute, we also care about those with the "constructor"
attribute. Fixes PR6521.

llvm-svn: 126055

llvm-svn: 126037

without defining them.  This should be an error, but I'm paranoid about
"uses" that end up not actually requiring a definition.  I'll revisit later.

Also, teach IR generation to not set internal linkage on variable
declarations, just for safety's sake.  Doing so produces an invalid module
if the variable is not ultimately defined.

Also, fix several places in the test suite where we were using internal
functions without definitions.

llvm-svn: 126016

class and to bind the shared value using OpaqueValueExpr.  This fixes an
unnoticed problem with deserialization of these expressions where the
deserialized form would lose the vital pointer-equality trait;  or rather,
it fixes it because this patch also does the right thing for deserializing
OVEs.

Change OVEs to not be a "temporary object" in the sense that copy elision is
permitted.

This new representation is not totally unawkward to work with, but I think
that's really part and parcel with the semantics we're modelling here.  In
particular, it's much easier to fix things like the copy elision bug and to
make the CFG look right.

I've tried to update the analyzer to deal with this in at least some          
obvious cases, and I think we get a much better CFG out, but the printing
of OpaqueValueExprs probably needs some work.

llvm-svn: 125744

llvm-svn: 125694

llvm-svn: 125661

ends up in the text segment. // rdar://8825235.

llvm-svn: 125585

"used". Fixes <rdar://problem/8684363>.

llvm-svn: 125579

a zero constant for a complete class.  rdar://problem/8424975

To make this happen, track the field indexes for virtual bases
in the complete object.  I'm curious whether we might be better
off making CGRecordLayoutBuilder *much* more reliant on
ASTRecordLayout;  we're currently duplicating an awful lot of the ABI
layout logic.

llvm-svn: 125555

destruction in the destructor-aliases logic.  Fixes PR 9197.

llvm-svn: 125447

and we later find the definition, make sure that we add the definition
(not the declaration) to the list of deferred definitions to
emit. Fixes PR8864.

Thanks to Nick Lewycky for testing this	patch out

llvm-svn: 125157

mutable fields and with trivial destructors and copy constructors.

llvm-svn: 125073

llvm-svn: 125021

llvm-svn: 124988

Fix self-host; if a thunk already exists and has available_externally linkage, we should change its linkage instead of asserting.

llvm-svn: 124986

When building with optimizations, emit thunks with available_externally linkage so devirtualized function calls can also be de-thunked.

llvm-svn: 124984

won't assert when building a thunk for an implicit virtual member function that is not marked used.

llvm-svn: 124967

We now emit everything except unused implicit virtual member functions when building the vtable.

llvm-svn: 124935

abi.

llvm-svn: 124834

llvm-svn: 124781

This reopens PR99114, but that one at least can be avoided with an #include.
PR9130 cannot.

llvm-svn: 124780

is not defined in the current translation unit. Doing so lead to compile errors
such as PR9114.

Instead, when CodeGen is building the vtable, don't try to emit a definition
for functions that aren't marked used in the current translation unit.
Fixes PR9114.

llvm-svn: 124768

llvm-svn: 124757