Environment:
- Java: JetBrains s.r.o. 17.0.10
- OS: Windows 10 amd64
- IDE: IntelliJ IDEA 2023.3.4
- SonarLint: 10.4.1.77998
Unable to run check class org.sonar.java.se.SymbolicExecutionVisitor - on file ‘[uri=file:///C:/VDP/8.0A/vdb/vdp-server/src/main/java/com/test/vdb/interpreter/execution/AbstractSelectAction.java]’, To help improve the SonarSource Java Analyzer, please report this problem to SonarSource: see https://community.sonarsource.com/
org.sonar.java.bytecode.se.BytecodeEGWalker$BytecodeAnalysisException: Failed dataflow analysis for java.lang.Math#min(II)I
at org.sonar.java.bytecode.se.BytecodeEGWalker.getMethodBehavior(BytecodeEGWalker.java:299)
at org.sonar.java.se.xproc.BehaviorCache.get(BehaviorCache.java:159)
at org.sonar.java.se.xproc.BehaviorCache.get(BehaviorCache.java:131)
at org.sonar.java.se.ExplodedGraphWalker.executeMethodInvocation(ExplodedGraphWalker.java:692)
at org.sonar.java.se.ExplodedGraphWalker.visit(ExplodedGraphWalker.java:563)
at org.sonar.java.se.ExplodedGraphWalker.execute(ExplodedGraphWalker.java:260)
at org.sonar.java.se.ExplodedGraphWalker.visitMethod(ExplodedGraphWalker.java:220)
at org.sonar.java.se.SymbolicExecutionVisitor.execute(SymbolicExecutionVisitor.java:73)
at org.sonar.java.se.xproc.BehaviorCache.get(BehaviorCache.java:148)
at org.sonar.java.se.xproc.BehaviorCache.get(BehaviorCache.java:131)
at org.sonar.java.se.ExplodedGraphWalker.executeMethodInvocation(ExplodedGraphWalker.java:692)
at org.sonar.java.se.ExplodedGraphWalker.visit(ExplodedGraphWalker.java:563)