r339641 - [CStringSyntaxChecker] Check strlcat sizeof check

2018-08-13 Thread David Carlier via cfe-commits
Author: devnexen Date: Mon Aug 13 22:12:53 2018 New Revision: 339641 URL: http://llvm.org/viewvc/llvm-project?rev=339641=rev Log: [CStringSyntaxChecker] Check strlcat sizeof check - Assuming strlcat is used with strlcpy we check as we can if the last argument does not equal os not larger than

[PATCH] D49722: [CStringSyntaxChecker] Check strlcat sizeof check

2018-08-13 Thread David CARLIER via Phabricator via cfe-commits
This revision was automatically updated to reflect the committed changes. Closed by commit rL339641: [CStringSyntaxChecker] Check strlcat sizeof check (authored by devnexen, committed by ). Herald added a subscriber: llvm-commits. Changed prior to commit:

Re: r339428 - Add Windows support for the GNUstep Objective-C ABI V2.

2018-08-13 Thread Galina Kistanova via cfe-commits
Hello David, This commit broke the following test on the expensive check builder: CodeGenObjC/2007-04-03-ObjcEH.m The last green build is for r339427 - http://lab.llvm.org:8011/builders/llvm-clang-x86_64-expensive-checks-win/builds/11726 r339428 makes it red -

[PATCH] D50663: [libunwind] [cmake] Add MINGW_LIBRARIES to the linker flags

2018-08-13 Thread Petr Hosek via Phabricator via cfe-commits
phosek accepted this revision. phosek added a comment. This revision is now accepted and ready to land. LGTM Repository: rUNW libunwind https://reviews.llvm.org/D50663 ___ cfe-commits mailing list cfe-commits@lists.llvm.org

[PATCH] D49885: Thread safety analysis: Allow relockable scopes

2018-08-13 Thread Aaron Puchert via Phabricator via cfe-commits
aaronpuchert added a comment. The case distinction in `case attr::AcquireCapability` is not very beautiful, but it's due to the fact that scoped capabilities are not "real" capabilities and so we need to distinguish them. What this still doesn't allow for is attributes on other classes than

[PATCH] D50341: [libcxx] Fix XFAILs for aligned allocation tests on older OSX versions

2018-08-13 Thread Volodymyr Sapsai via Phabricator via cfe-commits
vsapsai added a comment. What about defining a feature for unsupported configurations? I've tried if '__cpp_aligned_new' not in macros or \ intMacroValue(macros['__cpp_aligned_new']) < 201606: self.config.available_features.add('libcpp-no-aligned-new') and `// UNSUPPORTED:

[PATCH] D49885: Thread safety analysis: Allow relockable scopes

2018-08-13 Thread Aaron Puchert via Phabricator via cfe-commits
aaronpuchert updated this revision to Diff 160505. aaronpuchert added a comment. Fix crash. The problem was that ACQUIRES with arguments did not no longer have (only) `this` as argument, hence our assumption that we would have only ScopedLockableFactEntry's was false. So now we lock a bit

[PATCH] D50526: Model type attributes as regular Attrs

2018-08-13 Thread Reid Kleckner via Phabricator via cfe-commits
rnk added a comment. I went ahead and reverted this in https://reviews.llvm.org/rC339638, and will produce a reduction soon. Repository: rC Clang https://reviews.llvm.org/D50526 ___ cfe-commits mailing list cfe-commits@lists.llvm.org

r339638 - Revert r339623 "Model type attributes as regular Attrs."

2018-08-13 Thread Reid Kleckner via cfe-commits
Author: rnk Date: Mon Aug 13 18:55:37 2018 New Revision: 339638 URL: http://llvm.org/viewvc/llvm-project?rev=339638=rev Log: Revert r339623 "Model type attributes as regular Attrs." This breaks compiling atlwin.h in Chromium. I'm sure the code is invalid in some way, but we put a lot of work

[PATCH] D50526: Model type attributes as regular Attrs

2018-08-13 Thread Reid Kleckner via Phabricator via cfe-commits
rnk added a comment. I suspect that somehow this change broke compiling ATL: https://ci.chromium.org/buildbot/chromium.clang/ToTWin64%28dbg%29/993

[PATCH] D49885: Thread safety analysis: Allow relockable scopes

2018-08-13 Thread Aaron Puchert via Phabricator via cfe-commits
aaronpuchert reopened this revision. aaronpuchert added a comment. This revision is now accepted and ready to land. This didn't cross my mind, because an `ACQUIRES` attribute with arguments on a function other than the constructor does not add the argument locks to the set of managed mutexes.

[PATCH] D50678: [InlineAsm] Update the min-legal-vector-width function attribute based on inputs and outputs to inline assembly

2018-08-13 Thread Reid Kleckner via Phabricator via cfe-commits
rnk accepted this revision. rnk added a comment. This revision is now accepted and ready to land. lgtm https://reviews.llvm.org/D50678 ___ cfe-commits mailing list cfe-commits@lists.llvm.org

[PATCH] D50549: [libcxx] [test] Repair thread unsafety in thread tests

2018-08-13 Thread Billy Robert O'Neal III via Phabricator via cfe-commits
BillyONeal updated this revision to Diff 160498. BillyONeal edited the summary of this revision. BillyONeal added a comment. Remove changes to detach tests. https://reviews.llvm.org/D50549 Files: test/std/thread/thread.threads/thread.thread.class/thread.thread.constr/F.pass.cpp Index:

[PATCH] D50630: [AST] Update/correct the static_asserts for the bit-fields in Type

