[analyzer] Propagate the checker's state from checkBranchCondition

Fixes a bug, where we were dropping the state modifications from the
checkBranchCondition checker callback.

llvm-svn: 170232

[analyzer] Refactor: Store visited Decls instead of CallGraphNodes.

llvm-svn: 170231

Use renamed CommonOptionsParser member functions

GetCompilations() and GetSourcePathLists() were renamed to match LLVM style.

Reviewed By: Alexander Kornienko

llvm-svn: 170230

Style and Doc fix for CommonOptionsParser

- Renaming GetCompilations() and GetSourcePathList() to follow LLVM
  style.
- Updating docs to reflect name change.
- Also updating help text to not mention clang-check since this class
  can be used by any tool.

Reviewed By: Alexander Kornienko

llvm-svn: 170229

[preprocessor] For errors at a function macro invocation, also include
a note about where the macro is defined.

llvm-svn: 170228

Add more reset methods to make all objects that the backend may use for outputting code have a reset, some are not used but were declared for completeness

llvm-svn: 170227

rdar://12753946

Implement rule : "x * (select cond 1.0, 0.0) -> select cond x, 0.0"

llvm-svn: 170226

[CMake] Move libxml2 stuff from clang to llvm/cmake.

llvm-svn: 170225

Change crash handling to use eStateStopped rather than eStateCrashed.

llvm-svn: 170224

Don't require a space between the two ">" in "vector<id<protocol>>" in objc++11.

C++11 allowed writing "vector<vector<int>>" without a space between the two ">".
This change allows this for protocols in template lists too in -std=c++11 mode,
and improves the diagnostic in c++98 mode.

llvm-svn: 170223

This patch improves the 64-bit PowerPC InitialExec TLS support by providing
for a wider range of GOT entries that can hold thread-relative offsets.
This matches the behavior of GCC, which was not documented in the PPC64 TLS
ABI.  The ABI will be updated with the new code sequence.

Former sequence:

  ld 9,x@got@tprel(2)
  add 9,9,x@tls

New sequence:

  addis 9,2,x@got@tprel@ha
  ld 9,x@got@tprel@l(9)
  add 9,9,x@tls

Note that a linker optimization exists to transform the new sequence into
the shorter sequence when appropriate, by replacing the addis with a nop
and modifying the base register and relocation type of the ld.

llvm-svn: 170209

[Sanitizer] remove extra typename

llvm-svn: 170208

tsan: add test for errno spoiling in signal handler

llvm-svn: 170207

[sanitizer] add AllocatorLeakTest

llvm-svn: 170206

tsan: add test for malloc/free in signal handler

llvm-svn: 170205

Add MemorySanitizer.cpp to the lint script.

llvm-svn: 170204

Fix lint warnings in MemorySanitizer.cpp.

llvm-svn: 170203

tsan: fix lint warning

llvm-svn: 170202

The CellSPU backend is more than experimental, it's dead now...

llvm-svn: 170201

Remove a section that was in 3.1's notes.

Just give a shout if this was actually still important....

llvm-svn: 170200

[msan] Origin stores and loads do not need explicit alignment.

Origin address is always 4 byte aligned, and the access type is always i32.

llvm-svn: 170199

Remove several entries from the 3.2 release notes that were in the 3.1
release notes already. =]

llvm-svn: 170198

Fix the order of these sections of the release notes.

llvm-svn: 170197

Add a rough draft of some content about the new SROA. I'll try to proof
read this and clean it up tomorrow, but hopefully it's a good
placeholder.

llvm-svn: 170196

Delete a long-stale "if its ready" comment. All indications is that this
will look a bit different when we have time to get it ready to turn on,
and we won't likely need this reminder.

llvm-svn: 170195

Provide some actual highlight bullets for Clang.

