[Bug tree-optimization/24840] [4.1 Regression] ICE process_assert_insertions_for, at tree-vrp.c:2807

["pinskia at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

------- Comment #6 from pinskia at gcc dot gnu dot org  2005-11-14 04:56 -------
Confirmed, reduced testcase:
typedef struct {}Object;

void Err_Handler () __attribute__ ((__noreturn__));
int P_Error (int argc, Object *argv) {
    Err_Handler (argv[0], argv[1], argc-2, argv+2);
}
-----
Another a little better testcase which shows the issue with unquestable C:
typedef struct {}Object;

void Err_Handler (Object, ...) __attribute__ ((__noreturn__));
int P_Error (int argc, Object *argv) {
    Err_Handler (argv[0], argv[1], argc-2, argv+2);
}


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dnovillo at gcc dot gnu dot
                   |                            |org
           Severity|normal                      |critical
             Status|WAITING                     |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-11-14 04:56:13
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24840