[Bug ipa/61823] New: [4.10 Regression] gcc.dg/torture/pr43879_[12].c FAILs with -fno-inline

[Bug ipa/61823] New: [4.10 Regression] gcc.dg/torture/pr43879_[12].c FAILs with -fno-inline

[zsojka at seznam dot cz]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61823

            Bug ID: 61823
           Summary: [4.10 Regression] gcc.dg/torture/pr43879_[12].c FAILs
                    with -fno-inline
           Product: gcc
           Version: 4.10.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ipa
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zsojka at seznam dot cz

Output:
$ gcc -O -flto -fipa-pta -fno-inline pr43879_1.i pr43879_2.i
$ ./a.out
Aborted

Testcases are:
gcc/testsuite/gcc.dg/torture/pr43879_1.c
gcc/testsuite/gcc.dg/torture/pr43879_2.c

[Bug ipa/61823] [4.10 Regression] gcc.dg/torture/pr43879_[12].c FAILs with -fno-inline

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61823

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2014-07-17
                 CC|                            |hubicka at gcc dot gnu.org
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org
   Target Milestone|---                         |4.10.0
     Ever confirmed|0                           |1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
We fail to process the tbl initializer in IPA PTA (I guess Honza broke this
again with on-demand DECL_INITIAL loading...)

But then when a function pointer is computed as pointing to "anything" we
fail to have sth like "anything-called" to make _all_ functions possibly
called receive the proper arguments.  That's a pre-existing bug.

Honza, how do I update

          /* If this is a global variable with an initializer and we are in
             IPA mode generate constraints for it.  */
          if (DECL_INITIAL (decl)
              && vnode->definition)
            {

which now fails?

[Bug ipa/61823] [4.10 Regression] gcc.dg/torture/pr43879_[12].c FAILs with -fno-inline

[hubicka at ucw dot cz]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61823

--- Comment #2 from Jan Hubicka <hubicka at ucw dot cz> ---
>           /* If this is a global variable with an initializer and we are in
>              IPA mode generate constraints for it.  */
>           if (DECL_INITIAL (decl)
>               && vnode->definition)
>             {
> 
> which now fails?

You need to call varpool_get_constructor

Honza

[Bug ipa/61823] [4.10 Regression] gcc.dg/torture/pr43879_[12].c FAILs with -fno-inline

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61823

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.

[Bug ipa/61823] [4.10 Regression] gcc.dg/torture/pr43879_[12].c FAILs with -fno-inline

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61823

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Thu Jul 24 12:01:31 2014
New Revision: 212980

URL: https://gcc.gnu.org/viewcvs?rev=212980&root=gcc&view=rev
Log:
2014-07-24  Richard Biener  <rguenther@suse.de>

    PR ipa/61823
    * tree-ssa-structalias.c (create_variable_info_for_1):
    Use varpool_get_constructor.
    (create_variable_info_for): Likewise.

    * gcc.dg/torture/pr43879_1.c: Add -fno-inline.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/torture/pr43879_1.c
    trunk/gcc/tree-ssa-structalias.c