[PATCH] D52873: Remove unwanted signedness conversion from tests

2018-10-19 Thread Marco Antognini via Phabricator via cfe-commits
This revision was automatically updated to reflect the committed changes. Closed by commit rC344778: [OpenCL] Remove unwanted signedness conversion from tests (authored by mantognini, committed by ). Repository: rC Clang https://reviews.llvm.org/D52873 Files: test/SemaOpenCL/cl20-device-sid

[PATCH] D52873: Remove unwanted signedness conversion from tests

2018-10-19 Thread Marco Antognini via Phabricator via cfe-commits
This revision was automatically updated to reflect the committed changes. Closed by commit rL344778: [OpenCL] Remove unwanted signedness conversion from tests (authored by mantognini, committed by ). Herald added a subscriber: llvm-commits. Changed prior to commit: https://reviews.llvm.org/D528

[PATCH] D52875: Fix definitions of __builtin_(add|sub|mul)_overflow

2018-10-22 Thread Marco Antognini via Phabricator via cfe-commits
This revision was automatically updated to reflect the committed changes. Closed by commit rC344891: [OpenCL] Fix definitions of __builtin_(add|sub|mul)_overflow (authored by mantognini, committed by ). Repository: rC Clang https://reviews.llvm.org/D52875 Files: include/clang/Basic/Builtins

[PATCH] D52879: Derive builtin return type from its definition

2018-10-22 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added a comment. ping Repository: rC Clang https://reviews.llvm.org/D52879 ___ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[PATCH] D53871: [OpenCL] Allow clk_event_t comparisons

2018-11-01 Thread Marco Antognini via Phabricator via cfe-commits
mantognini accepted this revision. mantognini added a comment. This revision is now accepted and ready to land. LGTM, but please add a comment in the test file. Comment at: test/SemaOpenCL/clk_event_t.cl:3 +#define CLK_NULL_EVENT (__builtin_astype(((void*)(__SIZE_MAX__)), clk

[PATCH] D52879: Derive builtin return type from its definition

2018-11-27 Thread Marco Antognini via Phabricator via cfe-commits
This revision was automatically updated to reflect the committed changes. Closed by commit rC347658: Derive builtin return type from its definition (authored by mantognini, committed by ). Repository: rC Clang CHANGES SINCE LAST ACTION https://reviews.llvm.org/D52879/new/ https://reviews.ll

[PATCH] D52879: Derive builtin return type from its definition

2018-11-27 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added a comment. In D52879#1309734 , @riccibruno wrote: > I see plenty of `TheCall->setType` left in `Sema::CheckBuiltinFunctionCall` > (`Builtin::BI__builtin_classify_type`, `Builtin::BI__builtin_constant_p`, > `Builtin::BI__builtin_dump_stru

[PATCH] D52879: Derive builtin return type from its definition

2018-11-30 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added a comment. In D52879#1311177 , @riccibruno wrote: > And moreover I believe this change is subtly incorrect for the following > reason: > The type that is passed into the constructor of the call expression is the > type > of the call ex

[PATCH] D52879: Derive builtin return type from its definition

2018-11-30 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added a comment. Thank you for the detailed review. I'll work on a patch and add you as reviewer once done (prob. on Monday though). Repository: rC Clang CHANGES SINCE LAST ACTION https://reviews.llvm.org/D52879/new/ https://reviews.llvm.org/D52879 __

[PATCH] D55136: [OpenCL][Sema] Improve BuildResolvedCallExpr handling of builtins

2018-11-30 Thread Marco Antognini via Phabricator via cfe-commits
mantognini created this revision. mantognini added a reviewer: riccibruno. Herald added subscribers: cfe-commits, kristina, yaxunl. This is a follow-up on https://reviews.llvm.org/D52879, addressing a few issues. This: - adds a FIXME for later improvement for specific builtins: I previously have

[PATCH] D52879: Derive builtin return type from its definition

2018-11-30 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added a comment. Please see https://reviews.llvm.org/D55136 for the patch addressing these issues. Repository: rC Clang CHANGES SINCE LAST ACTION https://reviews.llvm.org/D52879/new/ https://reviews.llvm.org/D52879 ___ cfe-commits

[PATCH] D55136: [OpenCL][Sema] Improve BuildResolvedCallExpr handling of builtins

2018-12-03 Thread Marco Antognini via Phabricator via cfe-commits
This revision was automatically updated to reflect the committed changes. Closed by commit rL348120: [OpenCL][Sema] Improve BuildResolvedCallExpr handling of builtins (authored by mantognini, committed by ). Herald added a subscriber: llvm-commits. Changed prior to commit: https://reviews.llvm.

[PATCH] D52873: Remove unwanted signedness conversion from tests

