title: How to make a frama-c WP warning into an error?
body: <p>This warning is a fairly serious one that I would like to turn into an error. I spent a lot of time puzzling over why a proof was not working before realising that this warning really could not be ignored.</p>
  <pre><code>[wp] &lt;my source code&gt;.c:16: Warning: 
    Cast with incompatible pointers types (source: uint8*) (target: sint8*)
  </code></pre>
  <p>I believe that the answer should be something like</p>
  <pre><code>-wp-warn-key &lt;category&gt;=error
  </code></pre>
  <p>but I don't know how to find the category of &quot;Cast with incompatible pointers types&quot;.</p>
  <p>Can anyone help?</p>