2018-08-13 Thread John McCall via Phabricator via cfe-commits
rjmccall added a comment. In https://reviews.llvm.org/D50630#1198053, @riccibruno wrote: > I actually did exactly this. My approach was to extend what is already done, > that is add nested classes SomethingBitfields in Type and add an instance of > each to the anonymous union. The classes

[PATCH] D50549: [libcxx] [test] Repair thread unsafety in thread tests

2018-08-13 Thread Billy Robert O'Neal III via Phabricator via cfe-commits
BillyONeal added inline comments. Comment at: test/std/thread/thread.threads/thread.thread.class/thread.thread.member/detach.pass.cpp:73 assert(!t0.joinable()); while (!done) {} assert(G::op_run); dvyukov wrote: > BillyONeal wrote: >

[PATCH] D50683: [Android] Set NewAlign for 64-bit Android to 8 bytes

2018-08-13 Thread Pirama Arumuga Nainar via Phabricator via cfe-commits
pirama created this revision. pirama added reviewers: rsmith, srhines. Android uses jemalloc allocator, which returns 8-byte-aligned pointers for allocations smaller than 8 bytes for 64-bit architectures. Set NewAlign conservatively to 8 bytes. Repository: rC Clang

r339633 - [CodeGen] Before returning a copy/dispose helper function, bitcast it to

2018-08-13 Thread Akira Hatanaka via cfe-commits
Author: ahatanak Date: Mon Aug 13 17:15:42 2018 New Revision: 339633 URL: http://llvm.org/viewvc/llvm-project?rev=339633=rev Log: [CodeGen] Before returning a copy/dispose helper function, bitcast it to a void pointer type. This fixes a bug introduced in r339438. Modified:

r339632 - Fix check strings in test/CodeGenObjC/arc-blocks.m in preperation for

2018-08-13 Thread Akira Hatanaka via cfe-commits
Author: ahatanak Date: Mon Aug 13 17:15:41 2018 New Revision: 339632 URL: http://llvm.org/viewvc/llvm-project?rev=339632=rev Log: Fix check strings in test/CodeGenObjC/arc-blocks.m in preperation for fixing a bug introduced in r339438. Check the descriptor global variables in the IR at both -O0

[PATCH] D50547: [Driver] Use normalized triples for multiarch runtime path

2018-08-13 Thread Reid Kleckner via Phabricator via cfe-commits
rnk added a comment. Would it be to much to check both the normalized and non-normalized? Repository: rC Clang https://reviews.llvm.org/D50547 ___ cfe-commits mailing list cfe-commits@lists.llvm.org

[PATCH] D50678: [InlineAsm] Update the min-legal-vector-width function attribute based on inputs and outputs to inline assembly

2018-08-13 Thread Chandler Carruth via Phabricator via cfe-commits
chandlerc added a comment. This makes sense to me, but definitely wait for someone more familiar w/ Clang's IR gen to review... https://reviews.llvm.org/D50678 ___ cfe-commits mailing list cfe-commits@lists.llvm.org

[PATCH] D50678: [InlineAsm] Update the min-legal-vector-width function attribute based on inputs and outputs to inline assembly

2018-08-13 Thread Craig Topper via Phabricator via cfe-commits
craig.topper created this revision. craig.topper added reviewers: chandlerc, rsmith, rnk. Herald added a subscriber: eraman. Another piece of my ongoing to work for prefer-vector-width. min-legal-vector-width will eventually be used by the X86 backend to know whether it needs to make 512 bits

[PATCH] D50549: [libcxx] [test] Repair thread unsafety in thread tests

2018-08-13 Thread Dmitry Vyukov via Phabricator via cfe-commits
dvyukov added inline comments. Comment at: test/std/thread/thread.threads/thread.thread.class/thread.thread.member/detach.pass.cpp:73 assert(!t0.joinable()); while (!done) {} assert(G::op_run); BillyONeal wrote: > dvyukov wrote: > >

r339631 - [analyzer] Fix UninitializedObjectChecker to not crash on uninitialized "id" fields

2018-08-13 Thread George Karpenkov via cfe-commits
Author: george.karpenkov Date: Mon Aug 13 16:32:15 2018 New Revision: 339631 URL: http://llvm.org/viewvc/llvm-project?rev=339631=rev Log: [analyzer] Fix UninitializedObjectChecker to not crash on uninitialized "id" fields Differential Revision: https://reviews.llvm.org/D50673 Modified:

[PATCH] D50673: [analyzer] Fix UninitializedObjectChecker to not crash on uninitialized "id" fields

2018-08-13 Thread George Karpenkov via Phabricator via cfe-commits
This revision was automatically updated to reflect the committed changes. Closed by commit rC339631: [analyzer] Fix UninitializedObjectChecker to not crash on uninitialized id… (authored by george.karpenkov, committed by ). Herald added a subscriber: cfe-commits. Changed prior to commit:

[PATCH] D50594: [analyzer] [NFC] Introduce separate targets for testing the analyzer: check-clang-analyzer and check-clang-analyzer-z3

2018-08-13 Thread George Karpenkov via Phabricator via cfe-commits
This revision was automatically updated to reflect the committed changes. Closed by commit rC339629: [analyzer] [NFC] Introduce separate targets for testing the analyzer: check… (authored by george.karpenkov, committed by ). Changed prior to commit:

r339629 - [analyzer] [NFC] Introduce separate targets for testing the analyzer: check-clang-analyzer and check-clang-analyzer-z3

