Hello.
As mentioned in the PR, we end up with a void function
call that has set MALLOC attribute. That causes problems in RTL
expansion.
I believe a proper fix is to drop the attribute when a callgraph
clone with void type is created.
I would like to see Martin's comment about the hunk in propagate_malloc
which is maybe suboptimal and one can find a better way?
Patch can bootstrap on x86_64-linux-gnu and survives regression tests.
It fixes LTO bootstrap on ppc64le.
Thanks,
Martin
gcc/ChangeLog:
2020-02-17 Martin Liska <mli...@suse.cz>
PR ipa/93583
* cgraph.c (cgraph_node::verify_node): Verify MALLOC attribute
and return type of functions.
* ipa-param-manipulation.c (ipa_param_adjustments::adjust_decl):
Drop MALLOC attribute for void functions.
* ipa-pure-const.c (propagate_malloc): Do not set malloc flag
for void functions.
gcc/testsuite/ChangeLog:
2020-02-17 Martin Liska <mli...@suse.cz>
PR ipa/93583
* gcc.dg/ipa/pr93583.c: New test.
---
gcc/cgraph.c | 6 ++++++
gcc/ipa-param-manipulation.c | 4 ++++
gcc/ipa-pure-const.c | 9 ++++++---
gcc/testsuite/gcc.dg/ipa/pr93583.c | 15 +++++++++++++++
4 files changed, 31 insertions(+), 3 deletions(-)
create mode 100644 gcc/testsuite/gcc.dg/ipa/pr93583.c
diff --git a/gcc/cgraph.c b/gcc/cgraph.c
index 294b2d392fd..6e99fbb45f4 100644
--- a/gcc/cgraph.c
+++ b/gcc/cgraph.c
@@ -3374,6 +3374,12 @@ cgraph_node::verify_node (void)
error ("calls_comdat_local is set outside of a comdat group");
error_found = true;
}
+ if (DECL_IS_MALLOC (decl)
+ && VOID_TYPE_P (TREE_TYPE (TREE_TYPE (decl))))
+ {
+ error ("MALLOC attribute set on a void function");
+ error_found = true;
+ }
for (e = indirect_calls; e; e = e->next_callee)
{
if (e->aux)
diff --git a/gcc/ipa-param-manipulation.c b/gcc/ipa-param-manipulation.c
index 19ec87358fa..5f6f0575b06 100644
--- a/gcc/ipa-param-manipulation.c
+++ b/gcc/ipa-param-manipulation.c
@@ -410,6 +410,10 @@ ipa_param_adjustments::adjust_decl (tree orig_decl)
DECL_VIRTUAL_P (new_decl) = 0;
DECL_LANG_SPECIFIC (new_decl) = NULL;
+ /* Drop MALLOC attribute for a void function. */
+ if (VOID_TYPE_P (TREE_TYPE (TREE_TYPE (new_decl))))
+ DECL_IS_MALLOC (new_decl) = 0;
+
return new_decl;
}
diff --git a/gcc/ipa-pure-const.c b/gcc/ipa-pure-const.c
index ccd0918c120..315134d2a94 100644
--- a/gcc/ipa-pure-const.c
+++ b/gcc/ipa-pure-const.c
@@ -1973,9 +1973,12 @@ propagate_malloc (void)
node->dump_name ());
bool malloc_decl_p = DECL_IS_MALLOC (node->decl);
- node->set_malloc_flag (true);
- if (!malloc_decl_p && warn_suggest_attribute_malloc)
- warn_function_malloc (node->decl);
+ if (!VOID_TYPE_P (TREE_TYPE (TREE_TYPE (node->decl))))
+ {
+ node->set_malloc_flag (true);
+ if (!malloc_decl_p && warn_suggest_attribute_malloc)
+ warn_function_malloc (node->decl);
+ }
}
}
diff --git a/gcc/testsuite/gcc.dg/ipa/pr93583.c b/gcc/testsuite/gcc.dg/ipa/pr93583.c
new file mode 100644
index 00000000000..30ef506553d
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/ipa/pr93583.c
@@ -0,0 +1,15 @@
+/* PR ipa/93583 */
+/* { dg-do compile } */
+/* { dg-options "-O2" } */
+
+void *bar(const char*);
+static void *__attribute__((malloc,noinline)) foo(const char *p)
+{
+ return bar (p);
+}
+
+int main(int argc, char **argv)
+{
+ foo (argv[0]);
+ return 0;
+}
