[PATCH] D26808: [Sema] Don't allow applying address-of operator to a call to a function with __unknown_anytype return type
Akira Hatanaka via cfe-commits
cfe-commits at lists.llvm.org
Fri Nov 18 16:23:10 PST 2016
This revision was automatically updated to reflect the committed changes.
Closed by commit rL287410: [Sema] Don't allow applying address-of operator to a call to a function (authored by ahatanak).
Changed prior to commit:
https://reviews.llvm.org/D26808?vs=78396&id=78598#toc
Repository:
rL LLVM
https://reviews.llvm.org/D26808
Files:
cfe/trunk/include/clang/Basic/DiagnosticSemaKinds.td
cfe/trunk/lib/Sema/SemaExpr.cpp
cfe/trunk/test/SemaCXX/unknown-anytype.cpp
Index: cfe/trunk/include/clang/Basic/DiagnosticSemaKinds.td
===================================================================
--- cfe/trunk/include/clang/Basic/DiagnosticSemaKinds.td
+++ cfe/trunk/include/clang/Basic/DiagnosticSemaKinds.td
@@ -8031,6 +8031,9 @@
def err_unknown_any_addrof : Error<
"the address of a declaration with unknown type "
"can only be cast to a pointer type">;
+def err_unknown_any_addrof_call : Error<
+ "address-of operator cannot be applied to a call to a function with "
+ "unknown return type">;
def err_unknown_any_var_function_type : Error<
"variable %0 with unknown type cannot be given a function type">;
def err_unknown_any_function : Error<
Index: cfe/trunk/test/SemaCXX/unknown-anytype.cpp
===================================================================
--- cfe/trunk/test/SemaCXX/unknown-anytype.cpp
+++ cfe/trunk/test/SemaCXX/unknown-anytype.cpp
@@ -56,3 +56,15 @@
(X<int>)test0(); // expected-error{{implicit instantiation of undefined template 'test5::X<int>'}}
}
}
+
+namespace test6 {
+ extern __unknown_anytype func();
+ extern __unknown_anytype var;
+ double *d;
+
+ void test() {
+ d = (double*)&func(); // expected-error{{address-of operator cannot be applied to a call to a function with unknown return type}}
+ d = (double*)&var;
+ }
+
+}
Index: cfe/trunk/lib/Sema/SemaExpr.cpp
===================================================================
--- cfe/trunk/lib/Sema/SemaExpr.cpp
+++ cfe/trunk/lib/Sema/SemaExpr.cpp
@@ -14774,6 +14774,13 @@
<< E->getSourceRange();
return ExprError();
}
+
+ if (isa<CallExpr>(E->getSubExpr())) {
+ S.Diag(E->getOperatorLoc(), diag::err_unknown_any_addrof_call)
+ << E->getSourceRange();
+ return ExprError();
+ }
+
assert(E->getValueKind() == VK_RValue);
assert(E->getObjectKind() == OK_Ordinary);
E->setType(DestType);
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D26808.78598.patch
Type: text/x-patch
Size: 1926 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20161119/b767554e/attachment-0001.bin>
More information about the cfe-commits
mailing list