[analyzer] Run remove dead on end of path.

This will simplify checkers that need to register for leaks. Currently,
they have to register for both: check dead and check end of path.

I've modified the SymbolReaper to consider everything on the stack dead
if the input StackLocationContext is 0.

(This is a bit disruptive, so I'd like to flash out all the issues
asap.)

llvm-svn: 167352

[analyzer] add LocationContext::inTopFrame() helper.

llvm-svn: 167351

[analyzer] Refactor: Remove Pred from NodeBuilderContext.

Node builders should manage the nodes, not the context.

llvm-svn: 167350

Fix a little think-o.  In FileSpec::operator== we were trying to figure out whether the rhs file was resolved or not by comparing
the resolved version of the rhs FileSpec's directory name with the lhs FileSpec's directory name.  We really meant to compare it
with the rhs FileSpec's directory name...

<rdar://problem/12438838>

llvm-svn: 167349

[mips] Set flag neverHasSideEffects flag on floating point conversion
instructions.

llvm-svn: 167348

X86 CostModel: Add support for a some of the common arithmetic instructions for SSE4, AVX and AVX2.

llvm-svn: 167347

Simplify these tests again, now that we're past the version skew.

llvm-svn: 167346

[mips] Set flag isAsCheapAsAMove flag on instruction LUi.

llvm-svn: 167345

Be careful not to optimize a SELECT_CC into a SETCC post-legalization if the SETCC node would be illegal.

llvm-svn: 167344

Make sure users know that "target variable" can read variables while running a process by changing the documentation string.

llvm-svn: 167343

Caught two cases where we were passing a Stream* without checking for NULL

llvm-svn: 167342

[mips] Stop reserving register AT and use register scavenger when a scratch
register is needed.

llvm-svn: 167341

[analyzer] Convert SimpleStreamChecker over to CallEvent.

llvm-svn: 167340

[analyzer] CheckerDocumentation: Change examples for PreStmt and PostStmt.

llvm-svn: 167339

[analyzer] Add some convenience accessors to CallEvent, and use them.

These are CallEvent-equivalents of helpers already accessible in
CheckerContext, as part of making it easier for new checkers to be written
using CallEvent rather than raw CallExprs.

llvm-svn: 167338

[analyzer] isCLibraryFunction: check that the function is at TU-scope.

Also, Decls already carry a pointer to the ASTContext, so there's no need
to pass an extra argument to the predicate.

llvm-svn: 167337

Emit debug info for C++ struct definitions as DW_TAG_structure_type (instead of class_type).

llvm-svn: 167336

[mips] Do not reserve all 64-bit registers, but only the ones which need to be
reserved. Without this fix, RegScavenger::getRegsAvailable incorrectly
returns an empty set of integer registers.

llvm-svn: 167335

Include all the fields so we can correctly emit DW_TAG_structure_type for C++ structs.

llvm-svn: 167334

Add a stub for the x86 cost model impl. Implement a basic cost rule for inserting/extracting from XMM registers.

llvm-svn: 167333

Avoid version skew by making ObjC strict metadata tests resilient to new field.

llvm-svn: 167332

objective-C mrr block. Block variable layout metadata in
mrr mode.

llvm-svn: 167331

Remove empty directory

llvm-svn: 167330

CostModel: add support for Vector Insert and Extract.

llvm-svn: 167329

remove empty directories

llvm-svn: 167328

Fixed a problem where we mistook normal result
variables for guard variables because the current
class or method named contained the letters "GV".

llvm-svn: 167327

[mips] Fix disassembler test cases.

llvm-svn: 167326

When code-completing don't disable the preprocessing record if modules are enabled.

llvm-svn: 167325

Add a cost model analysis that allows us to estimate the cost of IR-level instructions.

llvm-svn: 167324

Scalar Bitcasts and Truncs are usually free

llvm-svn: 167323

[mips] Fix bug in test case. Disable machine LICM to prevent instruction from
being moved out of a basic block.

llvm-svn: 167322

Thread safety analysis: Fixed ICE caused by double delete when late parsed
attributes are attached to function declarations nested inside a class method.

llvm-svn: 167321

Fix test cases I broken when fixing grammar in diagnostic message.

llvm-svn: 167320

Fix grammar of diagnostic message.

llvm-svn: 167319

Vext Lowering was missing opportunities

llvm-svn: 167318

[analyzer] Test SimpleStream on the buildbot.

llvm-svn: 167317

[analyzer] Factor SimpleStreamChecker pulling out isLeaked().

llvm-svn: 167316

[mips] Use register number instead of name to print register $AT.

llvm-svn: 167315

Fixed the "--force" option for memory read.

llvm-svn: 167314

[mips] Add function MipsFrameLowering::estimateStackSize.

This function estimates stack size and will be called before
PrologEpilogInserter scans the callee-saved registers.

llvm-svn: 167313

[mips] Add member field MipsFunctionInfo::IncomingArgSize which holds the size
of the incoming argument area.

llvm-svn: 167312

Fix a build problem with xlc. The error message was

