Ignore undef uses.

llvm-svn: 76799

Add AssumeDual method.

llvm-svn: 76798

Migrate the path-sensitive checking of 'nonnull' arguments over to the new
'Checker' interface. An updated test case illustrates that after calling a
function with the 'nonnull' attribute we now register the fact that the passed
pointer must be non-null. This retention of information was not possible with
the previously used GRSimpleAPICheck interface.

llvm-svn: 76797

Fix the parsing of default arguments for inline member function
definitions.

I'm not very familiar with this code, so please review.

llvm-svn: 76796

Make 'SaveAndRestore' and friends reusable classes in libAnalysis.

llvm-svn: 76795

Add support for registering 'Checker' objects with GRExprEngine.
Add a 'previsit' stage (that dispatches to registered Checkers) when evaluating the effects of CallExprs.

llvm-svn: 76794

Add new 'Checker' and 'CheckerVisitor' classes, which represent a more powerful
interface to plug in domain-specific checker logic than the current
GRSimpleAPICheck interface. The new 'Checker' interface can actually generate
new nodes, allowing it to modify the state and refine the analysis (which
GRSimpleAPIChecks could not).

llvm-svn: 76793

Add support for 'PreStmt' program points to GRCoreEngine and GRStmtNodeBuilder.

llvm-svn: 76792

Add 'PreStmt' program point. This will be used to represent checking for
preconditions (in GRExprEngine) before the statement itself is evaluated.

llvm-svn: 76791

Implement operator= for ExplodedNodeSet.

llvm-svn: 76790

Switch some clients to Value::getName(), and other getName() user
simplification.
 - NFC

llvm-svn: 76789

Fix the problems with template argument deduction and array types for
real. It turns out that we need to actually move all of the qualifiers
up to the array type itself, then recanonicalize the deduced template
argument type.

llvm-svn: 76788

Fix indentation.

llvm-svn: 76787

Simplify some uses of Value::getName()

llvm-svn: 76786

Define npos in a way that should make MSVC happier.

llvm-svn: 76785

Make -Wreturn-type be part of -Wmost and therefore -Wall.

llvm-svn: 76784

Fix some memory allocation/deallocation issues

llvm-svn: 76783

Remove unnecessary store to temporary std::string.

llvm-svn: 76782

Put comment printing under asm-verbose.

llvm-svn: 76780

Fix a nasty little use-after-free bug.

llvm-svn: 76779

Fix indentation.

llvm-svn: 76778

Canonicalize the types produced by template argument deduction.

llvm-svn: 76777

Improved on performance of the algorithm for proper ordering of
ctor's initialization of bases and fields.

llvm-svn: 76776

Make some changes suggested by Bill and Evan.

llvm-svn: 76775

Slighty more testing for template argument deduction with array arguments

llvm-svn: 76774

Improve template argument deduction for array types, so that a parameter

  const T

can be matched with, e.g.,

  volatile int [5]

llvm-svn: 76773

Prep for new warning.

llvm-svn: 76772

Use isa instead of dyn_cast for conditionals.

llvm-svn: 76771

Use DICompositeType->replaceAllUsesWith().

This requires llvm rev. 76769 or higher.

llvm-svn: 76770

Fix thinko.

llvm-svn: 76769

Added -b option to override the default bitcode output file name.

llvm-svn: 76768

Use isa<> instead of dyn_cast<>.

llvm-svn: 76767

"This patch implements the restrictions on union members detailed in
[class.union]p1", from John McCall!

llvm-svn: 76766

Add replaceAllUsesWith() to FE replace debug info constructs while building complex types.

llvm-svn: 76765

Do not print "metadata" twice while printing MDString.
This fixes unittest failure.

llvm-svn: 76764

Remove empty test.

llvm-svn: 76763

Eliminate a redudant check Eli pointed out.

llvm-svn: 76762

Fixed build warning. No functionality change.

llvm-svn: 76761

Move bug reporter "visitors" to their own file and make them part of the public
BugReporter API.  No real functionality change.

llvm-svn: 76760

