diff options
Diffstat (limited to 'src/passes/ConstantFieldPropagation.cpp')
| -rw-r--r-- | src/passes/ConstantFieldPropagation.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/passes/ConstantFieldPropagation.cpp b/src/passes/ConstantFieldPropagation.cpp index 0f66fe28b..5048b978b 100644 --- a/src/passes/ConstantFieldPropagation.cpp +++ b/src/passes/ConstantFieldPropagation.cpp @@ -187,8 +187,9 @@ struct ConstantFieldPropagation : public Pass { if (!module->features.hasGC()) { return; } - if (getTypeSystem() != TypeSystem::Nominal) { - Fatal() << "ConstantFieldPropagation requires nominal typing"; + if (getTypeSystem() != TypeSystem::Nominal && + getTypeSystem() != TypeSystem::Isorecursive) { + Fatal() << "CFP requires nominal/isorecursive typing"; } // Find and analyze all writes inside each function. |