"../llvm-git/utils/TableGen/CodeGenSchedule.cpp", line 1594.12: 1540-0218 (S) The call does not match any parameter list for "operator+".
"../llvm-git/include/llvm/ADT/STLExtras.h", line 130.1: 1540-1283 (I) "template <class _Iterator, class Func> llvm::operator+(mapped_iterator<_Iterator,Func>::difference_type, const mapped_iterator<_Iterator,Func> &)" is not a viable candidate.

Patch by Kai.

llvm-svn: 167311

[mips] Delete MipsFunctionInfo::EmitNOAT. Unconditionally print directive
"set .noat" so that the assembler doesn't issue warnings when register $AT is
used.

llvm-svn: 167310

XLC supports the same atomic functions as GCC, use them.
Patch by Kai.

llvm-svn: 167309

Fix debug tag type of forward declarations of struct/class in C++.

llvm-svn: 167308

Improve x86 android support:
* -Bsymbolic must be added for x86 as well.
* Default CPU name also set to 'core2' for x86 android.
Patch by Edwin Vane.

llvm-svn: 167307

Add test for link flags added by -fcatch-undefined-behavior.

llvm-svn: 167306

Add -lpthread when building with Ubsan on Linux, in preparation for making libclang-rt.ubsan pull in sanitizer_common, which in turn depends on pthreads.

llvm-svn: 167305

Change resolveRelocation parameters so the relocations can find placeholder values in the original object buffer.

Some ELF relocations require adding the a value to the original contents of the object buffer at the specified location.  In order to properly handle multiple applications of a relocation, the RuntimeDyld code should be grabbing the original value from the object buffer and writing a new value into the loaded section buffer.  This patch changes the parameters passed to resolveRelocations to accommodate this need.

llvm-svn: 167304

Switched debugserver to use C++11/libc++.

<rdar://problem/12624679>

llvm-svn: 167303

Documentation: fix typos.

llvm-svn: 167302

Update test case.

llvm-svn: 167301

Move -Wimplicit-retain-self to be off-by-default until we can evaluate
more how noisy it is.

llvm-svn: 167300

Extra safeguards to ensure that we never query
the runtime if we have complete debug information
for a class.

Also made the Objective-C language runtime return
NULL when asked for the complete debug information
(i.e., information from DWARF, not information from
the runtime) if that information isn't present.  It
used to return a non-authoritative version, which
made it hard for clients to determine whether
complete debug information was available.

<rdar://problem/12608895>

llvm-svn: 167299

[Sanitizer] Add internal_isatty to sanitizer_libc and PrintsToTty to determine whether error reports are printed to terminal

llvm-svn: 167298

[Sanitizer] fix printf unittest on 32-bit arch

llvm-svn: 167297

[Sanitizer] move unit test for Printf from tsan to sanitizer_common

llvm-svn: 167296

Fix whitespaces

llvm-svn: 167295

[TSan] finally remove TsanPrintf in favor of Printf from sanitizer_common

llvm-svn: 167294

clang/test/CodeGen/bitfield-promote.c: Add explicit triple for now. It has been failing for big endian targets, for example, ppc.

llvm-svn: 167293

clang/test/CodeGen/bitfield-promote.c: FileCheck-ize.

llvm-svn: 167292

[Sanitizer] Use kStderrFd constant instead of hardcoded 2

llvm-svn: 167291

[Sanitizer]: add __sanitizer_set_report_fd function to alter file descriptor for error reports

llvm-svn: 167290

Enable the assertion in getIntPtrType (I've audited all users of this method and
they are now all correct; hopefully the buildbots will agree!).

llvm-svn: 167289

Add a testcase to loop-idiom to cover PR14241 when we start handling
strided loops again.

llvm-svn: 167287

Revert the switch of loop-idiom to use the new dependence analysis.

The new analysis is not yet ready for prime time. It has a *critical*
flawed assumption, and some troubling shortages of testing. Until it's
been hammered into better shape, let's stick with the working code. This
should be easy to revert itself when the analysis is ready.

Fixes PR14241, a miscompile of any memcpy-able loop which uses a pointer
as the induction mechanism. If you have been seeing miscompiles in this
revision range, you really want to test with this backed out. The
results of this miscompile are a bit subtle as they can lead to
downstream passes concluding things are impossible which are in fact
possible.

Thanks to David Blaikie for the majority of the reduction of this
miscompile. I'll be checking in the test case in a non-revert commit.

Revesions reverted here:

r167045: LoopIdiom: Fix a serious missed optimization: we only turned
         top-level loops into memmove.
r166877: LoopIdiom: Add checks to avoid turning memmove into an infinite
         loop.
r166875: LoopIdiom: Recognize memmove loops.
r166874: LoopIdiom: Replace custom dependence analysis with
         DependenceAnalysis.
llvm-svn: 167286

Fix an obvious typo that causes an assertion failure when running
test/Transforms/GVN/rle.ll if the (currently disabled) check for a
pointer type in getIntPtrType is turned on.

llvm-svn: 167285

Tests: remove ModuleID lines

llvm-svn: 167284

Tests: move content of .c files in .ll

llvm-svn: 167283

