[Bug middle-end/48672] New: [4.6 regression] control reaches end of non-void false positive

[matt at use dot net]

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

           Summary: [4.6 regression] control reaches end of non-void false
                    positive
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: matt@use.net


In the attached pre-processed source, I get these false positives that do not
occur with 4.5.2 or 4.4.4:

abm.cpp: In member function 'uint32_t
CE::Allocated_block_map::Get_num_block_map_blocks_needed(uint32_t) const':
abm.cpp:41:1: warning: control reaches end of non-void function [-Wreturn-type]
abm.cpp: In static member function 'static uint32_t
CE::Allocated_block_map::Get_num_block_map_blocks_needed(uint32_t,
CE::CEA_Disk_layout::Allocated_block_map_version)':
abm.cpp:29:1: warning: control reaches end of non-void function [-Wreturn-type]