[Bug c++/14564] New: bogus warning: 'rettmp.10834' may be used uninitialized in this function

[Bug c++/14564] New: bogus warning: 'rettmp.10834' may be used uninitialized in this function

[falk at debian dot org]

g++ (GCC) 3.5-tree-ssa 20040311 (merged 20040307)

rettmp.10834 is probably some internal SSA name. It shouldn't occur in a
message. Loosely related to bug 14329.

% g++ -Wuninitialized -O2 arrange_profiles.ii -c
arrange_profiles.cpp: In function `profile_sample_files&
<unnamed>::find_profile_sample_files(__gnu_norm::list<profile_sample_files,
std::allocator<profile_sample_files> >&, const parsed_filename&)':
arrange_profiles.cpp:428: warning: 'rettmp.10834' may be used uninitialized in
this function
arrange_profiles.cpp:428: warning: 'rettmp.10794' may be used uninitialized in
this function

Will attach preprocessed source.

-- 
           Summary: bogus warning: 'rettmp.10834' may be used uninitialized
                    in this function
           Product: gcc
           Version: tree-ssa
            Status: UNCONFIRMED
          Keywords: diagnostic
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: falk at debian dot org
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: alphaev68-unknown-linux-gnu
  GCC host triplet: alphaev68-unknown-linux-gnu
GCC target triplet: alphaev68-unknown-linux-gnu


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

[Bug c++/14564] bogus warning: 'rettmp.10834' may be used uninitialized in this function

[falk at debian dot org]

------- Additional Comments From falk at debian dot org  2004-03-12 23:39 -------
Created an attachment (id=5911)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=5911&action=view)
test case


-- 


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

[Bug c++/14564] [tree-ssa] bogus warning: 'rettmp.10834' may be used uninitialized in this function

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |minor
            Summary|bogus warning:              |[tree-ssa] bogus warning:
                   |'rettmp.10834' may be used  |'rettmp.10834' may be used
                   |uninitialized in this       |uninitialized in this
                   |function                    |function
   Target Milestone|---                         |tree-ssa


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

[Bug c++/14564] [tree-ssa] bogus warning: 'rettmp.10834' may be used uninitialized in this function

[rth at gcc dot gnu dot org]

------- Additional Comments From rth at gcc dot gnu dot org  2004-03-15 21:59 -------
You should in fact note that the original source is busted.  It returns without
value.  I'll admit that we could do better for the warning though.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rth at gcc dot gnu dot org
                   |dot org                     |
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2004-03-15 21:59:18
               date|                            |


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

[Bug tree-optimization/14564] [tree-ssa] warning does not say a return value is what is uninitialized

[levon at movementarian dot org]

------- Additional Comments From levon at movementarian dot org  2004-05-20 17:49 -------
rth, I can't see the return without value in the code. I'm probably missing
something obvious

    425 profile_sample_files &
    426 find_profile_sample_files(list<profile_sample_files> & files,
    427     parsed_filename const & parsed)
    428 {
    429         list<profile_sample_files>::iterator it;
    430         list<profile_sample_files>::iterator const end = files.end();
    431         for (it = files.begin(); it != end; ++it) {
    432                 if (!it->sample_filename.empty()) {
    433                         parsed_filename psample_filename =
    434                                 parse_filename(it->sample_filename);
    435                         if (psample_filename.lib_image ==
parsed.lib_image &&
    436                             psample_filename.image == parsed.image &&
    437                             psample_filename.profile_spec_equal(parsed))
    438                                 return *it;
    439                 }
    440
    441                 list<string>::const_iterator cit;
    442                 list<string>::const_iterator const cend =
it->cg_files.end();
    443                 for (cit = it->cg_files.begin(); cit != cend; ++cit) {
    444                         parsed_filename pcg_filename = parse_filename(*cit);
    445                         if (pcg_filename.lib_image == parsed.lib_image &&
    446                             pcg_filename.image == parsed.image &&
    447                             pcg_filename.profile_spec_equal(parsed))
    448                                 return *it;
    449                 }
    450         }
    451
    452         // not found create a new once.
    453         files.push_back(profile_sample_files());
    454         return files.back();
    455 }

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |levon at movementarian dot
                   |                            |org


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

[Bug tree-optimization/14564] [tree-ssa] warning does not say a return value is what is uninitialized

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-05-20 18:34 -------
Actually the value is not uninitialized at all, the problem comes inlining ~parsed_filename which has 
exceptions which cause this warning to happen.

-- 


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

[Bug tree-optimization/14564] [tree-ssa] warning does not say a return value is what is uninitialized

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-06-10 19:47 -------
I wll note that I get a warning still:
arrange_profiles.cpp:438: warning: 'T.1365' may be used uninitialized in this function

But then a seg fault while trying to expand the function to RTL which is most likely the same as bug 
15794.

-- 


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

[Bug tree-optimization/14564] [tree-ssa] warning does not say a return value is what is uninitialized

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-06-17 19:58 -------
This is most likely the same as PR 16036.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |16036


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

[Bug tree-optimization/14564] [tree-ssa] warning does not say a return value is what is uninitialized

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-06-17 20:49 -------
This is a dup of bug 16036, the problems comes from exceptions and abnormal edges.

*** This bug has been marked as a duplicate of 16036 ***

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


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

[Bug tree-optimization/14564] [tree-ssa] warning does not say a return value is what is uninitialized

[rth at gcc dot gnu dot org]

-- 
Bug 14564 depends on bug 16036, which changed state.

Bug 16036 Summary: [3.5 regression] Spurious "may be used uninitialized in this function" warning
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16036

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

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