Fix sign compare warning. Patch by Mahesha HS.

llvm-svn: 167282

Delete lines which do nothing from DiagnosticGroups.td.

llvm-svn: 167281

[libclang] Correct how the index inside the local preprocessed entities array
is getting converted to a global PreprocessedEntityID.

llvm-svn: 167280

Add missing diagnostic group to format string warning.

llvm-svn: 167279

analyzer-plugin/MainCallChecker.cpp: Fixup corresponding to r167275.

llvm-svn: 167278

[analyzer] Convert some of the harder cases over to ProgramStateTrait macros.

Add FIXMEs for the traits visible from multiple translation units.
Currently the macros hide their key types in an anonymous namespace.

llvm-svn: 167277

[analyzer] Use nice macros for the common ProgramStateTraits (map, set, list).

Also, move the REGISTER_*_WITH_PROGRAMSTATE macros to ProgramStateTrait.h.

This doesn't get rid of /all/ explicit uses of ProgramStatePartialTrait,
but it does get a lot of them.

llvm-svn: 167276

[analyzer] Rename 'EmitReport' to 'emitReport'.

No functionality change.

llvm-svn: 167275

Tweak wording and add diagnostic groups to misc diagnostics.

llvm-svn: 167274

Change diagnostics for enums with fixed underlying type so in C++98 mode, we cite C++11.

llvm-svn: 167273

libprofile/CommonProfiling.c: Fix according to C89.

llvm-svn: 167272

Insert interception point onStartOfTranslationUnit.

Often users of the ASTMatchers want to add tasks that are done once per
translation unit, for example, cleaning up caches. Combined with the
interception point for the end of source file one can add to the factory
creation, this covers the cases we've seen users need.

llvm-svn: 167271

PGO: allows the profile data file name to be specified by the LLVMPROF_OUTPUT
environment variable.

This allows parallel make for profiling code, without it there are file
collisions as each parallel run uses the default file name.

There is already code in the runtime library to specify the output file name
via the command line, but this only works for programs which already process
argc/argv.  This patch builds on that support.

Patch by Alastair Murray.

llvm-svn: 167269

When finding a '(' after '::', emit error with hint to remove '(' and matching
')', if found.  Don't crash.
Fixes PR11852.

llvm-svn: 167268

Set the MACOSX_DEPLOYMENT_TARGET in a few more places.

llvm-svn: 167267

Update the front end to use minsize attribute

llvm-svn: 167266

OutputArg: added an index of the original argument to match the change to
InputArg in r165616.

This will enable us to get the actual type for both InputArg and OutputArg.

rdar://9932559

llvm-svn: 167265

Set the MACOSX_DEPLOYMENT_TARGET for Debug/Release builds
(but not BuildAndIntegration builds).

llvm-svn: 167264

Change DataExtractor::Dump() to use a series of if..else if
statements instead of a switch for the size of the floating
point types; some architectures sizeof double and sizeof long
double are the same and that's invalid in a switch.

Fix the LLDB_DISABLE_PYTHON ifdef block in FormatManager::LoadObjCFormatters
so it builds on arm again.

llvm-svn: 167263

<rdar://problem/12585314>

LLDB now provides base class offsets (virtual and non virtual) to Clang's record layout. We previously were told this wasn't necessary, but it is when pragma pack gets involved.

llvm-svn: 167262

Simplify: replace getContext().getLangOpts() with just getLangOpts().

llvm-svn: 167261

Clean up misapplication of diff.

llvm-svn: 167260

Split emission of -ftrapv checks and -fcatch-undefined-behavior checks into
separate functions, since they share essentially no code.

llvm-svn: 167259

Remove divison-by-zero checks from -ftrapv. These checks were incompatible with
g++'s -ftrapv, failed to call the -ftrapv overflow handler, and are still
available under -fcatch-undefined-behavior.

llvm-svn: 167258

BBVectorize: Commit the rest of the test-case change.

llvm-svn: 167257

BBVectorize: Use target costs for incoming and outgoing values instead of the depth heuristic.

When target cost information is available, compute explicit costs of inserting and
extracting values from vectors. At this point, all costs are estimated using the
target information, and the chain-depth heuristic is not needed. As a result, it is now, by
default, disabled when using target costs.

llvm-svn: 167256

Remove runtime tests from polly test suite

Similar to LLVM we now follow the policy of only having LLVM-IR level tests in
the Polly test suite. Testing for miscompilation of larger programs should be
done with the llvm test suite.

llvm-svn: 167255

rename dylibNamesToOrdinal now that it is an ivar

llvm-svn: 167254

Get rid of hack by making the actual call public. This was causing the lldb-platform to not be able to link.

llvm-svn: 167253

Fix the template type diffing to handle integral template arguments.

llvm-svn: 167252

Dependences: Add support to calculate memory based dependences

Instead of calculating exact value (flow) dependences, it is also possible to
calculate memory based dependences. Sometimes memory based dependences are a lot
easier to calculate. To evaluate the benefits, we add an option to calculate
memory based dependences (use -polly-value-dependences=false).

llvm-svn: 167251