search for: typeorvalue

...ed as const Expressions in llvm.Everytime we come across Y<T>::dim a new Expression pointer is created which is used to represent the Arg of X<Y<T>::dim> . Since every time Y<T>::dim is a new Expression pointer Arg for template X<Y<T>::dim> represnts a diffenent typeOrValue each time.As a result for the same expression X<Y<T>::dim> we create a new type node in getCanonicalTemplateSpecializationType resulting in type mismatch. Wanted to know if this current approach to create a new expression pointer every time the same expression is revisited again is corr...

...Non type template parameters are represented as const Expressions in llvm.Everytime we come across Y::dim a new Expression pointer is created which is used to represent the Arg of X::dim> . Since every time Y::dim is a new Expression pointer > Arg for template X::dim> represnts a diffenent typeOrValue each time.As a result for the same expression X::dim> we create a new type node in getCanonicalTemplateSpecializationType resulting in type mismatch. Wanted to know if this current approach to create a new expression pointer every time the same expression is revisited again is correct? The curr...