2018-10-04 Thread Marco Antognini via Phabricator via cfe-commits
mantognini created this revision. mantognini added a reviewer: Anastasia. Herald added a subscriber: cfe-commits. This is just a minor update of the tests. Repository: rC Clang https://reviews.llvm.org/D52873 Files: test/SemaOpenCL/cl20-device-side-enqueue.cl Index: test/SemaOpenCL/cl20-

[PATCH] D52875: Fix definitions of __builtin_(add|sub|mul)_overflow

2018-10-04 Thread Marco Antognini via Phabricator via cfe-commits
mantognini created this revision. mantognini added reviewers: Anastasia, erichkeane. Herald added subscribers: cfe-commits, kristina. Ensure __builtin_(add|sub|mul)_overflow return bool instead of void as per specification (LanguageExtensions). Repository: rC Clang https://reviews.llvm.org/D

[PATCH] D52879: Derive builtin return type from its definition

2018-10-04 Thread Marco Antognini via Phabricator via cfe-commits
mantognini created this revision. mantognini added reviewers: Anastasia, spatel. Herald added subscribers: cfe-commits, kristina. mantognini added dependencies: D52873: Remove unwanted signedness conversion from tests, D52875: Fix definitions of __builtin_(add|sub|mul)_overflow. Prior to this pat

[PATCH] D52875: Fix definitions of __builtin_(add|sub|mul)_overflow

2018-10-04 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added a comment. In https://reviews.llvm.org/D52875#1255146, @erichkeane wrote: > Can you write tests for this please? Particularly validate the results in a > constexpr context. There are already some tests for those builtins (not sure about constexpr context). They already tests

[PATCH] D52873: Remove unwanted signedness conversion from tests

2018-10-04 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added a comment. Note: the `get_kernel_*` functions used here all return unsigned integers, hence the warning/present patch. Repository: rC Clang https://reviews.llvm.org/D52873 ___ cfe-commits mailing list cfe-commits@lists.llvm.org

[PATCH] D62591: [OpenCL][PR42031] Prevent deducing addr space in type alias.

2019-06-04 Thread Marco Antognini via Phabricator via cfe-commits
mantognini accepted this revision. mantognini added a comment. This revision is now accepted and ready to land. LGTM CHANGES SINCE LAST ACTION https://reviews.llvm.org/D62591/new/ https://reviews.llvm.org/D62591 ___ cfe-commits mailing list cfe-c

[PATCH] D64083: [OpenCL][Sema] Improve address space support for blocks

2019-07-12 Thread Marco Antognini via Phabricator via cfe-commits
mantognini marked 2 inline comments as done. mantognini added inline comments. Comment at: cfe/trunk/lib/Sema/SemaExprCXX.cpp:4229 +LangAS AddrSpaceR = +RHSType->getAs()->getPointeeType().getAddressSpace(); +CastKind Kind = Anastasia wrote: > rjmc

[PATCH] D64569: [OpenCL] Improve destructor support in C++ for OpenCL

2019-07-16 Thread Marco Antognini via Phabricator via cfe-commits
mantognini updated this revision to Diff 210080. mantognini added a comment. - Refactored common bits from CheckConstructorDeclarator and CheckDestructorDeclarator. - Added as many "ThisTy" parameter I could. - Addressed issue with identifier format in tests (%N to %var.ascast). Repository: r

[PATCH] D64569: [OpenCL] Improve destructor support in C++ for OpenCL

2019-07-16 Thread Marco Antognini via Phabricator via cfe-commits
mantognini marked 10 inline comments as done. mantognini added a comment. Mind the fact that I've rebased the changes onto a more recent master version. If you look at the diff of v1 against v2 you might see some unrelated changes. Let me know if there's anything else that I need to change. =

[PATCH] D64804: [OpenCL][Sema] Minor refactoring and constraint checking

2019-07-16 Thread Marco Antognini via Phabricator via cfe-commits
mantognini created this revision. Herald added subscribers: cfe-commits, Anastasia, yaxunl. Herald added a project: clang. Simplify code a bit and add assertion to address post-landing comments from D64083 . Repository: rG LLVM Github Monorepo https://reviews.

[PATCH] D64804: [OpenCL][Sema] Minor refactoring and constraint checking

2019-07-16 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added reviewers: Anastasia, rjmccall. mantognini added a comment. This should address the minor refactoring requesting in D64083 . Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D64804/new/ https://reviews

[PATCH] D64804: [OpenCL][Sema] Minor refactoring and constraint checking

2019-07-17 Thread Marco Antognini via Phabricator via cfe-commits
This revision was automatically updated to reflect the committed changes. Closed by commit rL366306: [OpenCL][Sema] Minor refactoring and constraint checking (authored by mantognini, committed by ). Herald added a project: LLVM. Herald added a subscriber: llvm-commits. Changed prior to commit:

[PATCH] D64418: [Docs][OpenCL] Documentation of C++ for OpenCL mode

