438838 - dehydra: constructors of static variables don't have .fieldOf

Status: RESOLVED FIXED

(Developer Infrastructure :: Source Code Analysis, defect)

Description

[Benjamin Smedberg]

Attachment: Testcase .cpp

Testcase attached: I expect every call to a constructor to have a .fieldOf, but in this case the constructor is being called on a static variable and doesn't have a .fieldOf.

Comment 1

[Benjamin Smedberg]

Attachment: Analysis script .js

Testcase .js

Comment 2

[(dormant account)]

Attachment: This might be a fix

gcc init stuff is weird. Basic problem here is that dehydra does not apply a transformation pass to the C++ ast to make it into a simpler form(like the simpler form provided by treehydra)...because that'd be too much work...the downside is that code gets really messy when we try to stick nested c++ expressions that are in the AST into a flat list where variables are defined on the toplevel.

Additionally, having a couple of different kinds of node initialization in GCC does not help. In this particular case code for handling DECL_EXPR and INIT_EXPR wasn't unified enough.

Comment 3

[Benjamin Smedberg]

This WFM.

Comment 4

[(dormant account)]

pushed