title: How to track differences between the C source and Frama-C's preprocessed code?
body: <p>In frama-C when I load my source file it does pre processing and does automatic error correction like "automatic typecast " as shown below (int is typecasted to float).</p>
  
  <p>Now how can I see all the changes made after preprocessing.</p>
  
  <p>Is there any method or log file or warning message which shows all the changes made by frama-c.!
  This is my Source code:</p>
  
  <pre><code>int main() {
  int a, b;
  
  printf("Input two integers to divide\n");
  scanf("%d%d", &amp;a, &amp;b);
  printf("%d/%d = %.2f\n", a, b, a/(float)b);
  
  }
  </code></pre>
  
  <p>This is my frama-C preprocessed code:</p>
  
  <pre><code>extern int (/* missing proto */ printf)();
  extern int (/* missing proto */ scanf)();
  int main(void) {
  int a;
  int b;
  int __retres;
  printf("Input two integers to divide\n");
  scanf("%d%d", &amp;a, &amp;b);
  printf("%d/%d = %.2f\n", a, b, (float)a/(float)b);
  __retres =0;
  return (__retres);
  }
  </code></pre>