2019-07-17 Thread Marco Antognini via Phabricator via cfe-commits
mantognini accepted this revision. mantognini added a comment. This revision is now accepted and ready to land. Beside my two comments, I think this looks good. Comment at: docs/LanguageExtensions.rst:1614 + +By default references will refer to ``__generic`` address space objec

[PATCH] D64569: [OpenCL] Improve destructor support in C++ for OpenCL

2019-07-17 Thread Marco Antognini via Phabricator via cfe-commits
mantognini updated this revision to Diff 210341. mantognini marked 16 inline comments as done. mantognini added a comment. - Addressed comments Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D64569/new/ https://reviews.llvm.org/D64569 Files: clang

[PATCH] D64569: [OpenCL] Improve destructor support in C++ for OpenCL

2019-07-17 Thread Marco Antognini via Phabricator via cfe-commits
mantognini marked an inline comment as done. mantognini added inline comments. Comment at: clang/lib/CodeGen/CGClass.cpp:496 + // destroyed should have the expected type. + QualType ThisTy = D->getThisType(); Address Addr = rjmccall wrote: > I th

[PATCH] D64569: [OpenCL] Improve destructor support in C++ for OpenCL

2019-07-18 Thread Marco Antognini via Phabricator via cfe-commits
mantognini updated this revision to Diff 210501. mantognini marked 4 inline comments as done. mantognini added a comment. - Minor refactoring of getThisObjectType - Removed unnecessary assertion Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D64569/ne

[PATCH] D64569: [OpenCL] Improve destructor support in C++ for OpenCL

