[analyzer] Remove CallEnterNodeBuilder and simplify ExprEngine::processCallEnter().

This removes analysis of other translation units, but that was an experimental feature anyway that we will revisit later.

llvm-svn: 147705

Make the 'x' constraint work for AVX registers as well.

Fixes rdar://10614894

llvm-svn: 147704

Missing raw_ostream.h breaks MSVC build.

llvm-svn: 147703

Patch from Enrico Granata that moves SBData related functions into the SBData
class instead of requiring a live process in order to be able to create useful
SBData objects.

llvm-svn: 147702

comment typo

llvm-svn: 147701

Expose isNonConstantNegative to users of ScalarEvolution.

llvm-svn: 147700

Add field PaddingType to ABIArgInfo which specifies the type of padding that
is inserted before the real argument. Padding is needed to ensure the backend
reads from or writes to the correct argument slots when the original alignment
of a byval structure is unavailable due to flattening.

llvm-svn: 147699

Correctly enqueue successors in ExprEngine::processCallExit().

llvm-svn: 147698

[analyzer] Remove CallExitNodeBuilder, and have ExprEngine::processCallExit() do the work manually.  This is a nice simplification.

Along the way, fix Exprengine::processCallExit() to also perform the postStmt callback for checkers for CallExprs.

llvm-svn: 147697

Add comment.

llvm-svn: 147696

Add a comment and ensure that anyone else looking at this code doesn't start
to bleed from the eyes.

llvm-svn: 147695

Use const vector references instead of a vector copy. Spotted by Devang.

llvm-svn: 147694

Use -> instead of (*iter).

llvm-svn: 147693

Suppress -Wunused-value within macros from system headers.

Along the way, move a helper function from SemaChecking.cpp to a more
accessible home in SourceManager.

llvm-svn: 147692

objc++: more code gen stuff for atomic property api,
currently turned off. // rdar://6137845
Also, fixes a test case which should be nonatomic under
new API.

llvm-svn: 147691

Enable aligned NEON spilling by default.

Experiments show this to be a small speedup for modern ARM cores.

llvm-svn: 147689

[analyzer] Make the entries in 'Environment' context-sensitive by making entries map from
(Stmt*,LocationContext*) pairs to SVals instead of Stmt* to SVals.

This is needed to support basic IPA via inlining.  Without this, we cannot tell
if a Stmt* binding is part of the current analysis scope (StackFrameContext) or
part of a parent context.

This change introduces an uglification of the use of getSVal(), and thus takes
two steps forward and one step back.  There are also potential performance implications
of enlarging the Environment.  Both can be addressed going forward by refactoring the
APIs and optimizing the internal representation of Environment.  This patch
mainly introduces the functionality upon when we want to build upon (and clean up).

llvm-svn: 147688

During name lookup, use redecl_iterator to walk over the redeclaration
chain to determine whether any declaration of the given entity is
visible, eliminating the redundant (and less efficient)
getPreviousDeclaration() implementation.

This tweak uncovered an omission in the handling of
RedeclarableTemplateDecl, where we weren't making sure to search for
additional redeclarations of a template in other module files. Things
would be cleaner if RedeclarableTemplateDecl actually used Redeclarable.

llvm-svn: 147687

Put all IVUsers in the processed set. Allow querying IVUsers with isIVUserOrOperand.

llvm-svn: 147686

Abort AdjustBBOffsetsAfter early when possible.

llvm-svn: 147685

lit/lit.TestRunner: Add an extra_substitutions argument for executeShTest --
useful for test suites which want to piggyback onto the "shtest" format style.

llvm-svn: 147684

SCEVExpander: hoistStep should check strict dominance.

llvm-svn: 147683

Tracing to help investigate issues with SjLj spill code.

llvm-svn: 147682

Revert r147664; it's breaking clang regression tests.

llvm-svn: 147681