2018-08-13 Thread George Karpenkov via cfe-commits
Author: george.karpenkov Date: Mon Aug 13 16:12:43 2018 New Revision: 339629 URL: http://llvm.org/viewvc/llvm-project?rev=339629=rev Log: [analyzer] [NFC] Introduce separate targets for testing the analyzer: check-clang-analyzer and check-clang-analyzer-z3 Current testing setup for analyzer

[PATCH] D50630: [AST] Update/correct the static_asserts for the bit-fields in Type

2018-08-13 Thread Richard Smith - zygoloid via Phabricator via cfe-commits
rsmith added a comment. (Just writing up my archaeology and research so no-one else needs to do it...) We used to intentionally keep the `Type` bitfields 32 bits long. However, these commits (accidentally, as far as I can tell) took us past 32 bits for the type bitfields:

[PATCH] D44100: [ASTImporter] Reorder fields after structure import is finished

2018-08-13 Thread Aleksei Sidorin via Phabricator via cfe-commits
a_sidorin marked 2 inline comments as done. a_sidorin added inline comments. Comment at: lib/AST/ASTImporter.cpp:1029 + + RecordDecl *ToRD = cast(Importer.Import(cast(FromDC))); + martong wrote: > Can't we just import the `FromRD`, why we need that cast at the

[PATCH] D44100: [ASTImporter] Reorder fields after structure import is finished

2018-08-13 Thread Aleksei Sidorin via Phabricator via cfe-commits
a_sidorin updated this revision to Diff 160477. a_sidorin edited the summary of this revision. a_sidorin added a comment. All declarations are reordered now, not only fields. Also some review comments were addressed. Repository: rC Clang https://reviews.llvm.org/D44100 Files:

[PATCH] D50674: [libc++] Add missing #include in C11 features tests

2018-08-13 Thread Louis Dionne via Phabricator via cfe-commits
ldionne created this revision. ldionne added a reviewer: mclow.lists. Herald added a reviewer: EricWF. Herald added subscribers: cfe-commits, dexonsmith, christof. These #includes are quite important, since otherwise any #if TEST_STD_VER > 14 && defined(TEST_HAS_C11_FEATURES) checks are

[PATCH] D50670: Implementation of multiple loops in cxx_loop_proto

2018-08-13 Thread Matt Morehouse via Phabricator via cfe-commits
morehouse added a comment. Does having multiple loops one after another change any coverage in the vectorizer? Repository: rC Clang https://reviews.llvm.org/D50670 ___ cfe-commits mailing list cfe-commits@lists.llvm.org

[PATCH] D48909: [clang-doc] Update BitcodeReader to use llvm::Error

2018-08-13 Thread Eugene Zelenko via Phabricator via cfe-commits
Eugene.Zelenko added a comment. You could use //Differential revision: // in commit description to close review automatically. https://reviews.llvm.org/D48909 ___ cfe-commits mailing list cfe-commits@lists.llvm.org

[PATCH] D50670: Implementation of multiple loops in cxx_loop_proto

2018-08-13 Thread Emmett Neyman via Phabricator via cfe-commits
emmettneyman created this revision. emmettneyman added reviewers: morehouse, kcc. Herald added a subscriber: cfe-commits. Extended `cxx_loop_proto` to have multiple for loops. Modified `loop_proto_to_llvm` and `loop_proto_to_cxx` to handle the new protos. In `loop_proto_to_llvm`, I only

[PATCH] D50630: [AST] Update/correct the static_asserts for the bit-fields in Type

2018-08-13 Thread Bruno Ricci via Phabricator via cfe-commits
riccibruno added a comment. In https://reviews.llvm.org/D50630#1197930, @rjmccall wrote: > In https://reviews.llvm.org/D50630#1197795, @riccibruno wrote: > > > @rjmccall > > > > I would argue that we should make these bit-fields take 8 bytes for the > > following reasons: > > > > 1. On 64 bits

[PATCH] D50641: [clangd][test] Fix exit messages in tests

2018-08-13 Thread Alex Lorenz via Phabricator via cfe-commits
arphaman added a comment. Thanks for fixing this! You're right we should try to fix it properly to avoid such mistakes in the future. Checking for stderr from Clangd might work, but I don't think it's the most optimal solution. What do you think about Clangd exiting with failure on malformed

[PATCH] D50341: [libcxx] Fix XFAILs for aligned allocation tests on older OSX versions

2018-08-13 Thread Louis Dionne via Phabricator via cfe-commits
ldionne added inline comments. Comment at: libcxx/test/libcxx/memory/aligned_allocation_macro.pass.cpp:18 +// XFAIL: macosx10.8 +// XFAIL: macosx10.7 mclow.lists wrote: > These should probably be `UNSUPPORTED` as well. I think the correct thing for those is

[PATCH] D50341: [libcxx] Fix XFAILs for aligned allocation tests on older OSX versions

2018-08-13 Thread Louis Dionne via Phabricator via cfe-commits
ldionne updated this revision to Diff 160465. ldionne marked an inline comment as done. ldionne added a comment. Replace more XFAILs by UNSUPPORTEDs, per Marshall's comment. Repository: rCXX libc++ https://reviews.llvm.org/D50341 Files:

[PATCH] D50666: Fix Stmt::ignoreImplicit

2018-08-13 Thread Richard Smith - zygoloid via Phabricator via cfe-commits
rsmith accepted this revision. rsmith added inline comments. This revision is now accepted and ready to land. Comment at: lib/AST/Stmt.cpp:121-122 - if (auto *bte = dyn_cast(s)) -s = bte->getSubExpr(); +if (auto *ewc = dyn_cast(s)) + s = ewc->getSubExpr();

