Fix spacing.

llvm-svn: 91386

Ensure we preserve line information for each trap for
-fcatch-undefined-behavior if we aren't optimizing. WIP.

llvm-svn: 91382

Switch codegen for -fcatch-undefined-bahavior over to __builtin_trap
instead of abort to improve codesize and codegen.

llvm-svn: 91374

We have to allow one to form an address for one past the end. WIP.

llvm-svn: 91347

Simplifiy.

llvm-svn: 91324

Implement runtime checks for undefined behavior. WIP.

This implements a new flag -fcatch-undefined-behavior. The flag turns
on additional runtime checks for:

T a[I];

a[i] abort when i < 0

Implement runtime checks for undefined behavior. WIP.

This implements a new flag -fcatch-undefined-behavior. The flag turns
on additional runtime checks for:

T a[I];

a[i] abort when i < 0 or i >= I.

Future stuff includes shifts by >= bitwidth amounts.

llvm-svn: 91198

show more ...

Move the code for converting a member pointer to a bool so that it is usable
for logical not.

llvm-svn: 91112

When extending the lifetime of a temporary, make sure to emit a branch to the cleanup exit block. This fixes a broken module error in LLVMCConfigurationEmitter.cpp.

llvm-svn: 91086

Code gen for ObjCIsaExpr AST used as lvalue.
(fixes radar 7457534).

llvm-svn: 90995

Add cleanups for exceptional edges. WIP.

llvm-svn: 90940

Fix some direct checks of expressions which might be surrounded by parentheses.

llvm-svn: 90825

Make the comma operator consistently call EnsureInsertPoint.

llvm-svn: 90799

use new helpers to simplify code.

llvm-svn: 90709

Make EmitStoreOfScalar generate a more sane representation of boolean stores.
"Fixes" PR5645.

llvm-svn: 90272

Don't pass false (default) for isVolatile parameter to CreateLoad.

llvm-svn: 90098

Implement IRGen for MemberExpr referring to static member function.

llvm-svn: 89938

Eliminate CXXConditionDeclExpr with extreme prejudice.

All statements that involve conditions can now hold on to a separate
condition declaration (a VarDecl), and will use a DeclRefExpr
referring to

Eliminate CXXConditionDeclExpr with extreme prejudice.

All statements that involve conditions can now hold on to a separate
condition declaration (a VarDecl), and will use a DeclRefExpr
referring to that VarDecl for the condition expression. ForStmts now
have such a VarDecl (I'd missed those in previous commits).

Also, since this change reworks the Action interface for
if/while/switch/for, use FullExprArg for the full expressions in those
expressions, to ensure that we're emitting

Note that we are (still) not generating the right cleanups for
condition variables in for statements. That will be a follow-on
commit.

llvm-svn: 89817

show more ...

Rename CleanupScope -> DelayedCleanupBlock. No functionality change.

llvm-svn: 89769

Handle base-to-derived casts. Will land test case shortly.

llvm-svn: 89678

Clean up EmitPointerToDataMemberBinaryExpr a bit.

llvm-svn: 89197

More const is always good.

llvm-svn: 89033

Implement most of dynamic_cast. WIP.

llvm-svn: 88901

Some minor cleanup for EmitCastLValue.

llvm-svn: 88894

Implement typeid for class types.

llvm-svn: 88843

Handle CK_BitCast in EmitCastLValue.

llvm-svn: 88810