From 881c8edf0d4a985585d39aa45182db7f012df698 Mon Sep 17 00:00:00 2001
From: Tagir Valeev <Tagir.Valeev@jetbrains.com>
Date: Fri, 8 Nov 2019 17:07:23 +0700
Subject: [PATCH] CustomMethodHandlers: expect unknown size

Fixes EA-216984 - IAE: SpecialFieldValue.<init>

GitOrigin-RevId: 383e58d6c517c116ab5657d624df31791eabe4ba
---
 .../intellij/codeInspection/dataFlow/CustomMethodHandlers.java  | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/CustomMethodHandlers.java b/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/CustomMethodHandlers.java
index a92bd561359a..51122fba3511 100644
--- a/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/CustomMethodHandlers.java
+++ b/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/CustomMethodHandlers.java
@@ -233,7 +233,7 @@ class CustomMethodHandlers {
     else {
       size = factory.getInt(args.myArguments.length / factor);
     }
-    SpecialFieldValue sizeConstraint = COLLECTION_SIZE.withValue(size);
+    SpecialFieldValue sizeConstraint = size == DfaUnknownValue.getInstance() ? null : COLLECTION_SIZE.withValue(size);
     DfaFactMap facts = DfaFactMap.EMPTY
       .with(DfaFactType.TYPE_CONSTRAINT, dfaType.asConstraint())
       .with(DfaFactType.NULLABILITY, DfaNullability.NOT_NULL)