__gxx_personality_v0 update.  This is completely untested code.  But my brain is scrambled and I wanted to get it checked in.  Code review from anyone who knows anything at all about personality functions would be much appreciated.  What is in here is borrowed heavily from llvm/examples/ExceptionDemo/ExceptionDemo.cpp.  There are some calls to abort() that should probably be changed to return an error code instead.  There may be encodings under readEncodedPointer that need to be implemented.  And my handling of type_info is almost a complete guess.

llvm-svn: 147680

Initializing to false makes better sense.  Thanks, David.

llvm-svn: 147679

Fix uninitialized variable warning.

llvm-svn: 147678

Revert r147655; it's breaking the compiler_rt build on OSX.

llvm-svn: 147677

Fix uninitialized variable warning.

llvm-svn: 147676

Fix uninitialized variable warning.

llvm-svn: 147675

[asan] do not use new/delete for the internal thread structure

llvm-svn: 147674

Fix a leak I noticed while reviewing the accelerator table changes. Passes
lldb testsuite.

rdar://10652330

llvm-svn: 147673

Thread safety analysis: added support for trylock attribute.

llvm-svn: 147672

[asan] move more code into OS-specific files

llvm-svn: 147671

Added LocalVariableMap

llvm-svn: 147670

__FLT_EVAL_METHOD__ should be 1 on NetBSD/i386, since it defaults to
"double" rounding.

llvm-svn: 147669

Fixed a bug where the DWARF location expression
parser was creating malformed resuls.  When the
location of a variable is computed by reading a
register and adding an offset, we shouldn't say
that the variable's value is located in that
register.  This was confusing the expression
parser when trying to read a variable captured
by a block.

llvm-svn: 147668

[asan] cleanup: remove the SIGILL-related code (compiler part)

llvm-svn: 147667

objc++: some declarations related to atomic
properties of c++ object types with non-trivial
assignment copy. Not used yet. // rdar://6137845

llvm-svn: 147666

[asan] cleanup: remove the SIGILL-related code (rt part)

llvm-svn: 147665

Silence GCC warnings.

llvm-svn: 147664

[asan] mention -fno-omit-frame-pointer in the docs

llvm-svn: 147663

When inferring a submodule ID during module creation, look up the
include stack to find the first file that is known to be part of the
module. This copes with situations where the module map doesn't
completely specify all of the headers that are involved in the module,
which can come up when there are very strange #include_next chains
(e.g., with weird compiler/stdlib headers like stdarg.h or float.h).

llvm-svn: 147662

[analyzer] Correct the c++-analyzer symlink

As Matt pointed out, this should be just a link to 'ccc-analyzer'.

llvm-svn: 147661

Stash Decl's TopLevelDeclInObjCContainer and ModulePrivate bits
into the two unused lower bits of the NextDeclInContext link, dropping
the number of bits in Decl down to 32, and saving 8 bytes per
declaration on x86-64.

llvm-svn: 147660

C++11 generalized constant expressions: implement checking and diagnostics for
pointer-arithmetic-related undefined behavior and unspecified results. We
continue to fold such values, but now notice they aren't constant expressions.

llvm-svn: 147659

Introduce a "Hidden" bit into Decl, to track whether that declaration
is hidden from name lookup. The previous hack of tweaking the
ModulePrivate bit when loading a declaration from a hidden submodule
was brittle.

Note that we now have 34 bits in Decl. I'll fix that next.

llvm-svn: 147658

Teach DeclContext deserialization to pay attention to endianness, from
David Fang and Takumi Nakamura. Fixes many PCH failures on PowerPC.

llvm-svn: 147657

If we are compiling with -fno-builtin then don't do constant folding of
builtins.

This fixes PR11711.

llvm-svn: 147655

Fix typo in string

llvm-svn: 147654

Fix the mangling of class template arguments in a particular
dependent case.  Thanks to Jason Merrill for pointing this out.

llvm-svn: 147653

Improvements to the uninitialized variable warning: Check if the constructor
call is elidable or if the constructor is trivial instead of checking if it
is user declared.

