diff options
| author | Philip Herron <philip.herron@embecosm.com> | 2021-03-18 15:18:21 +0000 |
|---|---|---|
| committer | Philip Herron <herron.philip@googlemail.com> | 2021-03-19 08:44:25 +0000 |
| commit | f0750d7091a7f9014d4327cc13f4625af2da2500 (patch) | |
| tree | 0022208828fa5c37ddfbaeca23a75f1a8eb28c55 /gcc/loop-init.c | |
| parent | 196476601e64a954ad10fb0a728038aedae93155 (diff) | |
| download | gcc-f0750d7091a7f9014d4327cc13f4625af2da2500.zip gcc-f0750d7091a7f9014d4327cc13f4625af2da2500.tar.gz gcc-f0750d7091a7f9014d4327cc13f4625af2da2500.tar.bz2 | |
Fix type unification for Inference Variables and return types
When we resolve the type of an expression such as a LiteralExpr with HIR id
10, but is the final expression in a BlockExpr of HirId 11. The same type
is infered for the entire BlockExpr as well as the final Expr but we
override the reference id on the TyTy::Type. This means if there is a
change in reference id the old ID must be added to the combined reference
chain for type inference to take place.
Fixes #293
Diffstat (limited to 'gcc/loop-init.c')
0 files changed, 0 insertions, 0 deletions