[PATCH] D50571: [clangd] add an extension field to LSP to transfer the diagnostic's category

2018-08-13 Thread Alex Lorenz via Phabricator via cfe-commits
arphaman updated this revision to Diff 160464. arphaman marked 2 inline comments as done. arphaman added a comment. Address review comments. Repository: rCTE Clang Tools Extra https://reviews.llvm.org/D50571 Files: clangd/ClangdLSPServer.cpp clangd/Diagnostics.cpp clangd/Diagnostics.h

[PATCH] D50341: [libcxx] Fix XFAILs for aligned allocation tests on older OSX versions

2018-08-13 Thread Marshall Clow via Phabricator via cfe-commits
mclow.lists added inline comments. Comment at: libcxx/test/libcxx/memory/aligned_allocation_macro.pass.cpp:18 +// XFAIL: macosx10.8 +// XFAIL: macosx10.7 These should probably be `UNSUPPORTED` as well. Comment at:

[PATCH] D50250: [clang][ubsan] Implicit Conversion Sanitizer - integer sign change - clang part

2018-08-13 Thread Roman Lebedev via Phabricator via cfe-commits
lebedev.ri updated this revision to Diff 160458. lebedev.ri added a comment. Ping. Rebased, now that the https://reviews.llvm.org/D50465 has landed, and we are now able to properly optimize the ugliest case: > This comes with `Implicit Conversion Sanitizer - integer sign change` >

r339623 - Model type attributes as regular Attrs.

2018-08-13 Thread Richard Smith via cfe-commits
Author: rsmith Date: Mon Aug 13 15:07:09 2018 New Revision: 339623 URL: http://llvm.org/viewvc/llvm-project?rev=339623=rev Log: Model type attributes as regular Attrs. Specifically, AttributedType now tracks a regular attr::Kind rather than having its own parallel Kind enumeration, and

r339624 - Fix Clang warnings and bad #include filenames in r339595 and r339599.

2018-08-13 Thread Richard Smith via cfe-commits
Author: rsmith Date: Mon Aug 13 15:07:11 2018 New Revision: 339624 URL: http://llvm.org/viewvc/llvm-project?rev=339624=rev Log: Fix Clang warnings and bad #include filenames in r339595 and r339599. Modified: cfe/trunk/lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedObject.h

[PATCH] D50341: [libcxx] Fix XFAILs for aligned allocation tests on older OSX versions

2018-08-13 Thread Louis Dionne via Phabricator via cfe-commits
ldionne updated this revision to Diff 160457. ldionne added a comment. Switch from XFAIL to UNSUPPORTED, per Marshall's offline comment. Repository: rCXX libc++ https://reviews.llvm.org/D50341 Files: libcxx/test/libcxx/memory/aligned_allocation_macro.pass.cpp

[clang-tools-extra] r339620 - Revert "[clang-doc] Updating BitcodeReader to use llvm::Error"

2018-08-13 Thread Julie Hockett via cfe-commits
Author: juliehockett Date: Mon Aug 13 14:51:48 2018 New Revision: 339620 URL: http://llvm.org/viewvc/llvm-project?rev=339620=rev Log: Revert "[clang-doc] Updating BitcodeReader to use llvm::Error" This reverts commit r339617 for breaking bots. Modified:

[PATCH] D49511: [Sema/Attribute] Check for noderef attribute

2018-08-13 Thread Leonard Chan via Phabricator via cfe-commits
leonardchan added inline comments. Comment at: lib/Sema/SemaExpr.cpp:14249 + +if (Sema::TypeHasNoDeref(Inner)) + DeclRef = E; aaron.ballman wrote: > leonardchan wrote: > > aaron.ballman wrote: > > > The sugar was stripped off at the pointer level, but

[PATCH] D49511: [Sema/Attribute] Check for noderef attribute

2018-08-13 Thread Leonard Chan via Phabricator via cfe-commits
leonardchan updated this revision to Diff 160451. leonardchan marked 3 inline comments as done. leonardchan added a comment. - Remove sugar from pointee types Repository: rC Clang https://reviews.llvm.org/D49511 Files: include/clang/AST/Type.h include/clang/Basic/Attr.td

[PATCH] D50666: Fix Stmt::ignoreImplicit

2018-08-13 Thread Stephen Kelly via Phabricator via cfe-commits
steveire created this revision. steveire added reviewers: rsmith, dblaikie, klimek. Herald added a subscriber: cfe-commits. A CXXBindTemporaryExpr can appear inside an ImplicitCastExpr, and was not ignored previously. Fixes the case reported in PR37327. Repository: rC Clang

[PATCH] D48909: [clang-doc] Update BitcodeReader to use llvm::Error

2018-08-13 Thread Julie Hockett via Phabricator via cfe-commits
juliehockett closed this revision. juliehockett added a comment. Closed in https://reviews.llvm.org/rL339617. https://reviews.llvm.org/D48909 ___ cfe-commits mailing list cfe-commits@lists.llvm.org

[clang-tools-extra] r339617 - [clang-doc] Updating BitcodeReader to use llvm::Error

2018-08-13 Thread Julie Hockett via cfe-commits
Author: juliehockett Date: Mon Aug 13 14:39:03 2018 New Revision: 339617 URL: http://llvm.org/viewvc/llvm-project?rev=339617=rev Log: [clang-doc] Updating BitcodeReader to use llvm::Error Modified: clang-tools-extra/trunk/clang-doc/BitcodeReader.cpp

[PATCH] D50630: [AST] Update/correct the static_asserts for the bit-fields in Type

