IDEA-152373 (Optional.get without Optional.isPresent warning when check is present)

plugins/InspectionGadgets/InspectionGadgetsAnalysis/src/com/siyeh/ig/bugs/OptionalGetWithoutIsPresentInspection.java

@@ -88,13 +88,20 @@ public class OptionalGetWithoutIsPresentInspection extends BaseInspection {
         final PsiIfStatement ifStatement = (PsiIfStatement)sibling;
         final PsiExpression condition = ifStatement.getCondition();
         if (condition != null) {
-          if (!ControlFlowUtils.statementMayCompleteNormally(ifStatement.getThenBranch())) {
+          final PsiElement target = optionalReference.resolve();
+          if (!(target instanceof PsiVariable)) {
+            return true;
+          }
+          final PsiVariable variable = (PsiVariable)target;
+          final PsiStatement thenBranch = ifStatement.getThenBranch();
+          if (!ControlFlowUtils.statementMayCompleteNormally(thenBranch) || VariableAccessUtils.variableIsAssigned(variable, thenBranch)) {
             checker.negate = true;
             if (checker.checkExpression(condition)) {
               return true;
             }
           }
-          else if (!ControlFlowUtils.statementMayCompleteNormally(ifStatement.getElseBranch())) {
+          final PsiStatement elseBranch = ifStatement.getElseBranch();
+          if (!ControlFlowUtils.statementMayCompleteNormally(elseBranch) || VariableAccessUtils.variableIsAssigned(variable, elseBranch)) {
             checker.negate = false;
             if (checker.checkExpression(condition)) {
               return true;

plugins/InspectionGadgets/test/com/siyeh/igtest/bugs/optional_get_without_is_present/OptionalGetWithoutIsPresent.java

@@ -50,4 +50,14 @@ class OptionalWithoutIsPresent {
     org.testng.Assert.assertTrue(o3.isPresent());
     System.out.println(o3.get());
   }
+
+  public static String demo() {
+    Optional<String> holder = Optional.empty();
+
+    if (! holder.isPresent()) {
+      holder = Optional.of("hello world");
+    }
+
+    return holder.get();
+  }
 }

plugins/InspectionGadgets/testsrc/com/siyeh/ig/bugs/OptionalGetWithoutIsPresentInspectionTest.java

@@ -79,6 +79,9 @@ public class OptionalGetWithoutIsPresentInspectionTest extends LightInspectionTe
       "  public static<T> Optional<T> empty() {" +
       "    return new Optional<>();" +
       "  }" +
+      "  public static <T> Optional<T> of(T value) {" +
+      "    return new Optional<>(value);" +
+      "  }" +
       "}",
 
       "package java.util;" +