fix: prevent stack overflow in type inference if update tree is too deep

2019-05-11 22:34:36 +03:00
parent 119709b844
commit 0ca2789a18
1 changed files with 6 additions and 0 deletions
@@ -151,6 +151,12 @@ public final class TypeUpdate {
 			return CHANGED;
 		}
 		updateInfo.requestUpdate(arg, candidateType);
+		if (updateInfo.getUpdates().size() > 500) {
+			if (Consts.DEBUG) {
+				LOG.error("Type update error: too deep update tree");
+			}
+			return REJECT;
+		}
 		try {
 			TypeUpdateResult result = runListeners(updateInfo, arg, candidateType);
 			if (result == REJECT) {