[ASan] Support comments in ASan/TSan blacklist file as lines starting with #

llvm-svn: 166283

[ASan] instrumented asan unit tests should depend on blacklist file

llvm-svn: 166282

Change VerifyDiagnosticConsumer so that it *must* contain at least one "expected-*" directive.  As a result, for test-cases that are not expected to generate any diagnostics, an additional directive "expected-no-diagnostics" has been implemented which can then be included in such test-cases.  This new directive may not be used in conjunction with any other "expected-*" directive.

This change was initially proposed as a solution to the problem highlighted by check-in r164677, i.e. that -verify will not cause a test-case failure where the compile command does not actually reference the file.

Patch reviewed by David Blaikie.

llvm-svn: 166281

Prior to adding the new "expected-no-diagnostics" directive to VerifyDiagnosticConsumer, make the necessary adjustment to 580 test-cases which will henceforth require this new directive.

llvm-svn: 166280

Fix directive parsing in VerifyDiagnosticConsumer so that it ensures that "expected" is at the start of the word and will no longer accept typos such as "junkexpected-*" as a valid "expected-*" directive.  A very few test-cases had to be amended to adhere to the new rule.

Patch reviewed by David Blaikie.

llvm-svn: 166279

Move SplitBlockAndInsertIfThen to BasicBlockUtils.

llvm-svn: 166278

LoopVectorize: Keep the IRBuilder on the stack.

No functionality change.

llvm-svn: 166274

ARM:
Removed extra stack frame object for fixed byval arguments,
VarArgsStyleRegisters invocation was reworked due to some improper usage in
past. PR14099 also demonstrates it.

llvm-svn: 166273

Revert r166268, this fix for a crash-on-invalid introduced a rejects-valid.
Richard has an unreduced testcase to work with.

llvm-svn: 166272

[asan] update asan docs to explain more about linking and to mention full support for i386 Linux

llvm-svn: 166271

Pacify -Wnon-virtual-dtor.

llvm-svn: 166270

DR1511: A const volatile global does not implicitly get internal linkage like a
const non-volatile global does.

llvm-svn: 166269

PR14124: When performing template instantiation of a qualified-id outside of a
class, diagnose if the qualified-id instantiates to a non-static class member.

llvm-svn: 166268

[asan] make sure asan erases old unused allocas after it created a new one. This became important after the recent move from ModulePass to FunctionPass because no cleanup is happening after asan pass any more.

llvm-svn: 166267

Fix handling of the regparm attribute in the presence of classes with copy
constructors.

When I first moved regparm support to TargetInfo.cpp I tried to isolate it
in classifyArgumentTypeWithReg, but it is actually a lot easier to flip the
code around and check for regparm at the end of the decision tree.

Without this refactoring classifyArgumentTypeWithReg would have to duplicate
the logic about when to use non-byval indirect arguments.

llvm-svn: 166266

Teach getColumnNumber to use the line cache to get the start of the line if its on the same line as the last call to getLineNumber. Prevents needing to scan backwards for the new line. Fixes PR14106.

llvm-svn: 166265

recommit the patch that makes LSR and LowerInvoke use the TargetTransform interface.

llvm-svn: 166264

Reintroduce the TargetTransformInfo to the clang pass manager.

llvm-svn: 166263

Add a new target setting to disable automatic loading of kext images
in a kernel debug session:

settings set target.disable-kext-loading true

<rdar://problem/12490623>

llvm-svn: 166262

clang/test/Index/annotate-comments.cpp: Relax the expression to be matched to -fms-compatibility. Then XFAIL can be removed.

FYI, it can be reproduced with "c-index-test -std=c++11 -fms-compatibility".

llvm-svn: 166261

Simplify condition checking as CONCAT assume all inputs of the same type.

llvm-svn: 166260

typeo fix in comment

llvm-svn: 166259

Change CommunicationKDP::SendRequestWriteMemory to append data as binary
instead of asciified bytes.  <rdar://problem/12522978>

llvm-svn: 166258

ASTWriter.cpp: Fix a warning. [-Wunused-variable]

llvm-svn: 166257

Fixed a bug where empty C structs were given size
1 by the expression parser.  We now correctly
report that they are of size 0.  (C++ structs
are mandated to have nonzero size, and Clang marks
them as being 1 byte in size.)

