This means that an instruction defining an S register will affect the domain of
the parent D register.

llvm-svn: 107725

oops!

llvm-svn: 107724

llvm-svn: 107723

Add a new path-sensitive checker for functions in <string.h>, for both null-terminated strings and memory blocks. Currently only checks memcpy(), memmove(), and bcopy(), but this is intended to be expanded soon.

llvm-svn: 107722

llvm-svn: 107721

llvm-svn: 107720

llvm-svn: 107719

interface so everybody does it the same way.  Add an "exact" lookup for internal uses.

Fix up a few little cases where we weren't reporting command lookup errors correctly.

Added "b" as an alias for "breakpoint" so it doesn't collide with "bt".

llvm-svn: 107718

llvm-svn: 107717

llvm-svn: 107716

Update VEX encoding to support those new instructions

llvm-svn: 107715

SelectBasicBlock doesn't needs its BasicBlock argument.

llvm-svn: 107712

llvm-svn: 107710

llvm-svn: 107709

Added a path-sensitive idempotent operation checker (-analyzer-idempotent-operation). Finds idempotent and/or tautological operations in a path sensitive context, flagging operations that have no effect or a predictable effect.

Example:
{
int a = 1;
int b = 5;
int c = b / a; // a is 1 on all paths
}

- New IdempotentOperationChecker class
- Moved recursive Stmt functions in r107675 to IdempotentOperationChecker
- Minor refactoring of SVal to allow checking for any integer
- Added command line option for check
- Added basic test cases

llvm-svn: 107706

llvm-svn: 107701

llvm-svn: 107700

llvm-svn: 107699

llvm-svn: 107698

llvm-svn: 107697

llvm-svn: 107696

It is OK for an alias live range to overlap if there is a copy to or from the
physical register. CoalescerPair can work out if the copy is coalescable
independently of the alias.

This means that we can join with the actual destination interval instead of
using the getOrigDstReg() hack. It is no longer necessary to merge clobber
ranges into subregisters.

llvm-svn: 107695

llvm-svn: 107694

function prototype (from Jean-Daniel Dupas).

llvm-svn: 107693

llvm-svn: 107692

the block before calling the expansion hook. And don't
put EFLAGS in a mbb's live-in list twice.

llvm-svn: 107691

AST during the instantiation. Fixes PR7417!

llvm-svn: 107690

Patch from Roman Divacky.

llvm-svn: 107688

into IRBuilder.

llvm-svn: 107687

TagDecl subclasses when out-of-line template declaration information
is available, from Peter Collingbourne!

llvm-svn: 107686

Binary Interface specification.

llvm-svn: 107685

llvm-svn: 107684

and give a more precise return type for some of the type-creation methods.

llvm-svn: 107683

template specialization, from Peter Collingbourne.

llvm-svn: 107682

declarations when implicitly declaring the default constructor, copy
constructor, destructor, and copy-assignment operators of a
class. Argiris fixed the underlying problem in r107596.

llvm-svn: 107681

llvm-svn: 107680

uninitialized (which doesn't seem to be the case), by giving
them arbitrary initial values.

llvm-svn: 107679

llvm-svn: 107678

an IRBuilder.

llvm-svn: 107677

block before deleting it.  Fixes PR7575.

This really just a short-term fix before implementing lazy cleanups.

llvm-svn: 107676