llvm-svn: 147652

As part of the ongoing work in finalizing the accelerator tables, extend
the debug type accelerator tables to contain the tag and a flag
stating whether or not a compound type is a complete type.

rdar://10652330

llvm-svn: 147651

More lambda work.  Fixes a minor bug Richard pointed out, makes lookup for lambda parameters work correctly, recording more information into the AST.

llvm-svn: 147650

David Blaikie and Chandler would like us to diagnose

  int f();

in function scopes under -Wvexing-parse, so now we do.

llvm-svn: 147649

[analyzer] c++-analyzer should be a symlink.

This fixes a regression from r147643.

llvm-svn: 147648

[asan] move more stuff to OS-specific files

llvm-svn: 147647

<rdar://problem/10652336>

Fixed a crasher when trying to load an expression prefix file:

% touch /tmp/carp.txt
% xcrun lldb
(lldb) settings set target.expr-prefix /tmp/carp.txt
Segmentation fault

llvm-svn: 147646

[analyzer] Update the docs to reflect that gcc is not the only default
compiler option.

llvm-svn: 147645

[analyzer] scan-build: If we are on MacOS, use clang as the default
compiler.

llvm-svn: 147644

[analyzer] Skip --serialize-diagnostic when running scan-build.

Otherwise, the analyzer will try to analyze the serialized diagnostic
file as if it were a source file.

llvm-svn: 147643

Tweak to r147599 for PR10828: Move the check from the parser into sema, and use
the Semantic Powers to only warn on class types (or dependent types), where the
constructor or destructor could do something interesting.

llvm-svn: 147642

Minor refactoring of sentinel warning on blocks.  Add a test for this warning.

llvm-svn: 147641

<rdar://problem/10649734>

Fixed an issue where the python interpreter could deadlock LLDB.

llvm-svn: 147640

http://llvm.org/bugs/show_bug.cgi?id=11619
Allow creating SBData values from arrays or primitives in Python

Patch submitted by Enrico Granata.

llvm-svn: 147639

<rdar://problem/10647191>

Removed an extra call to close that was causing problems and also
now use the Host::File class to open the file.

llvm-svn: 147638

http://llvm.org/bugs/show_bug.cgi?id=11618
lldb::SBValue::AddressOf does not work on dereferenced registers in synthetic children provider

Patch submitted by Enrico Granata.

llvm-svn: 147637

objc++: sythesize a helper function to be used
for copying atomic properties of c++ objects
with non-trivial copy assignment in setters/getters.
Not yet used. // rdar://6137845

llvm-svn: 147636

Fix a memory leak of PragmaNamespaces, rdar://10611796.

llvm-svn: 147635

We finalized on the new .apple_types accelerator table format where we don't
emit fully qualified names, so now we make sure the DW_TAG values match and
still lookup using the basename.

llvm-svn: 147634

http://llvm.org/bugs/show_bug.cgi?id=11715
comma at end of enumerator list

llvm-svn: 147633

Fix build on minix. Patch by Ben Gras!

llvm-svn: 147632

Address Richard's review comments on r147561 (Evaluate support for address-of-label differences).

llvm-svn: 147631

Fix SpeculativelyExecuteBB to either speculate all or none of the phis
present in the bottom of the CFG triangle, as the transformation isn't
ever valuable if the branch can't be eliminated.

Also, unify some heuristics between SimplifyCFG's multiple
if-converters, for consistency.

This fixes rdar://10627242.

llvm-svn: 147630

Fix indentation.

llvm-svn: 147629

[asan] use dl_iterate_phdr for pre-symbolization on linux instead of parsing /proc/self/maps

llvm-svn: 147628

Add back the file I wrongly deleted in r147613.

llvm-svn: 147627

Always allocate an extra 8 bytes for a deserialized declaration, since
some code in Clang expects 8-byte alignment of declarations.

llvm-svn: 147626

PR11705, part 2: globalopt shouldn't put inttoptr/ptrtoint operations into global initializers if there's an implied extension or truncation.