2018-08-13 Thread John McCall via Phabricator via cfe-commits
rjmccall added a comment. In https://reviews.llvm.org/D50630#1197795, @riccibruno wrote: > @rjmccall > > I would argue that we should make these bit-fields take 8 bytes for the > following reasons: > > 1. On 64 bits archs, this is free since we have already a little less than 8 > bytes of

[PATCH] D50214: Add inherited attributes before parsed attributes.

2018-08-13 Thread Michael Kruse via Phabricator via cfe-commits
Meinersbur added inline comments. Comment at: lib/AST/DeclBase.cpp:854-859 + auto I = Attrs.begin(), E = Attrs.end(); + for (; I != E; ++I) { +if (!(*I)->isInherited()) + break; + } + Attrs.insert(I, A); aaron.ballman wrote: > The unfortunate part

[PATCH] D41217: [Concepts] Concept Specialization Expressions

2018-08-13 Thread Saar Raz via Phabricator via cfe-commits
saar.raz added inline comments. Comment at: include/clang/AST/DeclTemplate.h:3063 SourceRange getSourceRange() const override LLVM_READONLY { -return SourceRange(getLocation(), getLocation()); +return SourceRange(getLocation(), getConstraintExpr()->getLocEnd()); }

r339613 - Convert if/else to a switch. NFC.

2018-08-13 Thread Akira Hatanaka via cfe-commits
Author: ahatanak Date: Mon Aug 13 13:59:57 2018 New Revision: 339613 URL: http://llvm.org/viewvc/llvm-project?rev=339613=rev Log: Convert if/else to a switch. NFC. Modified: cfe/trunk/lib/CodeGen/CGBlocks.cpp Modified: cfe/trunk/lib/CodeGen/CGBlocks.cpp URL:

[PATCH] D41217: [Concepts] Concept Specialization Expressions

2018-08-13 Thread Stephen Kelly via Phabricator via cfe-commits
steveire added inline comments. Comment at: include/clang/AST/DeclTemplate.h:3063 SourceRange getSourceRange() const override LLVM_READONLY { -return SourceRange(getLocation(), getLocation()); +return SourceRange(getLocation(), getConstraintExpr()->getLocEnd()); }

[PATCH] D50652: [libcxx] By default, do not use internal_linkage to hide symbols from the ABI

2018-08-13 Thread Louis Dionne via Phabricator via cfe-commits
ldionne added a comment. In https://reviews.llvm.org/D50652#1197830, @rnk wrote: > In https://reviews.llvm.org/D50652#1197780, @ldionne wrote: > > > One thing to keep in mind is that we do not have a solution that allows > > removing both `internal_linkage` and `always_inline`. It's either > >

[PATCH] D50341: [libcxx] Fix XFAILs for aligned allocation tests on older OSX versions

2018-08-13 Thread Louis Dionne via Phabricator via cfe-commits
ldionne added a comment. This works with all the dylibs I have locally, with various combinations of availability enabled/disabled and all standards. I've asked Marshall to check on his system, where he initially reported some failures. Repository: rCXX libc++

[PATCH] D50663: [libunwind] [cmake] Add MINGW_LIBRARIES to the linker flags

2018-08-13 Thread Martin Storsjö via Phabricator via cfe-commits
mstorsjo created this revision. mstorsjo added reviewers: rnk, compnerd, phosek, smeenai. Herald added subscribers: chrib, mgorny. This is essential when building with -nodefaultlibs. In some CMake versions (noticed in 3.5.1), the same libraries are picked up from CMAKE_REQUIRED_LIBRARIES in

[PATCH] D50341: [libcxx] Mark aligned allocation tests as XFAIL on old OSX versions

2018-08-13 Thread Louis Dionne via Phabricator via cfe-commits
ldionne updated this revision to Diff 160440. ldionne added a comment. Rewrite all XFAILs in light of issues brought up by Marshall. Repository: rCXX libc++ https://reviews.llvm.org/D50341 Files: libcxx/test/libcxx/memory/aligned_allocation_macro.pass.cpp

[PATCH] D50594: [analyzer] [NFC] Introduce separate targets for testing the analyzer: check-clang-analyzer and check-clang-analyzer-z3

2018-08-13 Thread Justin Bogner via Phabricator via cfe-commits
bogner added a comment. The cmake and lit bits all look correct https://reviews.llvm.org/D50594 ___ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[PATCH] D41217: [Concepts] Concept Specialization Expressions

2018-08-13 Thread Saar Raz via Phabricator via cfe-commits
saar.raz updated this revision to Diff 160437. saar.raz added a comment. Address Arthur's comments, add missing CorrectDelayedTyposInExpr Repository: rC Clang https://reviews.llvm.org/D41217 Files: include/clang/AST/DeclTemplate.h include/clang/AST/ExprCXX.h

[PATCH] D50630: [AST] Update/correct the static_asserts for the bit-fields in Type

2018-08-13 Thread Bruno Ricci via Phabricator via cfe-commits
riccibruno added a comment. Also I don't understand to comment about the bit-fields of FunctionType fitting in the padding of Type: If we have something like struct Base { void *p1; void *p2; unsigned x; }; struct Der : Base { unsigned x; }; Then on my machine (64

[PATCH] D50662: Add dump() method for SourceRange

2018-08-13 Thread Stephen Kelly via Phabricator via cfe-commits
steveire created this revision. Herald added a subscriber: cfe-commits. Repository: rC Clang https://reviews.llvm.org/D50662 Files: include/clang/Basic/SourceLocation.h lib/Basic/SourceLocation.cpp Index: lib/Basic/SourceLocation.cpp

