aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorJan Hubicka <jh@suse.cz>2021-11-25 23:58:48 +0100
committerJan Hubicka <jh@suse.cz>2021-11-25 23:58:48 +0100
commit1b0acc4b800b589a39d637d7312da5cf969a5765 (patch)
tree03bcf17b65ac980e78530f94e2f7684563d803f7 /gcc
parent82c3657dd74896b39937bb0a2aaeba9b8ca105fd (diff)
downloadgcc-1b0acc4b800b589a39d637d7312da5cf969a5765.zip
gcc-1b0acc4b800b589a39d637d7312da5cf969a5765.tar.gz
gcc-1b0acc4b800b589a39d637d7312da5cf969a5765.tar.bz2
Remove forgotten early return in ipa_value_range_from_jfunc
gcc/ChangeLog: * ipa-cp.c (ipa_value_range_from_jfunc): Remove forgotten early return. gcc/testsuite/ChangeLog: * gcc.dg/ipa/inline10.c: New test.
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ipa-cp.c1
-rw-r--r--gcc/testsuite/gcc.dg/ipa/inline10.c33
2 files changed, 33 insertions, 1 deletions
diff --git a/gcc/ipa-cp.c b/gcc/ipa-cp.c
index 703541d..5d9bb97 100644
--- a/gcc/ipa-cp.c
+++ b/gcc/ipa-cp.c
@@ -1620,7 +1620,6 @@ ipa_value_range_from_jfunc (ipa_node_params *info, cgraph_edge *cs,
ipa_jump_func *jfunc, tree parm_type)
{
value_range vr;
- return vr;
if (jfunc->m_vr)
ipa_vr_operation_and_type_effects (&vr,
jfunc->m_vr,
diff --git a/gcc/testsuite/gcc.dg/ipa/inline10.c b/gcc/testsuite/gcc.dg/ipa/inline10.c
new file mode 100644
index 0000000..81884b4
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/ipa/inline10.c
@@ -0,0 +1,33 @@
+/* { dg-do compile } */
+/* { dg-options "-Os -c -fdump-ipa-inline-details -fno-early-inlining -fno-partial-inlining" } */
+void link_error ();
+int
+test(int a)
+{
+ if (a>10)
+ {
+ link_error ();
+ link_error ();
+ link_error ();
+ link_error ();
+ link_error ();
+ link_error ();
+ link_error ();
+ link_error ();
+ link_error ();
+ link_error ();
+ link_error ();
+ link_error ();
+ link_error ();
+ link_error ();
+ link_error ();
+ link_error ();
+ }
+}
+int test2()
+{
+ for (int i=0;i<10;i++)
+ test(i);
+}
+/* { dg-final { scan-ipa-dump "Known to be false: not inlined, op0 > 10" "inline" } } */
+/* { dg-final { scan-ipa-dump "Inlined test" "inline" } } */