[PATCH] D38797: [analyzer] CStringChecker: pr34460: Admit that some casts are hard to model.

2017-10-11 Thread Artem Dergachev via Phabricator via cfe-commits
NoQ added inline comments. Comment at: test/Analysis/casts.c:134-139 + clang_analyzer_eval(y1 == y2); // expected-warning{{TRUE}} + + // FIXME: should be FALSE (i.e. equal pointers). + clang_analyzer_eval(y1 - y2); // expected-warning{{UNKNOWN}} + // FIXME: should be TRUE (i.

[PATCH] D38797: [analyzer] CStringChecker: pr34460: Admit that some casts are hard to model.

2017-10-11 Thread Artem Dergachev via Phabricator via cfe-commits
NoQ created this revision. Herald added a subscriber: szepet. In https://bugs.llvm.org/show_bug.cgi?id=34460 CStringChecker tries to `evalCast()` a memory region from `void *` to `char *` for the purposes of modeling `mempcpy()`. The memory region turned out to be an element region of type `uns

[PATCH] D38796: [CodeGen] EmitPointerWithAlignment() to generate TBAA info along with LValue base info

2017-10-11 Thread Ivan Kosarev via Phabricator via cfe-commits
kosarev created this revision. kosarev added a project: clang. Prepared on top of https://reviews.llvm.org/D38795. Repository: rL LLVM https://reviews.llvm.org/D38796 Files: CodeGen/CGExpr.cpp CodeGen/CodeGenFunction.cpp CodeGen/CodeGenFunction.h CodeGen/CodeGenModule.cpp CodeGen/C

[PATCH] D36111: [COFF, ARM64] Add MS builtins __dmb, __dsb, __isb

2017-10-11 Thread Martin Storsjö via Phabricator via cfe-commits
mstorsjo added a comment. @mgrang, did you ever get to completing this? I've got a need for this now (only `__dmb` so far), and if you don't have time, I can try to finish it. https://reviews.llvm.org/D36111 ___ cfe-commits mailing list cfe-commits

[PATCH] D35109: [Analyzer] SValBuilder Comparison Rearrangement

2017-10-11 Thread Balogh , Ádám via Phabricator via cfe-commits
baloghadamsoftware added a comment. I tried to extend the type to avoid overflow scenarios. Unfortunately, this breaks essential calculations based on the overflow scenarios (e.g. ProgramSate::assumeInbound()). So I see no other option than to abandon this patch and return to the local solution

[PATCH] D37182: [libcxx] Special visibility macros for the experimental library

2017-10-11 Thread Hamza Sood via Phabricator via cfe-commits
hamzasood added a comment. I have access now, so I'm able to commit this myself. However it's been a while since it was approved, so I'd be grateful if someone could take another look to make sure nothing has changed in the meantime (besides potentially needing to re-tag some new APIs). https:

[PATCH] D38728: [analyzer] Use the signature of the primary template for issue hash calculation