[PATCH] D50661: Add a newline to SourceLocation dump output

2018-08-13 Thread Stephen Kelly via Phabricator via cfe-commits
steveire created this revision. Herald added a subscriber: cfe-commits. Migrate callers to print(). dump() should be useful to downstreams and third parties as a debugging aid. Everyone trips up on this and creates confusing output. Repository: rC Clang https://reviews.llvm.org/D50661

[PATCH] D50542: [clang-tidy] Add abseil-no-internal-deps check

2018-08-13 Thread Hugo Gonzalez via Phabricator via cfe-commits
hugoeg updated this revision to Diff 160432. hugoeg marked an inline comment as done. hugoeg added a comment. applied corrections from comments https://reviews.llvm.org/D50542 Files: clang-tidy/abseil/AbseilTidyModule.cpp clang-tidy/abseil/CMakeLists.txt

[PATCH] D50652: [libcxx] By default, do not use internal_linkage to hide symbols from the ABI

2018-08-13 Thread Reid Kleckner via Phabricator via cfe-commits
rnk added a comment. In https://reviews.llvm.org/D50652#1197780, @ldionne wrote: > One thing to keep in mind is that we do not have a solution that allows > removing both `internal_linkage` and `always_inline`. It's either > `internal_linkage` or `always_inline`, but you can't get rid of both

[PATCH] D50594: [analyzer] [NFC] Introduce separate targets for testing the analyzer: check-clang-analyzer and check-clang-analyzer-z3

2018-08-13 Thread Artem Dergachev via Phabricator via cfe-commits
NoQ accepted this revision. NoQ added a comment. This revision is now accepted and ready to land. Yup, i hope it'll be comfy now. https://reviews.llvm.org/D50594 ___ cfe-commits mailing list cfe-commits@lists.llvm.org

[PATCH] D50594: [analyzer] [NFC] Introduce separate targets for testing the analyzer: check-clang-analyzer and check-clang-analyzer-z3

2018-08-13 Thread Mikhail Ramalho via Phabricator via cfe-commits
mikhail.ramalho added a comment. I can't comment on the code but it works correctly for me. I wish I had it a couple of months ago :) https://reviews.llvm.org/D50594 ___ cfe-commits mailing list cfe-commits@lists.llvm.org

[PATCH] D49511: [Sema/Attribute] Check for noderef attribute

2018-08-13 Thread Aaron Ballman via Phabricator via cfe-commits
aaron.ballman added inline comments. Comment at: lib/Sema/SemaExpr.cpp:14249 + +if (Sema::TypeHasNoDeref(Inner)) + DeclRef = E; leonardchan wrote: > aaron.ballman wrote: > > The sugar was stripped off at the pointer level, but not at the pointee > >

[PATCH] D50413: [libunwind][include] Add some missing definitions to .

2018-08-13 Thread Charles Davis via Phabricator via cfe-commits
cdavis5x added a comment. Ping. Repository: rUNW libunwind https://reviews.llvm.org/D50413 ___ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[PATCH] D50542: [clang-tidy] Add abseil-no-internal-deps check

2018-08-13 Thread Jonas Toth via Phabricator via cfe-commits
JonasToth added inline comments. Comment at: test/clang-tidy/abseil-no-internal-deps.cpp:2 +// RUN: %check_clang_tidy %s abseil-no-internal-deps %t + + hugoeg wrote: > JonasToth wrote: > > hugoeg wrote: > > > hokein wrote: > > > > nit: please make sure the code

[PATCH] D50580: [clang-tidy] Abseil: no namespace check

2018-08-13 Thread Jonas Toth via Phabricator via cfe-commits
JonasToth added inline comments. Comment at: clang-tidy/abseil/NoNamespaceCheck.cpp:23 + + Finder->addMatcher(namespaceDecl(hasName("absl")).bind("absl_namespace"), + this); hugoeg wrote: > deannagarcia wrote: > > aaron.ballman wrote: > > >

Re: r339581 - [SEMA] add more -Wfloat-conversion to compound assigment analysis

2018-08-13 Thread Nick Desaulniers via cfe-commits
https://reviews.llvm.org/D50647 On Mon, Aug 13, 2018 at 12:50 PM Vitaly Buka wrote: > > Looks like this patch: > > http://lab.llvm.org:8011/builders/clang-ppc64le-linux-lnt/builds/13867/steps/ninja%20check%201/logs/stdio > > > FAIL: Clang :: Sema/conversion.c (12530 of 44133) >

[PATCH] D50630: [AST] Update/correct the static_asserts for the bit-fields in Type

2018-08-13 Thread Bruno Ricci via Phabricator via cfe-commits
riccibruno added a comment. @rjmccall I would argue that we should make these bit-fields take 8 bytes for the following reasons: 1. On 64 bits archs, this is free since we have already 8 bytes of padding here. 2. On 32 bits archs, this a priori increase the size of each Type by 4 bytes.

Re: r339581 - [SEMA] add more -Wfloat-conversion to compound assigment analysis

2018-08-13 Thread Vitaly Buka via cfe-commits
Looks like this patch: http://lab.llvm.org:8011/builders/clang-ppc64le-linux-lnt/builds/13867/steps/ninja%20check%201/logs/stdio FAIL: Clang :: Sema/conversion.c (12530 of 44133) TEST 'Clang :: Sema/conversion.c' FAILED Script: -- : 'RUN: at line 1';

[PATCH] D38320: [clang] Fix serializers for `TypeTemplateParmDecl` + related types

