llvm-svn: 138723

llvm-svn: 138722

llvm-svn: 138721

[analyzer] Remove the ProgramState argument from ExprEngine::evalBind; we were ignoring it anyway. No functionality change.

llvm-svn: 138720

llvm-svn: 138719

This is a common path for function and C++ method calls, Objective-C messages and property accesses, and C++ construct-exprs.

As support, add message receiver accessors to ObjCMessage and CallOrObjCMessage.

llvm-svn: 138718

non-deterministic crash in the test suite. Fixes PR10055!

llvm-svn: 138717

[analyzer] Change the check::RegionChanges callback to include the regions explicitly requested for invalidation.

Also, allow CallOrObjCMessage to wrap a CXXConstructExpr as well.

Finally, this allows us to remove the clunky whitelisting system from CFRefCount/RetainReleaseChecker. Slight regression due to CXXNewExprs not yet being handled in post-statement callbacks (PR forthcoming).

llvm-svn: 138716

to varargs functions in unevaluated contexts.  AFAICT, there is no
standards justification for this, but it matches what other compilers do
and therefore preserves compatibility with certain template metaprogramming
idioms.

Should fix self-host.

llvm-svn: 138715

to class implementation where it is supposed to be
implemented. // rdar://10009982.

llvm-svn: 138714

[analyzer] Rename current PathDiagnosticClient::HandlePathDiagnostic() to HandlePathDiagnosticImpl(), and slot in new HandlePathDiagnostic() for potentially handling concurrent access to PathDiagnosticClients (in the future).

llvm-svn: 138713

[analyzer] Pull body of loop in AnalysisConsumer::HandleDeclContext() into its own method.  No real functionality change.

llvm-svn: 138712

[analyzer] Add test case for handling of __bridge_transfer that previously resulted in a 'stack address' warning (that was fixed in r138616).  Fixes <rdar://problem/10018376>.

llvm-svn: 138710

, such as list of forward @class decls, in a DeclGroup
node. Deal with its consequence throught clang. This
is in preparation for more Sema work ahead. // rdar://8843851.
Feel free to reverse if it breaks something important
and I am unavailable.

llvm-svn: 138709

flip these tests around.

llvm-svn: 138708

llvm-svn: 138707

llvm-svn: 138706

Before we just left the remaining bytes uninitialized. This is another step in making llvm valgrind-clean again.

llvm-svn: 138705

__import__ within the preprocessor, since the prior one foolishly
assumed that Preprocessor::Lex() was re-entrant. We now handle
__import__ at the top level (only), after macro expansion. This should
fix the buildbot failures.

llvm-svn: 138704

llvm-svn: 138703

things to disasterously over night, this can be reverted.

llvm-svn: 138702

llvm-svn: 138701

llvm-svn: 138700

llvm-svn: 138699

llvm-svn: 138698

llvm-svn: 138697

llvm-svn: 138696

Patch by Xiaoyi Guo!

llvm-svn: 138695

never checking them for NULL.  Pass a reference instead.

llvm-svn: 138694

directly to the one in sys.

llvm-svn: 138693

analyzing so it won't get deleted on us if a formatter runs code.

llvm-svn: 138692

of default argument promotion and needs to happen unconditionally.
This is particularly semantically important in C++0x.

llvm-svn: 138691

llvm-svn: 138689

llvm-svn: 138688

pointer variable. Patch by David Blaikie!

llvm-svn: 138687

Control 'invalid conversion specifier' warnings under a subflag (-Wformat-invalid-specifier) of -Wformat.  Fixes <rdar://problem/10031930>.

llvm-svn: 138686

llvm-svn: 138684

llvm-svn: 138683

llvm-svn: 138681

Try to unbreak the build on systems where uint64_t isn't something that StringRef::getAsInteger can handle as its second argument

llvm-svn: 138680