llvm-svn: 147625

Link symbols with different visibilities according to the rules in the
System V Application Binary Interface. This lets us use
-fvisibility-inlines-hidden with LTO.
Fixes PR11697.

llvm-svn: 147624

Revert r56315. When the instruction to speculate is a load, this
code can incorrectly move the load across a store. This never
happens in practice today, but only because the current
heuristics accidentally preclude it.

llvm-svn: 147623

After further discussion, rename attribute 'objc_disable_automatic_synthesis' to 'objc_requires_property_definitions'.

llvm-svn: 147622

Fixed a problem in our local Clang's method for
performing Objective-C instance variable lookup.
Previously, it only completed the derived class
that was the beginning of the search.  Now, as
it walks up the superclass chain looking for the
ivar, it completes each superclass in turn.

Also added a testcase covering this issue.

llvm-svn: 147621

Tweak the fix to PR8977: an empty expression-list represents value initialization, not default initialization.  Fixes PR11712.

llvm-svn: 147620

Don't seed the ASTWriter's declaration -> ID mapping with the IDs of
each deserialized declaration, since that information is already
available in each declaration.

llvm-svn: 147619

Kill ObjectCodeEmitter and BinaryObject, they were unused and superseded by MC.

llvm-svn: 147618

When we deserialize a declaration from a module file, allocate extra
storage for the global declaration ID. Declarations that are parsed
(rather than deserialized) are unaffected, so the number of
declarations that pay this cost tends to be relatively small (since
relatively few declarations are ever deserialized).

This replaces a largish DenseMap within the AST reader. It's not
strictly a win in terms of memory use---not every declaration was
added to that DenseMap in the first place---but it's cleaner to have
this information available for every deserialized declaration, so that
future clients can rely on it.

llvm-svn: 147617

SCCCaptured is trivially false on entry to this loop and not modified inside it.
Eliminate the dead test for it on each loop iteration. No functionality change.

llvm-svn: 147616

Remove the old ELF writer.

llvm-svn: 147615

When creating declarations that are deserialized from an module file,
go through a central allocation routine
Decl::AllocateDeserializedDecl(). No actual functionality change (yet).

llvm-svn: 147614

Fix incomplete commit of llvm.org/viewvc/llvm-project?rev=147609&view=rev:

This patch combines common code from Linux and FreeBSD into
a new POSIX platform.  It also contains fixes for 64bit FreeBSD.

The patch is based on changes by Mark Peek <mp@FreeBSD.org> and
"K. Macy" <kmacy@freebsd.org> in their github repo located at
https://github.com/fbsd/lldb.

llvm-svn: 147613

When loading an AST file, set SourceManager::MainFileID to the main file of the AST file,
as suggested by Tom Honermann.

llvm-svn: 147612

A small re-factored JIT/MCJIT::getPointerToNamedFunction(), so it could be called with the base class.

llvm-svn: 147610

This patch combines common code from Linux and FreeBSD into
a new POSIX platform.  It also contains fixes for 64bit FreeBSD.

The patch is based on changes by Mark Peek <mp@FreeBSD.org> and
"K. Macy" <kmacy@freebsd.org> in their github repo located at
https://github.com/fbsd/lldb.

llvm-svn: 147609

revert r147542 after comments from Joerg Sonnenberger

llvm-svn: 147608

allow clients of SmallSet to specify their own comparison function for the set.
Patch by Stepan Dyatkovskiy!

llvm-svn: 147607

Remove an unused variable.

llvm-svn: 147605

Prevent a DAGCombine from firing where there are two uses of
a combined-away node and the result of the combine isn't substantially
smaller than the input, it's just canonicalized. This is the first part
of a significant (7%) performance gain for Snappy's hot decompression
loop.

llvm-svn: 147604

Cleanup and FileCheck-ize a test.

llvm-svn: 147603

Mark scalar FMA4 instructions as ignoring the VEX.L bit.

llvm-svn: 147602