[analyzer] Don't crash when copying an unknown number of bytes with memcpy(). Also handle all memcpy-family return values in evalCopyCommon(), rather than having some outside and some inside.

llvm-svn: 132617

__builtin_astype(): Used to reinterpreted as another data type of the same size using for both scalar and vector data types.
Added test case.

llvm-svn: 132612

llvm-svn: 132607

llvm-svn: 132605

libclang. Fixes <rdar://problem/9537904>.

llvm-svn: 132603

llvm-svn: 132600

llvm-svn: 132571

llvm-svn: 132566

Warn in cases such as "x + someCondition ? 42 : 0;",
where the condition expression looks arithmetic, and has
a right-hand side that looks boolean.

This (partly) addresses http://llvm.org/bugs/show_bug.cgi?id=9969

llvm-svn: 132565

special member functions.

llvm-svn: 132564

In code such as "char* volatile const j()", Clang warns that "volatile
const" will be ignored. Make it point to the first ignored qualifier,
and simplify the code a bit.

llvm-svn: 132563

Sema::RequireCompleteExprType() a bit more, setting the point of
instantiation if needed, and skipping explicit specializations entirely.

llvm-svn: 132547

diagnostic group to cover the cases where we have definitively bad
behavior: dynamic classes.

It also rips out the existing support for POD-based checking. This
didn't work well, and triggered too many false positives. I'm looking
into a possibly more principled way to warn on the fundamental buggy
construct here. POD-ness isn't the critical aspect anyways, so a clean
slate is better. This also removes some silliness from the code until
the new checks arrive.

llvm-svn: 132534

of incomplete array type, attempt to complete the array type. This was
made much easier by Chandler's addition of RequireCompleteExprType(),
which I've tweaked (slightly) to improve the consistency of the
DeclRefExpr. Fixes PR7985.

llvm-svn: 132530

the template parameter, perform the checking as a "specified" template
argument rather than a "deduced" template argument; the latter implies
stricter type checking that is not permitted for default template
arguments.

Also, cleanup our handling of substitution of explicit template
arguments for a function template. We were actually performing some
substitution of default arguments at this point!

Fixes PR10069.

llvm-svn: 132529

llvm-svn: 132521

llvm-svn: 132518

llvm-svn: 132496

Reverted r132330, r132321, r132320, r132319 as per discussion. Will try in-test requirement declarations instead.

llvm-svn: 132491

llvm-svn: 132474

llvm-svn: 132462

llvm-svn: 132460

+keyPathsForValuesAffecting<Key> completion was mislabeled as an
instance method, and +automaticallyNotifiesObserversOf<Key> was
missing entirely. Fixes <rdar://problem/9516762>.

llvm-svn: 132452

Revert r132426; this test passes more often than not, and we don't have a way to mark tests as intermittently failing at the moment.

llvm-svn: 132446

nested types, from Michael Han!

llvm-svn: 132431

llvm-svn: 132426

llvm-svn: 132422

constant-expression, and, therefore, an unevaluated operand. Make it
so.

llvm-svn: 132400

pointers. Fixes PR10052.

llvm-svn: 132397

function might need to clean up its temporaries. Fixes PR10057.

llvm-svn: 132390

a file was modified since the time the PCH was created.

The parser is not fit to deal with stale PCHs, too many invariants do not hold up. rdar://9530587.

llvm-svn: 132389

llvm-svn: 132387

llvm-svn: 132376

tools that match on the C++ ASTs. The main interface is in ASTMatchers.h,
an example implementation of a tool that removes redundant .c_str() calls
is in the example RemoveCStrCalls.cpp.

Various contributions:
Zhanyong Wan, Chandler Carruth, Marcin Kowalczyk, Wei Xu, James Dennett.

llvm-svn: 132374

llvm-svn: 132370

Revert 132332 (Microsoft friend as a forward declaration), John McCall pointed out a better/simpler way to do it. 

llvm-svn: 132369

llvm-svn: 132361

llvm-svn: 132357

expression. Fixes bug raised by hhinnant to cfe-dev

llvm-svn: 132350

For compatibility with MSVC, a friend declaration also act as a forward declaration if the tag name is not already declared. The tag name is declared in the next outermost non record scope.
Example:

class A {
  friend class B;
  B* b;
};
B* global_b;

llvm-svn: 132332