IDEA-181080 Result of expression is ignored for Optional.orElseThrow

java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/ContractValue.java

@@ -36,7 +36,7 @@ public abstract class ContractValue {
   /**
    * @return true if this contract value represents a bounds-checking condition
    */
-  boolean isBoundCheckingCondition() {
+  public boolean isBoundCheckingCondition() {
     return false;
   }
 
@@ -168,7 +168,7 @@ public abstract class ContractValue {
     }
 
     @Override
-    boolean isBoundCheckingCondition() {
+    public boolean isBoundCheckingCondition() {
       switch (myRelationType) {
         case LE:
         case LT:

java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/MethodContract.java

@@ -71,7 +71,7 @@ public abstract class MethodContract {
 
   abstract String getArgumentsPresentation();
 
-  abstract List<ContractValue> getConditions();
+  public abstract List<ContractValue> getConditions();
 
   @Override
   public String toString() {
@@ -91,7 +91,7 @@ public abstract class MethodContract {
       }
 
       @Override
-      List<ContractValue> getConditions() {
+      public List<ContractValue> getConditions() {
         return Collections.emptyList();
       }
     };
@@ -114,7 +114,7 @@ public abstract class MethodContract {
       }
 
       @Override
-      List<ContractValue> getConditions() {
+      public List<ContractValue> getConditions() {
         return Collections.singletonList(condition);
       }
     };

java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/StandardMethodContract.java

@@ -81,7 +81,7 @@ public final class StandardMethodContract extends MethodContract {
   }
 
   @Override
-  protected List<ContractValue> getConditions() {
+  public List<ContractValue> getConditions() {
     return IntStreamEx.ofIndices(arguments).mapToObj(idx -> arguments[idx].getCondition(idx)).without(ContractValue.booleanValue(true))
       .toList();
   }

plugins/InspectionGadgets/InspectionGadgetsAnalysis/src/com/siyeh/ig/psiutils/SideEffectChecker.java

@@ -209,8 +209,9 @@ public class SideEffectChecker {
     if (method.getName().startsWith("assert") || method.getName().startsWith("check")) {
       return true;
     }
-    return ControlFlowAnalyzer.getMethodContracts(method).stream()
-      .anyMatch(mc -> mc.returnValue == MethodContract.ValueConstraint.THROW_EXCEPTION);
+    return ControlFlowAnalyzer.getMethodCallContracts(method, null).stream()
+      .filter(mc -> mc.getConditions().stream().noneMatch(cv -> cv.isBoundCheckingCondition()))
+      .anyMatch(mc -> mc.getReturnValue() == MethodContract.ValueConstraint.THROW_EXCEPTION);
   }
 
   private static boolean isSideEffectFreeConstructor(@NotNull PsiNewExpression newExpression) {

plugins/InspectionGadgets/testsrc/com/siyeh/ig/bugs/IgnoreResultOfCallInspectionTest.groovy

@@ -281,4 +281,16 @@ class Test {
 }
 """
   }
+
+  void testOptionalOrElseThrow() {
+    doTest """
+import java.util.Optional;
+
+@SuppressWarnings("OptionalUsedAsFieldOrParameterType")
+class Test {
+  void test(Optional<String> opt) {
+    opt.orElseThrow(RuntimeException::new);
+  }
+}"""
+  }
 }