456654 - Treehydra: spurious calls to process_type()

Status: RESOLVED WONTFIX

(Developer Infrastructure :: Source Code Analysis, defect)

Description

[Jason Orendorff [:jorendorff]]

-- Treehydra script
function process_type(ty) {
  _print(ty.name);
}

-- C++ translation unit
enum Color {blue};
volatile Color x;

--- Expected output
Color

--- Actual output
Color
volatile Color

Comment 1

[Benjamin Smedberg]

why is this spurious? in GCC, type modifiers such as volatile and const are different type objects. You can use .variantOf to get back to the unmodified version if you desire.

Comment 2

[Jason Orendorff [:jorendorff]]

process_type is documented to be called "for each class/struct/enum/union definition".

http://developer.mozilla.org/en/Dehydra_Manual#process_function(decl.2c_body)

Comment 3

[Benjamin Smedberg]

The alternative is to have type objects magically appear in function bodies which never went through process_type, which is I think a worse alternative. Can we just change the docs?

Comment 4

[Jason Orendorff [:jorendorff]]

Built-in types like int and float, function types, pointer and reference types, array types, and const-qualified types already appear without going through process_type.

(Types that are instantiations of class templates, and their members that are types, do go through process_type.  I don't care one way or the other about that.)

Comment 5

[Joshua Cranmer [:jcranmer]]

Dehydra and treehydra are no longer maintained by Mozilla.