<rdar://problem/12380800>

llvm-svn: 166256

vectorizer: Add support for reading and writing from the same memory location.

llvm-svn: 166255

Handle diamond inheritance in -Woverloaded-virtual.

llvm-svn: 166254

Fix typo in comment.

llvm-svn: 166253

Describe the new input-files block and its record, for llvm-bcanalyzer.

llvm-svn: 166252

Move the set of files to be validated in an AST file into the control
block, so the input files are validated early on, before we've
committed to loading the AST file. This (accidentally) fixed a but
wherein the main file used to generate the AST file would *not* be
validated by the existing validation logic.

At the moment, this leads to some duplication of filenames between the
source manager block and input-file blocks, as well as validation
logic. This will be handled via an upcoming patch.

llvm-svn: 166251

clang/test/Index/annotate-comments.cpp: Mark this as XFAIL on msvc. Investigating.

llvm-svn: 166250

Change the "rb" alias to "rbreak" since some people are used to typing more than "rb" and so weren't
finding the alias.

llvm-svn: 166249

Reapply the TargerTransformInfo changes, minus the changes to LSR and Lowerinvoke.

llvm-svn: 166248

cleanup the comment.

llvm-svn: 166247

Fix comment typo.

llvm-svn: 166246

Revert r166223 and the subsequent commits that depend on it, r166230 & r166235.

This seems to have introduced assertion hit when building compiler-rt.

llvm-svn: 166245

<rdar://problem/12491420>

Added a new setting that allows a python OS plug-in to detect threads and provide registers for memory threads. To enable this you set the setting:

settings set target.process.python-os-plugin-path lldb/examples/python/operating_system.py

Then run your program and see the extra threads.

llvm-svn: 166244

Fix case for include of Compiler.h.

llvm-svn: 166243

Add move constructors for OwningPtr and OwningArrayPtr.

While LLVM itself is still C++03, there's no reason why tools built on
top of it can't use C++11 features.

llvm-svn: 166242

Add a T&& constructor to llvm::Optional.

This allows llvm::Optional to be used with movable-but-not-copyable types.
While LLVM itself is still C++03, there's no reason why tools built on
top of it can't use C++11 features.

llvm-svn: 166241

Fix up comment and invert order. Most simple check first.

llvm-svn: 166240

Mark bugpoint tests with XFAIL when building with LTO. <rdar://problem/12473675>

The LTO Internalize pass is hiding symbols needed by the bugpoint-passes
plug-in.  We need to add a flag to control whether Internalize should be run.
This is a temporary workaround to make these tests pass in the meantime.

llvm-svn: 166239

Mention "break set -r" and "break set -p".

llvm-svn: 166238

Use the type as written when pretty-printing C-style casts.  Patch by Grzegorz Jablonski.

llvm-svn: 166237

Add a new option for and disable column number information as there
are no known current users of column info. Robustify and fix up
a few tests in the process. Reduces the size of debug information
by a small amount.

Part of PR14106

llvm-svn: 166236

Remove trailing comma.

llvm-svn: 166235

Fix a bug where a 32-bit address with the high bit does not get symbolicated
because the value is incorrectly being signed extended when passed to
SymbolLookUp().

llvm-svn: 166234

Move OriginalDir from ASTReader to ModuleFile.

llvm-svn: 166233

fix a naming typo

llvm-svn: 166232

[doc parsing] use getParamName to access parameter
for current(rewritten) comment and getParamNameAsWritten
to access param name coming with \param marker.

llvm-svn: 166231

[Options] Make Option non clang specific.

llvm-svn: 166230

Move the "RelocatablePCH" bit from the ASTReader to the module file.

llvm-svn: 166229

Move information about the "original file" from the ASTReader into the
module files.

llvm-svn: 166228

Remove check which incorrectly suppressed printing an identifier in type printing.  Patch by Benoit Perrot.

llvm-svn: 166227

Fix AST pretty-printing for C++ new expressions with placement arguments with default values.

Based on patch by Grzegorz Jablonski.

llvm-svn: 166226

test: Add a lit config variable to check if LTO is enabled.

llvm-svn: 166225

lit: Allow XFAIL: lines to also refer to "features".

llvm-svn: 166224