2017-10-11 Thread Gabor Marton via Phabricator via cfe-commits
martong added inline comments. Comment at: test/Analysis/bug_hash_test.cpp:105 +void g() { + TX x; + TX xl; As we discussed, the checking of the equality of the `IssueString` in case of `TX` and `TX` is implicit. And as such it is hard to see that it is reall

[PATCH] D38728: [analyzer] Use the signature of the primary template for issue hash calculation

2017-10-11 Thread Gábor Horváth via Phabricator via cfe-commits
xazax.hun added inline comments. Comment at: lib/StaticAnalyzer/Core/IssueHash.cpp:39 + // primary template. + if (const FunctionDecl *InstantiatedFrom = + Target->getInstantiatedFromMemberFunction()) martong wrote: > Could we use here FunctionDecl::ge

[PATCH] D38795: [CodeGen] emitOMPArraySectionBase() to generate TBAA info along with LValue base info

2017-10-11 Thread Ivan Kosarev via Phabricator via cfe-commits
kosarev created this revision. kosarev added a project: clang. Prepared on top of https://reviews.llvm.org/D38733. Repository: rL LLVM https://reviews.llvm.org/D38795 Files: CodeGen/CGExpr.cpp Index: CodeGen/CGExpr.cpp === -

[PATCH] D33681: [OpenCL] Allow function declaration with empty argument list.

2017-10-11 Thread Alexey Bader via Phabricator via cfe-commits
This revision was automatically updated to reflect the committed changes. Closed by commit rL315453: [OpenCL] Allow function declaration with empty argument list. (authored by bader). Changed prior to commit: https://reviews.llvm.org/D33681?vs=118437&id=118588#toc Repository: rL LLVM https:

r315452 - [clang-rename] Don't add prefix qualifiers to the declaration and definition of the renamed symbol.

2017-10-11 Thread Haojian Wu via cfe-commits
Author: hokein Date: Wed Oct 11 04:15:48 2017 New Revision: 315452 URL: http://llvm.org/viewvc/llvm-project?rev=315452&view=rev Log: [clang-rename] Don't add prefix qualifiers to the declaration and definition of the renamed symbol. Reviewers: ioeric Reviewed By: ioeric Subscribers: klimek, cf

r315453 - [OpenCL] Allow function declaration with empty argument list.

2017-10-11 Thread Alexey Bader via cfe-commits
Author: bader Date: Wed Oct 11 04:16:31 2017 New Revision: 315453 URL: http://llvm.org/viewvc/llvm-project?rev=315453&view=rev Log: [OpenCL] Allow function declaration with empty argument list. Treat 'f()' as 'f(void)' rather than a function w/o a prototype. Reviewers: Anastasia, yaxunl Reviewe

[PATCH] D38723: [clang-rename] Don't add prefix qualifiers to the declaration and definition of the renamed symbol.

2017-10-11 Thread Haojian Wu via Phabricator via cfe-commits
This revision was automatically updated to reflect the committed changes. Closed by commit rL315452: [clang-rename] Don't add prefix qualifiers to the declaration and definition of… (authored by hokein). Changed prior to commit: https://reviews.llvm.org/D38723?vs=118573&id=118587#toc Repositor

[PATCH] D38794: [CodeGen] getNaturalTypeAlignment() to generate TBAA info along with LValue base info

2017-10-11 Thread Ivan A. Kosarev via Phabricator via cfe-commits
kosarev created this revision. kosarev added a project: clang. This patch should not bring in any functional changes. Prepared on top of https://reviews.llvm.org/D38733, https://reviews.llvm.org/D38788, https://reviews.llvm.org/D38791 and https://reviews.llvm.org/D38793. Repository: rL LLVM

[PATCH] D38793: [CodeGen] EmitLoadOfReference() to generate TBAA info along with LValue base info

2017-10-11 Thread Ivan A. Kosarev via Phabricator via cfe-commits
kosarev created this revision. kosarev added a project: clang. Repository: rL LLVM https://reviews.llvm.org/D38793 Files: CodeGen/CGExpr.cpp CodeGen/CodeGenFunction.h Index: CodeGen/CodeGenFunction.h === --- CodeGen/CodeGenF

[PATCH] D38791: [CodeGen] EmitLoadOfPointerLValue() to generate TBAA info along with LValue base info

2017-10-11 Thread Ivan A. Kosarev via Phabricator via cfe-commits
kosarev created this revision. kosarev added a project: clang. This patch should not bring in any functional changes. Prepared on top of https://reviews.llvm.org/D38733. Repository: rL LLVM https://reviews.llvm.org/D38791 Files: CodeGen/CGExpr.cpp CodeGen/CodeGenFunction.h Index: Code

[PATCH] D38723: [clang-rename] Don't add prefix qualifiers to the declaration and definition of the renamed symbol.

2017-10-11 Thread Haojian Wu via Phabricator via cfe-commits
hokein updated this revision to Diff 118573. hokein marked 3 inline comments as done. hokein added a comment. Address review comments. https://reviews.llvm.org/D38723 Files: lib/Tooling/Refactoring/Rename/USRLocFinder.cpp unittests/Rename/RenameClassTest.cpp Index: unittests/Rename/RenameC

[PATCH] D38452: Mark test as a long-test

2017-10-11 Thread Oliver Stannard via Phabricator via cfe-commits
olista01 accepted this revision. olista01 added a comment. This revision is now accepted and ready to land. LGTM. https://reviews.llvm.org/D38452 ___ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/

[PATCH] D38788: [CodeGen] EmitCXXMemberDataPointerAddress() to generate TBAA info along with LValue base info

2017-10-11 Thread Ivan A. Kosarev via Phabricator via cfe-commits
kosarev created this revision. kosarev added a project: clang. Prepared on top of https://reviews.llvm.org/D38733. Repository: rL LLVM https://reviews.llvm.org/D38788 Files: CodeGen/CGClass.cpp CodeGen/CGExpr.cpp CodeGen/CodeGenFunction.h Index: CodeGen/CodeGenFunction.h

[PATCH] D38772: [refactor] allow the use of refactoring diagnostics

2017-10-11 Thread Haojian Wu via Phabricator via cfe-commits
hokein added a comment. The code looks most good to me, a few nits. Comment at: lib/Basic/DiagnosticIDs.cpp:46 unsigned WarnShowInSystemHeader : 1; - unsigned Category : 5; + unsigned Category : 6; just curious: is this change needed?

[PATCH] D38733: [CodeGen] Generate TBAA info along with LValue base info

2017-10-11 Thread Ivan A. Kosarev via Phabricator via cfe-commits
kosarev updated this revision to Diff 118551. kosarev added a comment. Removed changes related to functions like getNaturalTypeAlignment() that generate LValue base info objects to simplify the patch. These removed changes will be addressed with separate patches. https://reviews.llvm.org/D3873

[PATCH] D36955: [libclang] Visit attributes for function and class templates

2017-10-11 Thread Johann Klähn via Phabricator via cfe-commits
jklaehn added a comment. In https://reviews.llvm.org/D36955#893856, @jbcoe wrote: > LGTM > > Would you like me to commit this for you? Yes, I would appreciate it. https://reviews.llvm.org/D36955 ___ cfe-commits mailing list cfe-commits@lists.llvm

[PATCH] D36973: [libclang] Add support for querying cursor availability

2017-10-11 Thread Johann Klähn via Phabricator via cfe-commits
jklaehn marked an inline comment as done. jklaehn added a comment. In https://reviews.llvm.org/D36973#893851, @jbcoe wrote: > LGTM > > Would you like me to commit this for you? Yes, that would be great! https://reviews.llvm.org/D36973 ___ cfe-com

[PATCH] D38402: [clang-refactor] Apply source replacements

2017-10-11 Thread Haojian Wu via Phabricator via cfe-commits
hokein accepted this revision. hokein added a comment. LGTM, let's check in it. Repository: rL LLVM https://reviews.llvm.org/D38402 ___ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

r315439 - Revert r314955: "Remove PendingBody mechanism for function and ObjC method deserialization."

2017-10-11 Thread Daniel Jasper via cfe-commits
Author: djasper Date: Wed Oct 11 00:47:54 2017 New Revision: 315439 URL: http://llvm.org/viewvc/llvm-project?rev=315439&view=rev Log: Revert r314955: "Remove PendingBody mechanism for function and ObjC method deserialization." This is breaking a build of https://github.com/abseil/abseil-cpp and

<    1   2