From 0adf3c4bc9f77b09f2e105dbf40bbc16b8c32db2 Mon Sep 17 00:00:00 2001
From: Tagir Valeev <tagir.valeev@jetbrains.com>
Date: Fri, 17 Jan 2025 16:01:08 +0100
Subject: [PATCH] [java-dfa] Test for IDEA-365762 False positive 'Method
 invocation may produce NullPointerException' warning

Fixed by IDEA-363662

GitOrigin-RevId: 94d3216ee928118cce2a3479d2f83bffef7baf2c
---
 .../PrivateMethodDoNotFlushFinalFields.java   | 22 ++++++++++++++++++-
 1 file changed, 21 insertions(+), 1 deletion(-)

diff --git a/java/java-tests/testData/inspection/dataFlow/fixture/PrivateMethodDoNotFlushFinalFields.java b/java/java-tests/testData/inspection/dataFlow/fixture/PrivateMethodDoNotFlushFinalFields.java
index ccfb50335890..5938d2a08e60 100644
--- a/java/java-tests/testData/inspection/dataFlow/fixture/PrivateMethodDoNotFlushFinalFields.java
+++ b/java/java-tests/testData/inspection/dataFlow/fixture/PrivateMethodDoNotFlushFinalFields.java
@@ -23,4 +23,24 @@ record Bar(A a, B b) {
 record A() {
   Object getObj(String s, B b) {return new Object();}
 }
-record B() {}
\ No newline at end of file
+record B() {}
+
+// IDEA-365762
+class Test {
+  private final @Nullable Object finalField;
+
+  public Test(@Nullable Object finalField) {
+    this.finalField = finalField;
+  }
+
+  public void test() {
+    if (finalField != null) {
+      finalField.toString();
+      nop();
+      finalField.toString(); 
+    }
+  }
+
+  private void nop() {
+  }
+}
\ No newline at end of file