On 02/04/2016 06:01 AM, Richard Henderson wrote: > While attempting to write some code that uses the new x86 named address space > support in gcc 6, I found that __typeof is very unhelpful. In particular, > given > > int __seg_fs *ptr; > __typeof(*ptr) obj; > > OBJ will not be type "int", but "int __seg_fs". Which means that you can't > use > it to create temporaries within statement expressions. > > In the process of writing this, I found a hack in __typeof added just to > support _Atomic. Which suggests that one of these variants would be more > generally helpful than the hack. > > I add __typeof_noas and __typeof_noqual. The first strips only the address > space, leaving 'const' and 'volatile' (and, I suppose 'restrict'). The > second > strips all qualifiers, essentially yielding the TYPE_MAIN_VARIANT. > > Thoughts?
Do we need matching __auto_type variants?