diff options
| -rw-r--r-- | src/tools/fuzzing/fuzzing.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/tools/fuzzing/fuzzing.cpp b/src/tools/fuzzing/fuzzing.cpp index 064871931..467d7f724 100644 --- a/src/tools/fuzzing/fuzzing.cpp +++ b/src/tools/fuzzing/fuzzing.cpp @@ -3041,6 +3041,12 @@ HeapType TranslateToFuzzReader::getSubType(HeapType type) { } Rtt TranslateToFuzzReader::getSubType(Rtt rtt) { + if (getTypeSystem() == TypeSystem::Nominal || + getTypeSystem() == TypeSystem::Isorecursive) { + // With nominal or isorecursive typing the depth in rtts must match the + // nominal hierarchy, so we cannot create a random depth like we do below. + return rtt; + } uint32_t depth = rtt.depth != Rtt::NoDepth ? rtt.depth : oneIn(2) ? Rtt::NoDepth : upTo(MAX_RTT_DEPTH + 1); |