Andrew Sutton <andrew.n.sut...@gmail.com> writes: | > | But, I don't think we have a single TEMPLATE_PARM_DECL node. Template | > | parameters are either TYPE_DECLs or PARM_DECLs. I think auto | > | declarations, get VAR_DECLs, but I haven't looked closely at that | > | design. I'd have to look to see if there are any free tree slots all | > | of those decl nodes to minimize. | > | > The individual constraint for a template parameter should probably go | > with the TEMPLATE_PARM_INDEX which is the uniform representation of | > template parameters. But, the real cumulative constraints go with the | > TEMPLATE_DECLs. With Jason's patch that creates TEMPLATE_DECLs for | > partial instantiations, I believe we have all the bases covered. | | I have to look through the template parameter creation code, but that | sounds about right.
build_template_parm -- the real (low-level) constructor process_template_parm -- higher-level interface to the parsing make_auto_1 -- for type of variables declared with 'auto'. -- Gaby
