title: "Redeclared s defined above without usage"
body: <pre><code>for i in range(10):
      s = 5
      for j in range(10):
          s = min(s)
  </code></pre>
  
  <p>The above code gives the title of this question as warning in IntelliJ for the second line.</p>
  
  <p>I'm pretty sure that the warning happens because in the CFG there are possibly two consecutive writes (without read in between) to <code>s</code> because of the nested loops. Until now I have been ignoring the warning but to be on the safe side I'd like to ask for confirmation of my hypothesis.</p>