int x = 42;
  x = x;  // Warns here.

The warning avoids macro expansions, templates, user-defined assignment
operators, and volatile types, so false positives are expected to be low.

The common (mis-)use of this code pattern is to silence unused variable
warnings, but a more idiomatic way of doing that is '(void)x;'.
A follow-up to this will add a note and fix-it hint suggesting this
replacement in cases where the StmtExpr consists precisely of the self
assignment.

llvm-svn: 122804

spent in StrongPHIElimination on 403.gcc.

llvm-svn: 122803

declaration name of the array when present. This ensures that
a poor-man's C++03 static_assert will include the user error message
often embedded in the name.

Update all the tests to reflect the new wording, and add a test for the
name behavior.

llvm-svn: 122802

CodeGenPrepare (which is the default behavior).

llvm-svn: 122801

were not being created in the proper way, meaning
results were getting lost.

llvm-svn: 122800

non-type template parameter pack, make sure to create a pack expansion
for the corresponding template argument.

llvm-svn: 122799

 

llvm-svn: 122797

Don't pattern match "/clang" so we don't mangle directory names.  Some
tests use absolute paths to clang.

llvm-svn: 122796

llvm-svn: 122795

llvm-svn: 122794

initialize those lovely mixins that come from pack expansions of base
specifiers.

llvm-svn: 122793

Rename MaybeSkipFunctionBodyForCodeCompletion -> trySkippingFunctionBodyForCodeCompletion and check isCodeCompletionEnabled() before doing the call.
Suggestions by Chris.

llvm-svn: 122792

FunctionPass. It probably doesn't have a reason to be a LoopPass, as it will
probably drop the simple fixed point and either use RPO iteration or Duncan's
approach in instsimplify of only revisiting instructions that have changed.

The next step is to preserve LoopSimplify. This looks like it won't be too hard,
although the pass manager doesn't actually seem to respect when non-loop passes
claim to preserve LCSSA or LoopSimplify. This will have to be fixed.

llvm-svn: 122791

stop setting NSW: signed overflow is possible.  Thanks to Dan
for pointing these out.

llvm-svn: 122790

llvm-svn: 122789

llvm-svn: 122788

Use the new addEscapingValue callback to update GlobalsModRef when GVN adds PHIs of GEPs. For the moment,
have GlobalsModRef handle this conservatively by simply removing the value from its maps.

llvm-svn: 122787

llvm-svn: 122786

invalidated by stores, so they can be handled as 'simple'
operations.

llvm-svn: 122785

llvm-svn: 122784

prologue and epilogue if the adjustment is 8. Similarly, use pushl / popl if
the adjustment is 4 in 32-bit mode.

In the epilogue, takes care to pop to a caller-saved register that's not live
at the exit (either return or tailcall instruction).
rdar://8771137

llvm-svn: 122783

llvm-svn: 122782

llvm-svn: 122781

llvm-svn: 122780

Don't pattern match "clang-" as it may be part of a tool name with a
triple suffix.

llvm-svn: 122779

llvm-svn: 122778

a pointer value has potentially become escaping.  Implementations can choose to either fall back to
conservative responses for that value, or may recompute their analysis to accomodate the change.

llvm-svn: 122777

argument. As part of this, be more careful when determining if there
are any parameter packs that cannot be expanded.

llvm-svn: 122776

a class template partial specialiation, and look through pack
expansions when checking the conditions of C++0x [temp.class.spec]p8.

llvm-svn: 122774

llvm-svn: 122773

exposed.  It turns out to be a latent bug in basicaa, scary.

llvm-svn: 122772

llvm-svn: 122771

llvm-svn: 122770

template partial specialization arguments.

llvm-svn: 122769

(clang/include/clang/Basic/StmtNodes.td, for instance, is tablegenned
from clang/include/clang/AST/CMakeLists.txt) so it is not contained on
the list of all .td files on the current source directory which is
used as the DEPENDS of the custom command. We must add the .td file to
the DEPENDS list of the custom command. Otherwise some .inc files are
not regenerated when the corresponding .td file changes.

llvm-svn: 122768

llvm-svn: 122767

llvm-svn: 122766

When we are in code-completion mode, skip parsing of all function bodies except the one where the
code-completion point resides.

For big .cpp files like 'SemaExpr.cpp' the improvement makes a huge difference, in some cases cutting down
code-completion time -62% !

We don't get diagnostics for the bodies though, so modify the code-completion tests that check for errors.

See rdar://8814203.

llvm-svn: 122765

expression lists.

llvm-svn: 122764

contexts. This prevents -Wunused-function from firing on friend function
definitions inside of class templates for example.

llvm-svn: 122763