[Bug tree-optimization/22525] New: tree based value profiling (-fprofile-use) produces mismatch types in conditional

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

The testcase is gcc.dg/tree-prof/val-prof-2.c.  It only happens when profile use is used.
Note this is worse if we use unsigned long long instead as we get a size mismatch.
See PR 22368 for the patch to catch this (the second patch):

/Users/pinskia/src/local/gcc/gcc/testsuite/gcc.dg/tree-prof/val-prof-2.c: In function 'main':^M
/Users/pinskia/src/local/gcc/gcc/testsuite/gcc.dg/tree-prof/val-prof-2.c:25: error: types mismatch in 
comparsion^M
unsigned intD.3^M
intD.0^M
PROF.4D.1300 != 0;^M
^M
/Users/pinskia/src/local/gcc/gcc/testsuite/gcc.dg/tree-prof/val-prof-2.c:25: internal compiler error: 
verify_stmts failed^M
Please submit a full bug report,^M
with preprocessed source if appropriate.^M
See <URL:http://gcc.gnu.org/bugs.html> for instructions.^M

-- 
           Summary: tree based value profiling (-fprofile-use) produces
                    mismatch types in conditional
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pinskia at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org
OtherBugsDependingO 22368
             nThis:


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