PerformANDCombine and PerformOrCombine aware of them. Test cases are included
too.

llvm-svn: 145853

them.

llvm-svn: 145852

rdar://10529348

llvm-svn: 145851

O32 with relocation-model=pic too.

llvm-svn: 145850

methods) to bool. E.g.

void foo() {}
if (f) { ... // <- Warns here.
}

Only applies to non-weak functions, and does not apply if the function address
is taken explicitly with the addr-of operator.

llvm-svn: 145849

llvm-svn: 145848

Finish up rdar://10522016.

llvm-svn: 145846

llvm-svn: 145845

llvm-svn: 145844

llvm-svn: 145843

Combined destination and first source operand for f32 variant of the VMUL
(by scalar) instruction.

rdar://10522016

llvm-svn: 145842

llvm-svn: 145841

llvm-svn: 145840

llvm-svn: 145839

llvm-svn: 145838

This is a patch by Guoping Long!

As part of utilizing LLVM Dominator computation in Clang, made two changes to LLVM dominators tree implementation:

 - (1) Change the recalculate() template function to only rely on GraphTraits.
 - (2) Add a size() method to GraphTraits template class to query the number of nodes in the graph.

llvm-svn: 145837

llvm-svn: 145834

class.

We are going into the direction of handling SymbolData and other SymExpr
uniformly, so it makes less sense to keep two different SVal classes.
For example, the checkers would have to take an extra step to reason
about each type separately.

The classes have the same members, we were just using the SVal kind
field for easy differentiation in 3 switch statements. The switch
statements look more ugly now, but we can make the code more readable in
other ways, for example, moving some code into separate functions.

llvm-svn: 145833

ExprEngine.

Teach SimpleConstraintManager::assumeSymRel() to propagate constraints
to symbolic expressions.

+ One extra warning (real bug) is now generated due to enhanced
assumeSymRel().

llvm-svn: 145832

ConstraintManager::canReasonAbout() from the ExprEngine.

ExprEngine should not care if the constraint solver can reason about
something or not. The solver should be able to handle all the SymExprs.

To do this, the solver should be able to keep track of not only the
SymbolData but of all SymExprs. This is why we change SymbolRef to be an
alias of SymExpr*. When encountering an expression it cannot simplify,
the solver should just add the constraints to it.

llvm-svn: 145831

llvm-svn: 145830

of relying on SymbolID.

This way any expression can be printed (not only SymbolData).

llvm-svn: 145829

requiring CFG.

Adding more ugly code; the evnvironment printing should be moved to
envirnment at some point.

llvm-svn: 145828

llvm-svn: 145827

[asan] cleanup memset/memmove/memcpy interceptors and enable them on Mac. Patch by samsonov@google.com

llvm-svn: 145826

and CompleteTagDeclarationDefinition() on Objective-C
interfaces populated by SymbolFileSymtab::FindTypes(),
we should mark the interface as forward-declared when
we create it.

llvm-svn: 145825

llvm-svn: 145824

llvm-svn: 145823

llvm-svn: 145822

[asan] don't require __cxa_throw to be present in the process. This is the last dependency on libstdc++

llvm-svn: 145821

llvm-svn: 145820

llvm-svn: 145819

llvm-svn: 145818

llvm-svn: 145817

llvm-svn: 145816

llvm-svn: 145814

(i.e., 'export *'), to better match the semantics of headers.

llvm-svn: 145813

llvm-svn: 145812

to re-export anything that it imports. This opt-in feature makes a
module behave more like a header, because it can be used to re-export
the transitive closure of a (sub)module's dependencies.

llvm-svn: 145811

- Calling getUser in a loop is much more expensive than iterating over a few instructions.
- Use it instead of the open-coded loop in AddrModeMatcher.
- 5% speedup on ARMDisassembler.cpp Release builds.

llvm-svn: 145810