[gcc(refs/users/aoliva/heads/strub)] strub type checking

[Alexandre Oliva <aoliva@gcc.gnu.org>]

https://gcc.gnu.org/g:396d2d0536e89b78ace8ce2f806031e8dfcdcb35

commit 396d2d0536e89b78ace8ce2f806031e8dfcdcb35
Author: Alexandre Oliva <oliva@gnu.org>
Date:   Wed Aug 4 05:52:43 2021 -0300

    strub type checking

Diff:
---
 gcc/ipa-strub.c | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/gcc/ipa-strub.c b/gcc/ipa-strub.c
index e302f0ec1c5..81d961ac44e 100644
--- a/gcc/ipa-strub.c
+++ b/gcc/ipa-strub.c
@@ -429,12 +429,12 @@ can_strub_internally_p (cgraph_node *node, bool report = false)
 		node->decl);
     }
 
-  if (result)
-    /* Since we're not changing the function identity proper, just
-       moving its full implementation, we *could* disable
-       fun->cannot_be_copied_reason and/or temporarily drop a noclone
-       attribute.  */
-    gcc_checking_assert (tree_versionable_function_p (node->decl));
+  /* Since we're not changing the function identity proper, just
+     moving its full implementation, we *could* disable
+     fun->cannot_be_copied_reason and/or temporarily drop a noclone
+     attribute.  */
+  gcc_checking_assert (!result || !node->has_gimple_body_p ()
+		       || tree_versionable_function_p (node->decl));
 
   return result;
 }