Introduce MetadataBase, a base class for MDString and MDNode.
Derive MDString directly from MetadataBase.
Introduce new bitcode block to hold metadata.

llvm-svn: 76759

Allocate BaseOrMemberInitializers and CXXBaseSpecifier nodes
via ASTContext.

llvm-svn: 76758

Implement parsing and semantic analysis for out-of-line definitions of static
data members of class templates. We don't instantiate the definitions yet,
however.

llvm-svn: 76756

Fix a couple recent ABI regressions noticed during code review (fallout from the ObjC type system rewrite).

It's unfortunate that the mangling includes the low-level structs. Nevertheless, we need this for binary compatibility with GCC.

llvm-svn: 76755

Support writing a StringRef to a raw_ostream directly.

llvm-svn: 76754

Switch some functions from using x86 builtins to using vector
operations.

llvm-svn: 76753

Add some documentation, to make it so the next person doens't select
the wrong function.  :-)

llvm-svn: 76752

fix some wording problems Daniel pointed out, make a example actually real.

llvm-svn: 76751

doxygenify

llvm-svn: 76750

fix typo noticed by Duncan

llvm-svn: 76747

cast signed APInt constructor params to uint64_t to suppress signedness warning

llvm-svn: 76744

Fix <rdar://problem/6770276> Support Class<Proto> syntax.

llvm-svn: 76741

Test template instantiation for member functions of class templates defined
out of line.

llvm-svn: 76740

Add newline at end of file.

llvm-svn: 76736

Thread local globals don't require special handling by the linker and so can
be placed in the standard data / bss sections.

llvm-svn: 76735

Remove a comment that was copy+pasted from the wrong place,
there is no MachineFunction here.

llvm-svn: 76734

Revert commit 76707, it was breaking the llvm-gcc build
on linux platforms.  The binutils assembler does not
recognize the "s" flag, see for example
http://sourceware.org/binutils/docs/as/Section.html

llvm-svn: 76733

Don't give a massive inlining cost bonus to available_externally
functions with a single use; eliminating the single use may eliminate
the function from the current module, but usually doesn't eliminate
it from the final program.

llvm-svn: 76730

Don't forget D16 - D31 are clobbered by calls and sjlj eh.

llvm-svn: 76729

Add R12 to the list of registers clobbered by 16-bit Thumb calls as a pre-caution. r12 could be live once we have mixed 32-bit and 16-bit instructions.

llvm-svn: 76728

Fix a obvious copy-n-paste bug.

llvm-svn: 76727

Make vectorized floating-point comparisons work without crashing.

llvm-svn: 76726

Get rid one of the getRegisterNumbering. Also add D16 - D31.

llvm-svn: 76725

remove Bill from the author list: his contribution (describing llvm::Ostream
and friends) has been removed awhile ago.

llvm-svn: 76724

add some more topics to the coding standards doc:

* Use Early Exits and 'continue' to Simplify Code
* Turn Predicate Loops into Predicate Functions
* Spaces Before Parentheses
* Namespace Indentation
* Anonymous Namespaces

llvm-svn: 76723

Attempt to fix BuildBot breakage with MSVC.

llvm-svn: 76722

Restructure ProgramPoint to have the 'Kind' value be its own instance
variable.  This gives us much more flexibility with defining more
ProgramPoints, which is the direction we are heading.  The removal of
various bit-mangling of pointers also cleans up the logic.

llvm-svn: 76721

Temporarily disable most use of region casts in RegionStoreManager,
instead preferring to use the a region's actual type when creating
symbols and using the QualType passed to Retrieve for implicit
casting.  This preprocessor logic is temporary; eventually we will
either remove region casts or keep them.

Temporarily toggle (via preprocessor directives) that SymbolicRegions
with heap storage are not undefined, but instead should be
symbolicated.  If we want to model that a SymbolicRegion is
uninitialized, we can explicitly model that by binding UndefinedVal to
that region.  It turns out that we want to treat most heap objects as
being defined, not the other way around.

llvm-svn: 76720