2018-08-13 Thread Steve O'Brien via Phabricator via cfe-commits
elsteveogrande abandoned this revision. elsteveogrande added a comment. Dropped in favor of other fix as mentioned above Repository: rC Clang https://reviews.llvm.org/D38320 ___ cfe-commits mailing list cfe-commits@lists.llvm.org

[PATCH] D21767: Fix instantiation of friend function templates

2018-08-13 Thread John McCall via Phabricator via cfe-commits
rjmccall added a comment. Shouldn't there just be a link in the AST from the instantiated `FunctionTemplateDecl ` back to the original pattern? Maybe a generalization of `InstantiatedFromMember` in `RedeclarablableTemplateDecl`? Repository: rC Clang https://reviews.llvm.org/D21767

[PATCH] D50652: [libcxx] By default, do not use internal_linkage to hide symbols from the ABI

2018-08-13 Thread Louis Dionne via Phabricator via cfe-commits
ldionne added a comment. In https://reviews.llvm.org/D50652#1197775, @rnk wrote: > I'd prefer not to do this, since internal_linkage generates smaller, more > debuggable code by default. I think the symbol table size increase may be > specific to MachO, and it may be possible to work around

[PATCH] D50630: [AST] Update/correct the static_asserts for the bit-fields in Type

2018-08-13 Thread John McCall via Phabricator via cfe-commits
rjmccall added a comment. Oh, I missed that there was a separate review for this. A lot of the important subclasses that need extra storage have been designed with the expectation that these bit-fields fit within 32 bits. For example, `FunctionType` starts with a bunch of bit-fields because

[PATCH] D50652: [libcxx] By default, do not use internal_linkage to hide symbols from the ABI

2018-08-13 Thread Reid Kleckner via Phabricator via cfe-commits
rnk added a comment. I'd prefer not to do this, since internal_linkage generates smaller, more debuggable code by default. I think the symbol table size increase may be specific to MachO, and it may be possible to work around this by changing ld64 to pool strings for symbols by default. I

[PATCH] D50631: [AST] Stuff more data into FunctionTypeBitfields

2018-08-13 Thread John McCall via Phabricator via cfe-commits
rjmccall added a comment. We should absolutely have static assertions to check that these bit-field types don't get larger than 32 bits. A lot of the subclass layouts have been tweaked to fit that (packing into the tail padding of `Type` on 64-bit targets), so accidentally overflowing to use

[PATCH] D49511: [Sema/Attribute] Check for noderef attribute

2018-08-13 Thread Leonard Chan via Phabricator via cfe-commits
leonardchan added a comment. @rsmith Comment at: lib/Sema/SemaExpr.cpp:14249 + +if (Sema::TypeHasNoDeref(Inner)) + DeclRef = E; aaron.ballman wrote: > The sugar was stripped off at the pointer level, but not at the pointee > level. e.g., > ``` >

r339603 - [OPENMP] Fix emission of the loop doacross constructs.

2018-08-13 Thread Alexey Bataev via cfe-commits
Author: abataev Date: Mon Aug 13 12:04:24 2018 New Revision: 339603 URL: http://llvm.org/viewvc/llvm-project?rev=339603=rev Log: [OPENMP] Fix emission of the loop doacross constructs. The number of loops associated with the OpenMP loop constructs should not be considered as the number loops to

[PATCH] D50559: [gnu-objc] Make selector order deterministic.

2018-08-13 Thread John McCall via Phabricator via cfe-commits
rjmccall accepted this revision. rjmccall added a comment. This revision is now accepted and ready to land. Thanks. I appreciate the fact that you spelled it all out in the test, too. LGTM. Comment at: lib/CodeGen/CGObjCGNU.cpp:3547 +

[PATCH] D50616: [Fixed Point Arithmetic] FixedPointCast

2018-08-13 Thread John McCall via Phabricator via cfe-commits
rjmccall added inline comments. Comment at: lib/CodeGen/CGExprScalar.cpp:1016 + if (DstScale > SrcScale) { +// Need to allocate space before shifting left +ResultWidth = SrcWidth + DstScale - SrcScale; In IR, this isn't really "allocating" space.

[PATCH] D50652: [libcxx] By default, do not use internal_linkage to hide symbols from the ABI

2018-08-13 Thread Roman Lebedev via Phabricator via cfe-commits
lebedev.ri added a comment. I suspect this might deserve a wider discussion. At least cfe-dev, perhaps? Repository: rCXX libc++ https://reviews.llvm.org/D50652 ___ cfe-commits mailing list cfe-commits@lists.llvm.org

[PATCH] D50508: [analyzer][UninitializedObjectChecker] Refactoring p5.: Handle pedantic mode in the checker class only

2018-08-13 Thread Umann Kristóf via Phabricator via cfe-commits
This revision was automatically updated to reflect the committed changes. Closed by commit rC339601: [analyzer][UninitializedObjectChecker] Refactoring p5.: Handle pedantic mode in… (authored by Szelethus, committed by ). Changed prior to commit:

r339601 - [analyzer][UninitializedObjectChecker] Refactoring p5.: Handle pedantic mode in the checker class only

2018-08-13 Thread Kristof Umann via cfe-commits
Author: szelethus Date: Mon Aug 13 11:48:34 2018 New Revision: 339601 URL: http://llvm.org/viewvc/llvm-project?rev=339601=rev Log: [analyzer][UninitializedObjectChecker] Refactoring p5.: Handle pedantic mode in the checker class only Differential Revision: https://reviews.llvm.org/D50508

r339599 - [analyzer][UninitializedObjectChecker] Refactoring p4.: Wrap FieldRegions and reduce weight on FieldChainInfo

2018-08-13 Thread Kristof Umann via cfe-commits
Author: szelethus Date: Mon Aug 13 11:43:08 2018 New Revision: 339599 URL: http://llvm.org/viewvc/llvm-project?rev=339599=rev Log: [analyzer][UninitializedObjectChecker] Refactoring p4.: Wrap FieldRegions and reduce weight on FieldChainInfo Before this patch, FieldChainInfo used a spaghetti: it

[PATCH] D50506: [analyzer][UninitializedObjectChecker] Refactoring p4.: Wrap FieldRegions and reduce weight on FieldChainInfo

2018-08-13 Thread Umann Kristóf via Phabricator via cfe-commits
This revision was automatically updated to reflect the committed changes. Closed by commit rC339599: [analyzer][UninitializedObjectChecker] Refactoring p4.: Wrap FieldRegions and… (authored by Szelethus, committed by ). Changed prior to commit:

[PATCH] D50580: [clang-tidy] Abseil: no namespace check

2018-08-13 Thread Hugo Gonzalez via Phabricator via cfe-commits
hugoeg added inline comments. Comment at: clang-tidy/abseil/NoNamespaceCheck.cpp:23 + + Finder->addMatcher(namespaceDecl(hasName("absl")).bind("absl_namespace"), + this); deannagarcia wrote: > aaron.ballman wrote: > > hokein wrote: > > >

[PATCH] D49511: [Sema/Attribute] Check for noderef attribute

2018-08-13 Thread Aaron Ballman via Phabricator via cfe-commits
aaron.ballman added inline comments. Comment at: lib/Sema/SemaExpr.cpp:14249 + +if (Sema::TypeHasNoDeref(Inner)) + DeclRef = E; The sugar was stripped off at the pointer level, but not at the pointee level. e.g., ``` typedef int (bobble); typedef