2019-07-18 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added inline comments. Comment at: clang/lib/AST/DeclCXX.cpp:2267 QualType ClassTy = C.getTypeDeclType(Decl); - ClassTy = C.getQualifiedType(ClassTy, FPT->getMethodQuals()); - return C.getPointerType(ClassTy); + return C.getQualifiedType(ClassTy, FPT->getMethodQu

[PATCH] D64569: [OpenCL] Improve destructor support in C++ for OpenCL

2019-07-18 Thread Marco Antognini via Phabricator via cfe-commits
This revision was automatically updated to reflect the committed changes. Closed by commit rL366422: [OpenCL] Improve destructor support in C++ for OpenCL (authored by mantognini, committed by ). Herald added a project: LLVM. Herald added a subscriber: llvm-commits. Changed prior to commit: htt

[PATCH] D64569: [OpenCL] Improve destructor support in C++ for OpenCL

2019-07-18 Thread Marco Antognini via Phabricator via cfe-commits
mantognini reopened this revision. mantognini added a subscriber: ilya-biryukov. mantognini added a comment. This revision is now accepted and ready to land. While investigating PR42665, I've noticed that `getImplicitObjectArgument` doesn't always return a pointer type. For example, when dealing

[PATCH] D64569: [OpenCL] Improve destructor support in C++ for OpenCL

2019-07-18 Thread Marco Antognini via Phabricator via cfe-commits
mantognini updated this revision to Diff 210605. mantognini added a comment. Add patch for Bug PR42665. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D64569/new/ https://reviews.llvm.org/D64569 Files: clang/include/clang/AST/DeclCXX.h clang/lib

[PATCH] D64569: [OpenCL] Improve destructor support in C++ for OpenCL

2019-07-18 Thread Marco Antognini via Phabricator via cfe-commits
mantognini marked an inline comment as done. mantognini added inline comments. Comment at: clang/lib/CodeGen/ItaniumCXXABI.cpp:1758-1764 + if (CE) { +ThisTy = CE->getImplicitObjectArgument()->getType(); +if (ThisTy->isPointerType()) + ThisTy = ThisTy->getPointeeType

[PATCH] D64569: [OpenCL] Improve destructor support in C++ for OpenCL

2019-07-19 Thread Marco Antognini via Phabricator via cfe-commits
mantognini updated this revision to Diff 210850. mantognini added a comment. - Add minimal regression test for PR42665 - Add CXXMemberCallExpr::getObjectType() Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D64569/new/ https://reviews.llvm.org/D64569

[PATCH] D64569: [OpenCL] Improve destructor support in C++ for OpenCL

2019-07-19 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added a comment. In D64569#1592059 , @rjmccall wrote: > Yes, that's the right fix, although you might also consider adding a > `getObjectType()` to `CXXMemberCallExpr`. Thanks, John, it should be better now, but let me know if I can improve

[PATCH] D64569: [OpenCL] Improve destructor support in C++ for OpenCL

2019-07-22 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added a comment. FYI In order to fix buildbot test failures, I've pushed https://reviews.llvm.org/rG1b2da771f561affe36eb5eb0c7a3d2862c5a5c1c. I'll keep an eye on buildbots for additional fallout. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm

[PATCH] D65286: [OpenCL] Allow OpenCL C style vector initialization in C++

2019-07-30 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added a comment. In `vector_literals_nested.cl`, we have tests for (global) constants. Do you think it would be worth testing those as well in C++ mode? Maybe the two files (`vector_literals_nested.cl` and `vector_literals_valid.cl`) should also be merged as most of their content see

[PATCH] D65286: [OpenCL] Allow OpenCL C style vector initialization in C++

2019-07-30 Thread Marco Antognini via Phabricator via cfe-commits
mantognini accepted this revision. mantognini added a comment. This revision is now accepted and ready to land. LGTM, thanks for the update. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D65286/new/ https://reviews.llvm.org/D65286 ___ cfe-co

[PATCH] D66294: [Docs][OpenCL] Release 9.0 notes for OpenCL

2019-08-15 Thread Marco Antognini via Phabricator via cfe-commits
mantognini requested changes to this revision. mantognini added a comment. This revision now requires changes to proceed. The overall structure seems alright. I'll let people more familiar with the code-base judge whether other important features should be added there as well.

[PATCH] D66294: [Docs][OpenCL] Release 9.0 notes for OpenCL

2019-08-19 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added inline comments. Comment at: docs/ReleaseNotes.rst:209 +Implemented features are: +- Address space behavior is improved in majority of C++ features: + I think Sphinx/RST wants an empty line here. Nitpicking for consistency, could you have a `;`

[PATCH] D66294: [Docs][OpenCL] Release 9.0 notes for OpenCL

2019-08-19 Thread Marco Antognini via Phabricator via cfe-commits
mantognini accepted this revision. mantognini added a comment. This revision is now accepted and ready to land. Thanks for addressing my comments. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D66294/new/ https://reviews.llvm.org/D66294 ___

[PATCH] D64074: [OpenCL][Sema] Fix builtin rewriting

2019-07-02 Thread Marco Antognini via Phabricator via cfe-commits
mantognini created this revision. mantognini added reviewers: rjmccall, Anastasia. Herald added subscribers: cfe-commits, yaxunl. Herald added a project: clang. This patch ensures built-in functions are rewritten using the proper parent declaration. Tests are added to ensure the functionality work

[PATCH] D64074: [OpenCL][Sema] Fix builtin rewriting

2019-07-02 Thread Marco Antognini via Phabricator via cfe-commits
mantognini updated this revision to Diff 207569. mantognini added a comment. Address comments: reduce testing & add FIXME. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D64074/new/ https://reviews.llvm.org/D64074 Files: clang/include/clang/Basic/

[PATCH] D64074: [OpenCL][Sema] Fix builtin rewriting

2019-07-02 Thread Marco Antognini via Phabricator via cfe-commits
mantognini marked an inline comment as done. mantognini added a comment. I added the FIXME and reduced the amount of testing. Let me know if it looks alright. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D64074/new/ https://reviews.llvm.org/D64074

[PATCH] D64083: [OpenCL][Sema] Improve address space support for blocks

2019-07-02 Thread Marco Antognini via Phabricator via cfe-commits
mantognini created this revision. mantognini added reviewers: rjmccall, Anastasia. Herald added subscribers: cfe-commits, yaxunl. Herald added a project: clang. This patch ensures that the following code is compiled identically with -cl-std=CL2.0 and -fblocks -cl-std=c++. kernel void test(void)

[PATCH] D64074: [OpenCL][Sema] Fix builtin rewriting

2019-07-04 Thread Marco Antognini via Phabricator via cfe-commits
mantognini updated this revision to Diff 207994. mantognini added a comment. Addressed missing colon in FIXME comment. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D64074/new/ https://reviews.llvm.org/D64074 Files: clang/include/clang/Basic/Buil

[PATCH] D64074: [OpenCL][Sema] Fix builtin rewriting

2019-07-04 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added a comment. I'll commit this along with D64083 in a few days in case John has any feedback. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D64074/new/ https://reviews.llvm.org/D64074 _

[PATCH] D64083: [OpenCL][Sema] Improve address space support for blocks

2019-07-09 Thread Marco Antognini via Phabricator via cfe-commits
This revision was automatically updated to reflect the committed changes. Closed by commit rL365500: [OpenCL][Sema] Improve address space support for blocks (authored by mantognini, committed by ). Herald added a project: LLVM. Herald added a subscriber: llvm-commits. Changed prior to commit: h

[PATCH] D64418: [Docs][OpenCL] Documentation of C++ for OpenCL mode

2019-07-09 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added a comment. Here are a few comments from me but keep in mind that English is not my primary language Comment at: docs/LanguageExtensions.rst:1562-1565 +C style cast will follow OpenCL C v2.0 rules (s6.5.5). All cast operators will +permit implicit conversion to

[PATCH] D64569: [OpenCL] Improve destructor support in C++ for OpenCL

2019-07-11 Thread Marco Antognini via Phabricator via cfe-commits
mantognini created this revision. Herald added subscribers: cfe-commits, Anastasia, yaxunl. Herald added a project: clang. This patch does mainly three things: 1. It fixes a false positive error detection in Sema that is similar to D62156 . The error happens when

[PATCH] D64569: [OpenCL] Improve destructor support in C++ for OpenCL

2019-07-11 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added reviewers: Anastasia, rjmccall. mantognini marked 6 inline comments as done. mantognini added inline comments. Comment at: clang/lib/CodeGen/CGClass.cpp:2016 CGF.EmitCXXDestructorCall(dtor, Dtor_Complete, /*for vbase*/ false, -/*Del

[PATCH] D62591: [OpenCL][PR42031] Prevent deducing addr space in type alias.

2019-05-29 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added inline comments. Comment at: lib/Sema/SemaType.cpp:7355 + // object. + (D.getContext() == DeclaratorContext::AliasDeclContext) || // Do not deduce addr space for types used to define a typedef and the I think this should also che

[PATCH] D69072: [OpenCL] Added doc to describe OpenCL support

2019-10-17 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added a comment. Shouldn't this page be referenced from `clang/docs/index.rst`? In the long run, how would this page differ from https://releases.llvm.org/9.0.0/tools/clang/docs/LanguageExtensions.html#opencl-features and https://releases.llvm.org/9.0.0/tools/clang/docs/UsersManual.

[PATCH] D69072: [OpenCL] Added doc to describe OpenCL support

2019-10-17 Thread Marco Antognini via Phabricator via cfe-commits
mantognini accepted this revision. mantognini added a comment. This revision is now accepted and ready to land. Alright, thanks for the explanation. LGTM then. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D69072/new/ https://reviews.llvm.org/D69072 ___

[PATCH] D60193: [OpenCL] Added addrspace_cast operator

2020-05-07 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added a comment. Thanks for your clarifications and updates. Just one tiny question about a test file, but otherwise LGTM. Comment at: clang/test/SemaOpenCLCXX/addrspace_cast.cl:19-24 +template +void test_temp(__global int *par) { + T *var1 = addrspace_cast(par);

[PATCH] D60193: [OpenCL] Added addrspace_cast operator

2020-05-11 Thread Marco Antognini via Phabricator via cfe-commits
mantognini accepted this revision. mantognini added a comment. This revision is now accepted and ready to land. LGTM Comment at: clang/test/SemaOpenCLCXX/addrspace_cast.cl:19-24 +template +void test_temp(__global int *par) { + T *var1 = addrspace_cast(par); + __private T *va

[PATCH] D124462: [Analyzer] Fix clang::ento::taint::dumpTaint definition

2022-04-27 Thread Marco Antognini via Phabricator via cfe-commits
mantognini created this revision. Herald added subscribers: manas, steakhal, ASDenysPetrov, martong, dkrupp, donat.nagy, Szelethus, mikhail.ramalho, a.sidorin, szepet, baloghadamsoftware, xazax.hun. Herald added a project: All. mantognini published this revision for review. mantognini added revie

[PATCH] D124461: [Analyzer] Remove undefined function

2022-04-27 Thread Marco Antognini via Phabricator via cfe-commits
mantognini created this revision. Herald added subscribers: manas, steakhal, ASDenysPetrov, dkrupp, donat.nagy, Szelethus, mikhail.ramalho, a.sidorin, szepet, baloghadamsoftware, xazax.hun. Herald added a project: All. mantognini added reviewers: NoQ, baloghadamsoftware. mantognini published this

[PATCH] D124462: [Analyzer] Fix clang::ento::taint::dumpTaint definition

2022-04-27 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added a comment. In D124462#3476581 , @steakhal wrote: > Could you please elaborate whats the motivation for this change? Right, I could have been more explicit. Sorry about that. `dumpTaint` is declared inside the `taint` namespace in the he

[PATCH] D124461: [Analyzer] Remove undefined function

2022-04-28 Thread Marco Antognini via Phabricator via cfe-commits
This revision was automatically updated to reflect the committed changes. Closed by commit rGbf0bcb5e539b: [Analyzer] Remove undefined function (authored by mantognini). Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D124461/new/ https://reviews.llvm.

[PATCH] D124462: [Analyzer] Fix clang::ento::taint::dumpTaint definition

2022-04-28 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added a comment. In D124462#3477115 , @steakhal wrote: > Although gcc (and probably clang too) allows specifying > `__attribute__((noinline))` at any declaration (by merging //compatible// > attributes), I would prefer not to repeat ourselves

[PATCH] D124614: [Analyzer] Fix clang::ento::taint::dumpTaint definition

2022-04-28 Thread Marco Antognini via Phabricator via cfe-commits
mantognini created this revision. Herald added subscribers: manas, steakhal, ASDenysPetrov, martong, dkrupp, donat.nagy, Szelethus, mikhail.ramalho, a.sidorin, szepet, baloghadamsoftware, xazax.hun. Herald added a project: All. mantognini requested review of this revision. Herald added a project:

[PATCH] D124614: [Analyzer] Fix clang::ento::taint::dumpTaint definition

2022-04-28 Thread Marco Antognini via Phabricator via cfe-commits
mantognini abandoned this revision. mantognini added a comment. Ran wrong `arc` command... Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D124614/new/ https://reviews.llvm.org/D124614 ___ cfe-commits maili

[PATCH] D124462: [Analyzer] Fix clang::ento::taint::dumpTaint definition

2022-04-28 Thread Marco Antognini via Phabricator via cfe-commits
mantognini updated this revision to Diff 425772. mantognini added a comment. Remove LLVM_DUMP_METHOD from definition Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D124462/new/ https://reviews.llvm.org/D124462 Files: clang/lib/StaticAnalyzer/Check

[PATCH] D124621: CPP-2461 [Analyzer] Fix assumptions about const field with member-initializer

2022-04-29 Thread Marco Antognini via Phabricator via cfe-commits
mantognini created this revision. Herald added subscribers: manas, steakhal, ASDenysPetrov, martong, dkrupp, donat.nagy, Szelethus, mikhail.ramalho, a.sidorin, szepet, baloghadamsoftware, xazax.hun. Herald added a project: All. mantognini added reviewers: dcoughlin, NoQ, r.stahl, xazax.hun. manto

[PATCH] D124462: [Analyzer] Fix clang::ento::taint::dumpTaint definition

2022-04-29 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added a comment. In D124462#3480348 , @aaron.ballman wrote: > In D124462#3480219 , @steakhal > wrote: > >> Thanks for the stats. >> @aaron.ballman WDYT, where should we put the `LLVM_DUMP_METHOD` ? >

[PATCH] D124621: CPP-2461 [Analyzer] Fix assumptions about const field with member-initializer

2022-04-29 Thread Marco Antognini via Phabricator via cfe-commits
mantognini updated this revision to Diff 426077. mantognini added a comment. Update commit message and add FIXMEs Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D124621/new/ https://reviews.llvm.org/D124621 Files: clang/lib/StaticAnalyzer/Core/Reg

[PATCH] D124621: CPP-2461 [Analyzer] Fix assumptions about const field with member-initializer

2022-04-29 Thread Marco Antognini via Phabricator via cfe-commits
mantognini marked 2 inline comments as done. mantognini added a comment. In D124621#3481973 , @steakhal wrote: > LGTM > > In D124621#3481906 , @mantognini > wrote: > >> One thing I'm not sure about and couldn't e

[PATCH] D124681: [Analyzer] Minor cleanups in StreamChecker

2022-05-02 Thread Marco Antognini via Phabricator via cfe-commits
mantognini created this revision. Herald added subscribers: manas, steakhal, ASDenysPetrov, martong, dkrupp, donat.nagy, Szelethus, mikhail.ramalho, a.sidorin, szepet, baloghadamsoftware, xazax.hun. Herald added a project: All. mantognini added reviewers: NoQ, balazske, Szelethus. mantognini publ

[PATCH] D124621: [Analyzer] Fix assumptions about const field with member-initializer

2022-05-02 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added a comment. In D124621#3482847 , @steakhal wrote: > For the upcoming patches, it would be nice to test the patches on a small set > of open-source projects for exactly this reason. > I think there is a `clang/utils/analyzer/SATest.py` scr

[PATCH] D124462: [Analyzer] Fix clang::ento::taint::dumpTaint definition

2022-05-02 Thread Marco Antognini via Phabricator via cfe-commits
This revision was automatically updated to reflect the committed changes. Closed by commit rG5a47accda88c: [Analyzer] Fix clang::ento::taint::dumpTaint definition (authored by mantognini). Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D124462/new/ ht

[PATCH] D124681: [Analyzer] Minor cleanups in StreamChecker

2022-05-02 Thread Marco Antognini via Phabricator via cfe-commits
This revision was automatically updated to reflect the committed changes. Closed by commit rGf34639828f5a: [Analyzer] Minor cleanups in StreamChecker (authored by mantognini). Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D124681/new/ https://reviews

[PATCH] D124621: [Analyzer] Fix assumptions about const field with member-initializer

2022-05-03 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added a comment. In D124621#3486004 , @r.stahl wrote: > I can confirm the issue with my patch, so this piece of code needs to be > removed. > > As long as the following test still succeeds, this looks good to me. Back > then, the analyzer was

[PATCH] D124621: [Analyzer] Fix assumptions about const field with member-initializer

2022-05-03 Thread Marco Antognini via Phabricator via cfe-commits
This revision was automatically updated to reflect the committed changes. Closed by commit rG68ee5ec07d4a: [Analyzer] Fix assumptions about const field with member-initializer (authored by mantognini). Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D12

[PATCH] D124613: In MSVC compatibility mode, friend function declarations behave as function declarations

2022-05-03 Thread Marco Antognini via Phabricator via cfe-commits
This revision was automatically updated to reflect the committed changes. Closed by commit rGad47114ad850: In MSVC compatibility mode, friend function declarations behave as function… (authored by frederic-tingaud-sonarsource, committed by mantognini). Repository: rG LLVM Github Monorepo CHAN

[PATCH] D124666: In MSVC compatibility mode, handle unqualified templated base class initialization

2022-05-05 Thread Marco Antognini via Phabricator via cfe-commits
This revision was automatically updated to reflect the committed changes. Closed by commit rGc894e85fc64d: In MSVC compatibility mode, handle unqualified templated base class… (authored by frederic-tingaud-sonarsource, committed by mantognini). Repository: rG LLVM Github Monorepo CHANGES SINC

[PATCH] D126196: [analyzer] SATest: Ensure Docker image can be built

2022-05-24 Thread Marco Antognini via Phabricator via cfe-commits
mantognini created this revision. Herald added subscribers: manas, steakhal, ASDenysPetrov, dkrupp, donat.nagy, Szelethus, mikhail.ramalho, a.sidorin, szepet, baloghadamsoftware, xazax.hun. Herald added a project: All. mantognini edited the summary of this revision. mantognini published this revis

[PATCH] D126197: [analyzer] SATest: Weaken assumption about HTML files

2022-05-24 Thread Marco Antognini via Phabricator via cfe-commits
mantognini created this revision. Herald added subscribers: manas, steakhal, ASDenysPetrov, dkrupp, donat.nagy, Szelethus, mikhail.ramalho, a.sidorin, szepet, baloghadamsoftware, xazax.hun. Herald added a project: All. mantognini published this revision for review. mantognini added reviewers: vsav

[PATCH] D126197: [analyzer] SATest: Weaken assumption about HTML files

2022-05-24 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added a comment. In D126197#3533674 , @steakhal wrote: > I'm not using this script file, so I'm not gonna be too picky about this. > However, I would be more confident landing changes if we had tests exercising > the changed behavior. > If you

[PATCH] D126196: [analyzer] SATest: Ensure Docker image can be built

2022-05-24 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added a comment. In D126196#3533678 , @steakhal wrote: > LGTM; > So you have used this tool. Could you add some notes somewhere on how to get > this to work? > What is the workflow? > Is it documented anywhere? > > I know that's an unrelated t

[PATCH] D65744: [PR42707][OpenCL] Fix addr space deduction for auto

2019-08-21 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added a comment. I think this looks good. Maybe the tests should be extended to test `auto` as function return type, and if there's some special handling around `decltype(auto)`, then it should be tested too, but I'm not sure it's actually needed here. What do you think? =

[PATCH] D60193: [OpenCL] Added addrspace_cast operator

2020-11-09 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added inline comments. Comment at: clang/include/clang-c/Index.h:2057 + */ + CXCursor_CXXAddrspaceCastExpr = 129, + hans wrote: > Anastasia wrote: > > hans wrote: > > > akyrtzi wrote: > > > > Hi Anastasia, apologies for not catching this earlier, bu

[PATCH] D91429: [OpenCL] Stop opencl-c-base.h leaking extension enabling

2020-11-13 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added a comment. LGMT as it reduces the divergence in compilation flows. I let @Anastasia, or someone else more familiar with the codebase, give the final approval though. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D91429/new/ https:/

[PATCH] D89372: [OpenCL] Remove unused extensions

2020-10-14 Thread Marco Antognini via Phabricator via cfe-commits
mantognini created this revision. Herald added subscribers: cfe-commits, kerbowa, Anastasia, yaxunl, nhaehnle, jvesely, jholewinski. Herald added a project: clang. mantognini updated this revision to Diff 298093. mantognini added a comment. mantognini published this revision for review. Addressed

[PATCH] D89372: [OpenCL] Remove unused extensions

2020-10-14 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added a comment. In D89372#2329939 , @yaxunl wrote: > what if users rely on the predefined macros associated with the extension > e.g. cl_khr_srgb_image_writes to enable/disable certain code? > > What's the issue with these extensions not remov

[PATCH] D89372: [OpenCL] Remove unused extensions

2020-10-14 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added inline comments. Comment at: clang/include/clang/Basic/OpenCLExtensions.def:74 OPENCLEXT_INTERNAL(cl_khr_mipmap_image_writes, 200, ~0U) -OPENCLEXT_INTERNAL(cl_khr_srgb_image_writes, 200, ~0U) OPENCLEXT_INTERNAL(cl_khr_subgroups, 200, ~0U) azaba

[PATCH] D89372: [OpenCL] Remove unused extensions

2020-10-15 Thread Marco Antognini via Phabricator via cfe-commits
mantognini updated this revision to Diff 298333. mantognini added a comment. Addressed comments. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D89372/new/ https://reviews.llvm.org/D89372 Files: clang/include/clang/Basic/OpenCLExtensions.def cla

[PATCH] D89372: [OpenCL] Remove unused extensions

2020-10-15 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added inline comments. Comment at: clang/include/clang/Basic/OpenCLExtensions.def:16 // // If the extensions are to be enumerated without the supported OpenCL version, // define OPENCLEXT(ext) where ext is the name of the extension. Anastasia wrote:

[PATCH] D91531: [RFC][OpenCL] Provide mechanisms for defining extension macros

2020-11-26 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added a comment. When reading the documentation [1] for -cl-ext (which I've never used so far), I've noticed nothing is said about non-standard configurations (such as disabling cl_khr_depth_images with CL2.0). Quickly testing this shows that options can be specified to produce non-s

[PATCH] D89372: [OpenCL] Remove unused extensions

2020-10-16 Thread Marco Antognini via Phabricator via cfe-commits
mantognini updated this revision to Diff 298660. mantognini added a comment. Keep cl_khr_byte_addressable_store and cles_khr_int64 out of this PR. Add more details on the extensions being removed in the commit message. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://r

[PATCH] D89372: [OpenCL] Remove unused extensions

2020-10-20 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added a comment. Herald added a subscriber: dexonsmith. I don't want to stop the wider discussion, that being said I think I've addressed the comment regarding the content of this PR. Let me know if the latest version is fine or needs further addressing. Thanks. Repository: rG LLV

[PATCH] D89372: [OpenCL] Remove unused extensions

2020-10-22 Thread Marco Antognini via Phabricator via cfe-commits
This revision was not accepted when it landed; it landed in state "Needs Review". This revision was landed with ongoing or failed builds. This revision was automatically updated to reflect the committed changes. Closed by commit rGa779a169931c: [OpenCL] Remove unused extensions (authored by manto

[PATCH] D90385: Address ABI issues introduced with CXCursor_CXXAddrspaceCastExpr

2020-10-29 Thread Marco Antognini via Phabricator via cfe-commits
mantognini created this revision. mantognini added reviewers: arphaman, akyrtzi, rsmith, Anastasia. Herald added a project: clang. Herald added a subscriber: cfe-commits. mantognini updated this revision to Diff 301579. mantognini added a comment. mantognini published this revision for review. Bum

[PATCH] D60193: [OpenCL] Added addrspace_cast operator

2020-10-29 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added a comment. I've put up https://reviews.llvm.org/D90385 as a fix for this issue. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D60193/new/ https://reviews.llvm.org/D60193 ___ cfe-commits m

[PATCH] D90385: Address ABI issues introduced with CXCursor_CXXAddrspaceCastExpr

2020-10-30 Thread Marco Antognini via Phabricator via cfe-commits
This revision was landed with ongoing or failed builds. This revision was automatically updated to reflect the committed changes. Closed by commit rGbbdbd020d2c2: Address ABI issues introduced with CXCursor_CXXAddrspaceCastExpr (authored by mantognini). Repository: rG LLVM Github Monorepo CHAN

[PATCH] D100976: [OpenCL] Simplify use of C11 atomic types

2021-05-14 Thread Marco Antognini via Phabricator via cfe-commits
mantognini accepted this revision. mantognini added a comment. This revision is now accepted and ready to land. LGTM, thanks for the update. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D100976/new/ https://reviews.llvm.org/D100976 ___ cfe-co

[PATCH] D95442: [OpenCL] Add diagnostics for references to functions

2021-01-27 Thread Marco Antognini via Phabricator via cfe-commits
mantognini added a comment. Looks sensible to me. Comment at: clang/test/SemaOpenCLCXX/members.cl:17 - -template struct remove_reference { typedef T type; }; -template struct remove_reference { typedef T type; }; I wonder, do we lose coverage by removing thes

[PATCH] D95442: [OpenCL] Add diagnostics for references to functions

2021-01-27 Thread Marco Antognini via Phabricator via cfe-commits
mantognini accepted this revision. mantognini added a comment. This revision is now accepted and ready to land. Right, thanks for the explanations. They make sense. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D95442/new/ https://reviews.llvm.org/D95442

[PATCH] D96151: [OpenCL] Fix pipe type printing in arg info metadata

2021-02-08 Thread Marco Antognini via Phabricator via cfe-commits
mantognini accepted this revision. mantognini added a comment. This revision is now accepted and ready to land. Nice refactoring & fix! LGTM. I suppose Stuart's comment about moving `typeNameRef` can be addressed when pushing. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D96151/new/ ht

[PATCH] D96161: [OpenCL] Fix printing of types with signed prefix in arg info metadata

2021-02-09 Thread Marco Antognini via Phabricator via cfe-commits
mantognini accepted this revision. mantognini added a comment. LGTM, thanks. All the comments seem to be addressed. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D96161/new/ https://reviews.llvm.org/D96161 ___ cfe-commits mailing list cfe-comm

  1   2   >