[PATCH] Add missing type canonicalization when forming a SubstTempalteTypeParmType

Reid Kleckner rnk at google.com
Wed Nov 12 14:33:14 PST 2014


Hi rsmith,

Substituted type template parameters should hold the original parameter
and the canonical type that was used for instantiation. We were missing
a canonicalization step and some extra sugar would have leaked through
into the instantiation.

Test case reduced from PR19372. It could use improvement if anyone has a
better idea for how to inject type sugar into this codepath.

http://reviews.llvm.org/D6237

Files:
  lib/Sema/SemaTemplateInstantiate.cpp
  test/SemaTemplate/crash-pr19372.cpp
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D6237.16117.patch
Type: text/x-patch
Size: 2413 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20141112/2e208bb2/attachment.bin>


More information about the cfe-commits mailing list