If anyone has better highlights (I'm obviously biased by the things that
I'm excited about) jump in and add them!

llvm-svn: 170194

[asan] more asan_allocator2 code: record the allocation stack trace, implement calloc/etc

llvm-svn: 170193

[msan] Refactor default shadow propagation and origin tracking.

This change moves the code for default shadow propagaition (handleShadowOr)
and origin tracking (setOriginForNaryOp) into a new builder-like class. Also
gets rid of handleShadowOrBinary.

llvm-svn: 170192

tsan: fix build

llvm-svn: 170191

[asan] more asan_allocator2 code: actually un/poison shadow on malloc/free

llvm-svn: 170190

[Sanitizer] use INTERCEPT_FUNCTION(foo) instead of CHECK(INTERCEPT_FUNCTION(foo)) - this check may fail on Linux if user program defines its own version of library function foo

llvm-svn: 170189

Targets.cpp: [cygwin] Add the predefined macro "_X86_", according to newer version of cygwin/w32api.

llvm-svn: 170188

tsan: disable allocator tests in debug build

llvm-svn: 170187

tsan: comment out debug output in test

llvm-svn: 170186

tsan: add sanity test for Go runtime into presubmit test

llvm-svn: 170185

tsan: add socketpair() interceptor and test

llvm-svn: 170184

Change TargetLowering::getLoadExtAction to take an MVT, instead of
EVT.

llvm-svn: 170183

Have Sema::ActOnStartOfFunctionDef return the declaration that was passed it.

This fixes the missing warning here:

struct S {
    template <typename T>
    void meth() {
        char arr[3];
        arr[4] = 0; // warning: array index 4 is past the end of the array
    }
};

template <typename T>
void func() {
    char arr[3];
    arr[4] = 0; // no warning
}

llvm-svn: 170180

Remove code from Sema::ActOnStartOfFunctionTemplateDef that duplicates what
Sema::ActOnStartOfFunctionDef is already doing.

llvm-svn: 170179

fix another spello

llvm-svn: 170177

fix spello

llvm-svn: 170176

clang/test/CodeGenCXX/lambda-expressions.cpp: Relax expression for -Asserts.

"entry:" is not met in -Asserts build.

llvm-svn: 170175

Cleaned up the UUID mismatch just printing itself whenever it wants to by allowing an optional feedback stream to be passed along when getting the symbol vendor.

llvm-svn: 170174

<rdar://problem/12878674>

Remove debug asserts.

llvm-svn: 170173

revert r170166 - disable the loop vectorizer.

llvm-svn: 170172

Rmoved the old LLVM disassembler based on libedis.

llvm-svn: 170171

Refactor dump methods to make RegionBindingsRef printable in the debugger.

llvm-svn: 170170

Made the struct test case actually use an expression
instead of falling through to the "frame variable"
code.

llvm-svn: 170169

Some incorrect debug information caused LLDB
to report a structure with an array of size 1
at the end without accounting for that array
when reporting the struct's total size to Clang.

LLDB now coerces such an array to size 0.

<rdar://problem/12822204>

llvm-svn: 170168

Trigger the display of error and output in sourced commands from the result object's status instead of the presence of text in the error stream
This should be more consistent with the notion of command success/failure and avoids spewing warnings that the user might not care about
There will need to be an option to specify the level of verbosity desired (never show anything, only show failures, errors and warning, everything)

llvm-svn: 170167

Enable the loop vectorizer.

llvm-svn: 170166

Fix a parser_type to get created with the right AST, and also make variables made from symbols to not be "void * const", but just "void *".

llvm-svn: 170165

Make the test less sensitive to the inline threshold.

llvm-svn: 170164

Fixing the -f option so that one specify multiple filters, e.g.

./dotest.py  -C clang --arch x86_64 --arch i386  -v -t -f ObjCDataFormatterTestCase.test_appkit_with_dsym_and_run_command -f ObjCDataFormatterTestCase.test_appkit_with_dwarf_and_run_command -f TestObjCBuiltinTypes.test_with_dsym_and_python_api -f TestObjCBuiltinTypes.test_with_dwarf_and_python_api -f ObjCDataFormatterTestCase.test_appkit_with_dsym_and_run_command -f ObjCDataFormatterTestCase.test_appkit_with_dwarf_and_run_command -f TestObjCBuiltinTypes.test_with_dsym_and_python_api -f -TestObjCBuiltinTypes.test_with_dwarf_and_python_api

The previous implementation would only remember the last filter passed, and consequently break redo.py

llvm-svn: 170163

Disable the loop vectorizer.

llvm-svn: 170162

<rdar://problem/11689939>

Supporting a compact display syntax for ObjC pointers where 0x00.....0 is replaced by a much more legible "nil"
e.g. this would show:
(NSArray *) $2 = nil
instead of:
(NSArray *) $2 = 0x0000000000000000 <nil>

llvm-svn: 170161

Make sure the __invoke function for lambdas returns properly.  Per bug report on IRC>

llvm-svn: 170160

Use the new MI bundling API in MachineInstrBundle itself.

The new API is higher level than just manipulating the bundle flags
directly, and the setIsInsideBundle() function will disappear soon.

llvm-svn: 170159

Remove two popcount patterns which we are already able to recognize.

llvm-svn: 170158

Enable the Loop Vectorizer by default for O2 and O3. Disable if-conversion by default. I plan to revert this patch later today.

llvm-svn: 170157

Debug Info: add support to mark member variables as artificial

This is the LLVM portion of r170154.

llvm-svn: 170156

fix comment.

llvm-svn: 170155

Debug Info: Emit vtables pointer members as artificial.

I wasn't sure where to put the test case for this, but this seemed like as good
a place as any. I had to reorder the tests here to make them legible while
still matching the order of metadata output in the IR file (for some reason
making it virtual changed the ordering).

Relevant commit to fix up LLVM to actually respect 'artificial' member
variables is coming once I write up a test case for it.

llvm-svn: 170154

Fixed a thinko in the handling of the case where more than one thread had stopped with real stop reasons at the same time.
Should be that if any of the threads wants to stop, we should stop.  The opposite was what was actually happening

<rdar://problem/12869725>

llvm-svn: 170153

Removed the == and != operators from ArchSpec, since
equality can be strict or loose and we want code to
explicitly choose one or the other.

Also renamed the Compare function to IsEqualTo, to
avoid confusion.

<rdar://problem/12856749>

llvm-svn: 170152

[PCH] Make the new PCH format (control block) backwards compatible and
don't crash when loading a PCH with the older format.

The introduction of the control block broke compatibility with PCHs from
older versions. This patch allows loading (and rejecting) PCHs from an older
version and allows newer PCHs to be rejected from older clang versions as well.

rdar://12821386

llvm-svn: 170150

This is another cleanup patch for 64-bit PowerPC TLS processing.  I had
some hackery in place that hid my poor use of TblGen, which I've now sorted
out and cleaned up.  No change in observable behavior, so no new test cases.

llvm-svn: 170149

Change TargetLowering::setTypeAction to take an MVT, instead fo EVT.

llvm-svn: 170148

Add support for current Ubuntu Quantal and the upcoming Raring.
Patch by Martin Nowack.

llvm-svn: 170147

<rdar://problem/12700464>

Fixing an issue where errors in command files sourced as arguments to command-line lldb (e.g. ./lldb -s foo.cmd) would not be shown to the user

llvm-svn: 170146

docs: Improve discussion of syntax highlighting.

llvm-svn: 170145

Documentation: CompilerWriterInfo.rst: update link to Intel documentation

Replaces old Pentium 4 documentation link with generic current documentation link.

Patch by Kevin Schoedel.

llvm-svn: 170144

Revert 170049 because it fails with an assertion on one of the spec2000 workloads.

llvm-svn: 170143

Fix warnings with -DNDEBUG

Patch by: NAKAMURA Takumi

llvm-svn: 170142

This is just a clean-up patch that simplifies the initial-exec TLS logic by
avoiding use of machine operand flags.  No change in observable behavior, so
no new test cases.

llvm-svn: 170141

Change TargetLowering::getRepRegClassFor to take an MVT, instead of
EVT.

Accordingly, change RegDefIter to contain MVTs instead of EVTs.

llvm-svn: 170140

[analyzer] Fix doc error (wrong param name) in ObjCSuperCallChecker.

Thanks for the -Wdocumentation catch, Dmitri!

llvm-svn: 170139

isl: detect vector parallelism

llvm-svn: 170138

Update CMake build corresponding to r170135.

Thanks to Saleem Abdulrasool, aka compnerd!

llvm-svn: 170136

Dont use/link ARCMT, StaticAnalyzer and Rewriter to clang when the user
specifies not to. Dont build ASTMatchers with Rewriter disabled and
StaticAnalyzer when it's disabled.

Without all those three, the clang binary shrinks (x86_64) from ~36MB
to ~32MB (unstripped).

llvm-svn: 170135

Add options to disable building of ARCMT, Rewriter and Static Analyzer
in clang. The default remains to build those.

llvm-svn: 170134

Documentation: add AutomaticReferenceCounting.rst to the toctree

llvm-svn: 170133

Documentation: convert AutomaticReferenceCounting.html to reST

Patch by Anastasi Voitova with with small fixes by me.

llvm-svn: 170132

tsan: fix compilation with -pedantic

llvm-svn: 170131

Fix spelling

llvm-svn: 170130

JITEventListener.h: Use llvm-config.h instead of config.h.

llvm-svn: 170129

Revert r170020, "Simplify negated bit test", for now.

This assumes (1 << n) is always not zero. Consider n is greater than word size.
Although I know it is undefined, this transforms undefined behavior hidden.

This led clang unexpected behavior with some failures. I will investigate to fix undefined shl in clang.

llvm-svn: 170128

Rename StmtDumper to ASTDumper.
Patch contributed by Philip Craig!

llvm-svn: 170127

Add a dummy documentation file to unbreak 'make install'.  We need to find how
to package reST-formatted documentation.

llvm-svn: 170126

Remove little endian specification from SPIR data layout - SPIR doesn't define endiannes in the data layout.

llvm-svn: 170125

[asan] pop the internal stack frames in SlowUnwindStack, extend the test to check this

llvm-svn: 170124

[Sanitizer] disable lint check for line length in ASan output tests

llvm-svn: 170123

[asan] extend overflow-in-qsort.cc to check both unwind kinds. One more test for SlowUnwind. Move both to Linux dir (no slow unwind on Mac)

llvm-svn: 170122

[ASan] Allow leading underscore in function name to please output tests on Mac

llvm-svn: 170121

[ASan] don't print memory stats on CheckFailed

llvm-svn: 170120

[asan] fix win build

llvm-svn: 170119

[asan] fix mac build

llvm-svn: 170118

[asan] add two asan flags: fast_unwind_on_fatal and fast_unwind_on_malloc to allow using the slow CFI-based unwinder

llvm-svn: 170117

tsan: completely disable deadlock detector for Go
seems to cause some weird stack overflow

llvm-svn: 170116

[Sanitizer] Add new header - sanitizer_platform_interceptors.h, which should define whether or not given function should be intercepted on a given platform.

llvm-svn: 170115