Fix a crasher in StoreManager::InvalidateRegion() caused by using the
'cast type' of a region to invalidate its binding.  This only occurs
when using RegionStoreManager, as it records the cast type.  I'm
currently considering removing the notion of a cast type (see
comments in code).

llvm-svn: 76719

fix some formatting stuff, patch by Edward O'Callaghan!

llvm-svn: 76718

Preserve address space information through member accesses, e.g.,
   __attribute__((address_space(1))) struct {int arr[ 3 ]; }  *p1;
   ... = p1->arr[2];  // load from address space 1

llvm-svn: 76717

Remove an unneeded header.

llvm-svn: 76716

Remove intrinsic support for __builtin_ia32_vec_set_v16qi and
__builtin_ia32_vec_set_v4si as these should be lowered in the
front-end to inserts.

llvm-svn: 76714

Add support for MMX VSETCC.

llvm-svn: 76713

Added the unconditional JMP with an 8-bit relocation for the
assembler / disassembler.

llvm-svn: 76712

Add an entry.

llvm-svn: 76711

inline the two MergeableConstSection implementations into their
only caller.

llvm-svn: 76710

Prep for new warning.

llvm-svn: 76709

Minor mod. per Doug's comment.

llvm-svn: 76708

set the ELF "small" flag on objects that end up in .rodata.cst4 consistently,
updating a mips testcase to expect it.

llvm-svn: 76707

don't set the small flag yet.

llvm-svn: 76706

remove the SelectSectionForMachineConst hook, replacing it with
a new getSectionForMergableConstant hook.  This removes one dependence
of TAI on Type, and provides the hook with enough info to make the
right decision based on whether the global has relocations etc.

llvm-svn: 76705

Complain if we're entering the context of a dependent nested-name-specifier but
cannot match that nested-name-specifier to a class template or class template
partial specialization.

llvm-svn: 76704

Let each target determines whether a machine instruction is dead. If true, that allows late codeine passes to delete it.

This is considered a workaround. The problem is some targets are not modeling side effects correctly. PPC is apparently one of those. This patch allows ppc llvm-gcc to bootstrap on Darwin. Once we find out which instruction definitions are wrong, we can remove the PPCInstrInfo workaround.

llvm-svn: 76703

Get rid of the Pass+Context magic.

llvm-svn: 76702

reimplement Constant::ContainsRelocations as
Constant::getRelocationInfo(), which has a much simpler
to use API.  It still should not be part of libvmcore, but
is better than it was.  Also teach it to be smart about
hidden visibility.

llvm-svn: 76700

Misc. doc fixes following suggestions from Eli.

llvm-svn: 76699

Fixing cp island pass. Step 1: Determine whether the constant pool offset can be
negative on an individual bases rather than basing on whether it's in thumb
mode.

llvm-svn: 76698

Fix comment.

llvm-svn: 76693

Basic parsing and semantic analysis for out-of-line definitions of the
member functions of class templates, e.g.,

  template<typename T>
  struct X {
    void f(T);
  };

  template<typename T> X<T>::f(T) { /* ... */ }

llvm-svn: 76692

Revert this, we can now avoid error cascades better.

llvm-svn: 76691

Revert this, was a bug in my new warning code, not the test case.

llvm-svn: 76690

simplify code now that it is inlined.

llvm-svn: 76689

Exposed PHIElimination pass within CodeGen.

llvm-svn: 76688

Revert this, we have a better way to do this.

llvm-svn: 76687

Now that RelocBehaviour() is never overloaded, it doesn't need to be
virtual.  Just inline it into its two current call sites in preparation
for simplifying the code.

llvm-svn: 76686

Revert this, we have a better way to handle this.

llvm-svn: 76685

Add intrinsic for __builtin_ia32_vec_set_v4si which turns out to be
pinsrd in sse4.1.

llvm-svn: 76684

this doesn't break any of the 4 ia64 tests.

llvm-svn: 76683

alpha doesn't need to redefine this: it only supports PIC codegen anyway.

llvm-svn: 76682

Revert recent change, I now have a better way to solve this (thanks Chris).

llvm-svn: 76681