UninitializedValues: introduce ValueVector:reference class to forward to llvm::BitVector.  No real functionality change, but this is a stepping stone to moving to tri-state logic.

llvm-svn: 127665

UninitializedValues: wrap BitVector references in a new class ValueVector.  No functionality change.  This defines the minimum interface that ValueVector needs to support when we no longer base it strictly on a direct interpretation of BitVector.

llvm-svn: 127664

Substitue term "BitVector" with "ValueVector" to prep for further revisions.  No functionality change.

llvm-svn: 127663

llvm-svn: 127657

llvm-svn: 127656

lib/Basic/Targets.cpp: __declspec(attr) should be provided on mingw as macro, alias of __attribute__.

On mingw without -fms-extensions, we can provide "as-is" __declspec.

llvm-svn: 127655

lib/Headers/mm_malloc.h: On Windows, we can expect _mm_malloc would be provided as macro by <malloc.h>.

llvm-svn: 127654

llvm-svn: 127652

replace some uses of FieldOffsetInBytes. The remaining uses of
FieldOffsetInBytes will be replaced once NextFieldOffsetInBytes is converted
to CharUnits. No change in functionality intended.

llvm-svn: 127641

After the open+fstat optimization, files were already opened for FileManager::getBufferForFile() and we closed them after reading them.
The problem was that when -working-directory was passed, the code path that actually reuses & closes the already opened file descriptor
was not followed.

llvm-svn: 127639

The tests fail in a -Asserts build.

llvm-svn: 127635

much to be useful.

llvm-svn: 127625

llvm-svn: 127624

cannot yet be resolved, be sure to push the new label declaration into
the right place within the identifier chain. Otherwise, name lookup in
C++ gets confused when searching for names that are lexically closer
than the label. Fixes PR9463.

llvm-svn: 127623

llvm-svn: 127622

llvm-svn: 127617

arguments. Process only the arguments that people write, but process
all of them.

Fixes rdar://8900346

llvm-svn: 127616

Tweak VariadicMethodTypeChecker to only create one ExplodedNode when issuing multiple warnings for the same message expression.

Also add a test case showing that we correctly report multiple warnings for the same message expression.

llvm-svn: 127605

llvm-svn: 127603

llvm-svn: 127596

is working around a bug in ld or if the new linker has a reasonable reason
for wanting the string constant to be linker visible.

llvm-svn: 127594

-literal to char* conversion. Make it so.

llvm-svn: 127586

be more speciaclized than that of the initializer,
when matching protocol qualifier list.
// rdar:// 9118343.

llvm-svn: 127585

llvm-svn: 127583

llvm-svn: 127582

llvm-svn: 127580

llvm-svn: 127573

Add an Objective-C checker that checks that arguments passed to some variadic Objective-C methods are of Objective-C pointer types.

Ted or Argiris, I'd appreciate a review!

llvm-svn: 127572

Instead of storing an ASTContext* in FunctionProtoTypes with computed noexcept specifiers, unique FunctionProtoTypes with a ContextualFoldingSet, as suggested by John McCall.

llvm-svn: 127568

Fix CFG assertion failure reported in PR 9467.  This was due to recent changes in optimizing CFGs for switch statements.

llvm-svn: 127563

method prototypes under the -Wduplicate-method-arg and
turn it off by default.

llvm-svn: 127552

It is only meant for the release branch.

llvm-svn: 127544

llvm-svn: 127543

It is only meant for the release branch.

llvm-svn: 127542

llvm-svn: 127541

No change in functionality intended.

llvm-svn: 127538

Change the interface to expose the new information and deal with the enormous fallout.
Introduce the new ExceptionSpecificationType value EST_DynamicNone to more easily deal with empty throw specifications.
Update the tests for noexcept and fix the various bugs uncovered, such as lack of tentative parsing support.

llvm-svn: 127537

llvm-svn: 127536

llvm-svn: 127534

Re-enable the IdempotentOperations checker for --analyze, and put it and the DeadStores checker into the "deadcode" group.

llvm-svn: 127531