490853 - gcc: Losing "typedef" type information for some temporary variables

Status: RESOLVED WORKSFORME

(Developer Infrastructure :: Source Code Analysis, defect)

Description

[Chris Jones [:cjones] inactive; ni?/f?/r? if you need me]

Attachment: dehydra testcase

For the attached testcase (ex.cc), dehydra loses necessary typedef info at:

  * line 37: expected behavior is a type error
  * line 42: expected behavior is a type error
  * line 53: expected behavior is *no* type error

Comment 1

[Chris Jones [:cjones] inactive; ni?/f?/r? if you need me]

Attachment: C++ file on which typedef info is lost

Comment 2

[Chris Jones [:cjones] inactive; ni?/f?/r? if you need me]

Attachment: Small treehydra analysis checking for proper typedef info on above testcase

Comment 3

[Shriram (irc: Mavericks)]

Is this taken care of by another bug? If not, what would be the next step?

Comment 4

[Joshua Cranmer [:jcranmer]]

The two testcases appear to work for me under gcc 4.6.