From: rsandifo <rsandifo@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Wed, 16 Oct 2019 10:58:55 +0000 (+0000)
Subject: Assert for POINTER_TYPE_P in expr_callee_abi
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=b37e7f080e54c57517e63f455f21ae07b992d2d1;p=thirdparty%2Fgcc.git

Assert for POINTER_TYPE_P in expr_callee_abi

2019-10-16  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
	* function-abi.cc (expr_callee_abi): Assert for POINTER_TYPE_P.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@277063 138bc75d-0d04-0410-961f-82ee72b054a4
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 56ad96db752a..1a03ac2dc050 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2019-10-16  Richard Sandiford  <richard.sandiford@arm.com>
+
+	* function-abi.cc (expr_callee_abi): Assert for POINTER_TYPE_P.
+
 2019-10-16  Richard Sandiford  <richard.sandiford@arm.com>
 
 	* genmodes.c (mode_data::order): New field.
diff --git a/gcc/function-abi.cc b/gcc/function-abi.cc
index b4a18396367d..2c23b4936bf7 100644
--- a/gcc/function-abi.cc
+++ b/gcc/function-abi.cc
@@ -249,12 +249,6 @@ expr_callee_abi (const_tree exp)
   if (type == error_mark_node)
     return default_function_abi;
 
-  if (POINTER_TYPE_P (type))
-    {
-      type = TREE_TYPE (type);
-      if (type == error_mark_node)
-	return default_function_abi;
-    }
-
-  return fntype_abi (type);
+  gcc_assert (POINTER_TYPE_P (type));
+  return fntype_abi (TREE_TYPE (type));
 }