[Options] make Option a value type.

llvm-svn: 166223

[ms-inline asm] Add a size argument to the LookupInlineAsmIdentifier() callback,
which will be used by the asm matcher in the near future.

llvm-svn: 166222

[ms-inline asm] Add a size argument to the LookupInlineAsmIdentifier() callback,
which will be used by the asm matcher in the near future.

llvm-svn: 166221

Use an export list when building JIT unittests. <rdar://problem/12473675>

When building with LTO, the internalize pass is hiding some global symbols
that are necessary for the JIT unittests. It seems like that may be a bug in
LTO to do that by default, but until that gets fixed, this change makes sure
that we export the necessary symbols for the tests to pass.

llvm-svn: 166220

Fix Objective-C implicit property synthesis for C++ classes so we use valid
source locations in places where it is necessary for diagnostics.  By itself,
this causes assertions, so while I'm here, also fix property synthesis
for properties of C++ class type so we use so we properly set up a scope
and mark variable declarations.

<rdar://problem/12514189>.

llvm-svn: 166219

Emit diagnostics in chunks even when we're trying to print colored template diffs.

char-by-char is really slow on an unbuffered stream.

llvm-svn: 166218

Use pre-python 2.5 syntax in lit.cfg.

Author:    Quentin Neill <qneill@codeaurora.org>
llvm-svn: 166217

Clear unknown mem ops when merging stack slots (pr14090)

When merging stack slots, if StackColoring::remapInstructions gets a
value back from GetUnderlyingObject that it does not know about or is
not itself a stack slot, clear the memory operand in case it aliases
the merged slot. This prevents the introduction of incorrect aliasing
information.

Author:    Matthew Curtis <mcurtis@codeaurora.org>
llvm-svn: 166216

Change MachineFrameInfo::StackObject::Alloca from Value* to AllocaInst*

This more accurately reflects what is actually being stored in the
field.

No functionality change intended.

Author:    Matthew Curtis <mcurtis@codeaurora.org>
llvm-svn: 166215

[ms-inline asm] Have the LookupInlineAsmIdentifier() callback function return a
*NamedDecl.  In turn, build the expressions after we're finished parsing the
asm.  This avoids a crasher if the lookup fails.

llvm-svn: 166213

[ms-inline asm] Have the LookupInlineAsmIdentifier() callback function return a
*NamedDecl.  In turn, build the expressions after we're finished parsing the
asm.  This avoids a crasher if the lookup fails.

llvm-svn: 166212

[analyzer] Ivar invalidation: identify properties declared in protocols.

llvm-svn: 166211

Factor CollectClassPropertyImplementations out of Sema into AST

This would make it possible for the analyzer to use the function.

llvm-svn: 166210

Patch for decl printer test of objective-c methods.
Patch by Dmitri Gribenko.

llvm-svn: 166209

From Vassil Vassilev: enable Sema to deal with multiple ExternalSemaSources.

llvm-svn: 166208

Revert "We need this symbol after an LTO build."

This reverts commit 165776.  The plug-in uses this symbol; it does not
define it.  It needs to be exported from bugpoint itself, not from the plug-in.

llvm-svn: 166207

Collapse the original file name and original file ID records into a
single record.

llvm-svn: 166206

Avoid reconstructing the pointer set when searching for duplicated read/write pointers.

llvm-svn: 166205

Collapse the "version control revision/tag" AST file record into the
metadata record, which already had other version information. Clean up
the block info block along the way.

llvm-svn: 166204

Fix more documentation comments in Comment.h

llvm-svn: 166203

Expand the comment for DeclInfo::CurrentDecl.

llvm-svn: 166202

Update the LangRef documentation for the per pointer address space support.

llvm-svn: 166201

Cosmetic change -- move two simplifiers to the right commented statement group.

llvm-svn: 166199

instcombine: Migrate strcpy optimizations

This patch migrates the strcpy optimizations from the simplify-libcalls pass
into the instcombine library call simplifier.  Note also that StrCpyChkOpt
has been updated with a few simplifications that were being done in the
simplify-libcalls version of StrCpyOpt, but not in the migrated implementation
of StrCpyOpt.  There is no reason to overload StrCpyOpt with fortified and
regular simplifications in the new model since there is already a dedicated
simplifier for __strcpy_chk.

