title: The frama-c impact analysis can't analysis control dependence?
body: <p>When I use the frama-c analysis my c program. It seems there exits a bug in the impact plug in of the frama-c. This is my program.</p>
  
  <pre><code>#include&lt;stdio.h&gt;
  int global;
  int main()
  {
      global = 12;
      int result = 0;
      if(global &gt; 1)
      {
           result += 100;
      }
      else
      {
          result += 200;
      }
      return 0;
  }
  </code></pre>
  
  <p>I want to find all the stataments impacted by the variable "global".
  Obviously, the statement "result += 100;" in the scope of "if condition" which is related to the variable "global", so the statement "result += 100;" should be high light.
  However, the running result seems not correct.</p>