ignore parenthesis when building control flow (IDEA-156926)

java/java-psi-impl/src/com/intellij/psi/controlFlow/LocalsOrMyInstanceFieldsControlFlowPolicy.java

@@ -25,6 +25,7 @@
 package com.intellij.psi.controlFlow;
 
 import com.intellij.psi.*;
+import com.intellij.psi.util.PsiUtil;
 import org.jetbrains.annotations.NotNull;
 
 public class LocalsOrMyInstanceFieldsControlFlowPolicy implements ControlFlowPolicy {
@@ -35,7 +36,7 @@ public class LocalsOrMyInstanceFieldsControlFlowPolicy implements ControlFlowPol
 
   @Override
   public PsiVariable getUsedVariable(@NotNull PsiReferenceExpression refExpr) {
-    PsiExpression qualifier = refExpr.getQualifierExpression();
+    PsiExpression qualifier = PsiUtil.skipParenthesizedExprDown(refExpr.getQualifierExpression());
     if (qualifier == null || qualifier instanceof PsiThisExpression) {
       PsiElement resolved = refExpr.resolve();
       if (!(resolved instanceof PsiVariable)) return null;

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlighting6/VariableUsedBeforeAssignmentWithParenthesis.java

@@ -0,0 +1,11 @@
+
+
+class Unassigned {
+  public final int a;
+  public int b;
+
+  Unassigned(int value) {
+    b = <error descr="Variable '(this).a' might not have been initialized">(this).a</error>;
+    a = value;
+  }
+}

java/java-tests/testSrc/com/intellij/codeInsight/daemon/LightAdvHighlightingJdk6Test.java

@@ -72,4 +72,7 @@ public class LightAdvHighlightingJdk6Test extends LightDaemonAnalyzerTestCase {
   public void testSkipAbstractMethodsIfTheyMustBeDeclaredInNonAbstractSuperclass() {
     doTest(false, false);
   }
+  public void testVariableUsedBeforeAssignmentWithParenthesis() {
+    doTest(false, false);
+  }
 }