llvm-svn: 166198

test commit: verifying access from new address

llvm-svn: 166197

In SimplifySelectOps we pulled two loads through a select node despite the fact that one was dependent on the other.

rdar://12513091

llvm-svn: 166196

Split the target options out into their own record within the AST
file's control block.

llvm-svn: 166195

DR1442: In a range-based for statement, namespace 'std' is not an associated
namespace.

llvm-svn: 166194

[ms-inline asm] Remove accidental commit.

llvm-svn: 166193

Improve comment in couple of fields of DeclInfo.

llvm-svn: 166192

When looking for a vector representation of a scalar, do a single lookup. Also, cache the result of the broadcast instruction.
No functionality change.

llvm-svn: 166191

Fix this test to match recent addition of declaration tag.

llvm-svn: 166190

This update does the following:
  * Moves enum Scope from DefinedAtom.h to Atom.h
  * Adds scope method to AbsoluteAtom class
  * Updates YAML to print scope of AbsoluteAtoms
  * Update Native Reader/Writer to handle this new, "attribute"
  * Adds testcase
Reviewed and approved by Nick Kledzik

llvm-svn: 166189

PR14021: Copy lookup results to ensure safe iteration.

Within the body of the loop the underlying map may be modified via

  Sema::AddOverloadCandidate
    -> Sema::CompareReferenceRelationship
    -> Sema::RequireCompleteType

to avoid the use of invalid iterators the sequence is copied first.

A reliable, though large, test case is available - it will be reduced and
committed shortly.

Patch by Robert Muth. Review by myself, Nico Weber, and Rafael Espindola.

llvm-svn: 166188

<rdar://problem/12462048>
<rdar://problem/12068650>

More fixes to how we handle paths that are used to create a target.

This modification centralizes the location where and how what the user specifies gets resolved. Prior to this fix, the TargetList::CreateTarget variants took a FileSpec object which meant everyone had the opportunity to resolve the path their own way. Now both CreateTarget variants take a "const char *use_exe_path" which allows the TargetList::CreateTarget to centralize where the resolving happens and "do the right thing".

llvm-svn: 166186

[ms-inline asm] Move most of the AsmParsing logic in clang back into the MC
layer.  Use the new ParseMSInlineAsm() API and add an implementation of the
MCAsmParserSemaCallback interface.

llvm-svn: 166184

[ms-inline asm] Move most of the AsmParsing logic in clang back into the MC
layer.  Add the ParseMSInlineAsm() function, which is the new interface to
clang.  Also expose the new MCAsmParserSemaCallback interface, which is used
by the back-end to do name lookup in Sema.  Finally, remove the now defunct
APIs introduced in r165946.

llvm-svn: 166183

Fix typo (test commit)

llvm-svn: 166181

[asan] Disable new/delete interceptors on Android and make them visible elsewhere.

llvm-svn: 166180

Un-XFAIL some tests for comment to XML conversion.  This reverts r166151 and
fixes the tests for builds without libxml2.

llvm-svn: 166179

This patch fixes failures in the SingleSource/Regression/C/uint64_to_float
test case on PowerPC caused by rounding errors when converting from a 64-bit
integer to a single-precision floating point. The reason for this are
double-rounding effects, since on PowerPC we have to convert to an
intermediate double-precision value first, which gets rounded to the
final single-precision result.

The patch fixes the problem by preparing the 64-bit integer so that the
first conversion step to double-precision will always be exact, and the
final rounding step will result in the correctly-rounded single-precision
result.  The generated code sequence is equivalent to what GCC would generate.

When -enable-unsafe-fp-math is in effect, that extra effort is omitted
and we accept possible rounding errors (just like GCC does as well).

llvm-svn: 166178

[Sanitizer] fall back to online symbolizer if user-provided callback failed

llvm-svn: 166177

Refactor insert and extract of sub-integers into static helpers that
operate purely on values. Sink the alloca loading and storing logic into
the rewrite routines that are specific to alloca-integer-rewrite
driving. This is just a refactoring here, but the subsequent step will
be to reuse the insertion and extraction logic when rewriting integer
loads and stores that have been split and decomposed into narrower loads
and stores.

No functionality changed other than different names for instructions.

llvm-svn: 166176