[Bug tree-optimization/50723] [4.7 regression] internal compiler error: verify_ssa failed

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |rguenth at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #2 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-10-14 09:27:22 UTC ---
Reduced testcase:

typedef short unsigned int wchar_t;
typedef unsigned int size_t;
int* _errno(void);
int WideCharToMultiByte (wchar_t *);
int __attribute__ ((__nonnull__ (1)))  
__wcrtomb_cp (char *dst, wchar_t wc, const unsigned int cp, 
              const unsigned int mb_max)
{
  if (cp == 0)     {
      if (wc > 255) 
        (*_errno()) = 42;
      return 1;
  }
  else 
    return WideCharToMultiByte (&wc);
}
void wcsrtombs (char *dst, const wchar_t *pwc, unsigned int cp,
                unsigned int mb_max)
{
  if ((__wcrtomb_cp (dst, *pwc, cp, mb_max)) <= 0)
    return;
  if ((__wcrtomb_cp (dst, *pwc, cp, mb_max)) <= 0)
    return;
}