[PATCH] D50652: [libcxx] By default, do not use internal_linkage to hide symbols from the ABI

2018-08-13 Thread Louis Dionne via Phabricator via cfe-commits
ldionne updated this revision to Diff 160414. ldionne added a comment. Update documentation for _LIBCPP_HIDE_FROM_ABI Repository: rCXX libc++ https://reviews.llvm.org/D50652 Files: libcxx/docs/DesignDocs/VisibilityMacros.rst libcxx/include/__config Index: libcxx/include/__config

r339597 - Enforce instantiation of template multiversion functions

2018-08-13 Thread Erich Keane via cfe-commits
Author: erichkeane Date: Mon Aug 13 11:33:20 2018 New Revision: 339597 URL: http://llvm.org/viewvc/llvm-project?rev=339597=rev Log: Enforce instantiation of template multiversion functions Multiversioned member functions inside of a template type were not properly being emitted. The solution

[PATCH] D50652: [libcxx] By default, do not use internal_linkage to hide symbols from the ABI

2018-08-13 Thread Louis Dionne via Phabricator via cfe-commits
ldionne added a comment. The intent is for this patch to be cherry-picked onto the LLVM 7 release. This is a straw man proposal to fix issues raised in https://reviews.llvm.org/D49240. The idea is that in the future, we would probably want the non-`internal_linkage` case to be the default. By

[PATCH] D49240: [libc++] Introduce _LIBCPP_HIDE_FROM_ABI to replace _LIBCPP_INLINE_VISIBILITY

2018-08-13 Thread Louis Dionne via Phabricator via cfe-commits
ldionne added a comment. I opened a straw man proposal to fix this at https://reviews.llvm.org/D50652. Repository: rCXX libc++ https://reviews.llvm.org/D49240 ___ cfe-commits mailing list cfe-commits@lists.llvm.org

[PATCH] D50652: [libcxx] By default, do not use internal_linkage to hide symbols from the ABI

2018-08-13 Thread Louis Dionne via Phabricator via cfe-commits
ldionne created this revision. ldionne added reviewers: EricWF, mclow.lists, dexonsmith, hans, rnk. Herald added subscribers: cfe-commits, christof. This led to symbol size problems in Chromium, and we expect this may be the case in other projects built in debug mode too. Instead, unless users

[PATCH] D50505: [analyzer][UninitializedObjectChecker] Refactoring p3.: printTail moved out from FieldChainInfo

2018-08-13 Thread Umann Kristóf via Phabricator via cfe-commits
This revision was automatically updated to reflect the committed changes. Closed by commit rC339596: [analyzer][UninitializedObjectChecker] Refactoring p3.: printTail moved out… (authored by Szelethus, committed by ). Changed prior to commit:

r339596 - [analyzer][UninitializedObjectChecker] Refactoring p3.: printTail moved out from FieldChainInfo

2018-08-13 Thread Kristof Umann via cfe-commits
Author: szelethus Date: Mon Aug 13 11:22:22 2018 New Revision: 339596 URL: http://llvm.org/viewvc/llvm-project?rev=339596=rev Log: [analyzer][UninitializedObjectChecker] Refactoring p3.: printTail moved out from FieldChainInfo This is a standalone part of the effort to reduce FieldChainInfos

[PATCH] D47757: [Sema] Produce diagnostics when unavailable aligned allocation/deallocation functions are called

2018-08-13 Thread Artem Belevich via Phabricator via cfe-commits
tra added inline comments. Comment at: test/SemaCUDA/call-host-fn-from-device.cu:88 __host__ __device__ void class_specific_delete(T *t, U *u) { - delete t; // ok, call sized device delete even though host has preferable non-sized version + delete t; // expected-error

  1   2   3   >