search

goblint / analyzer

Static analysis framework for C
https://goblint.in.tum.de
MIT License
160 stars 72 forks source link

Suppress Overflow Warnings for Computations Not in the Program #1406

Closed michael-schwarz closed 3 months ago

michael-schwarz commented 3 months ago

Currently, we produce overflow warnings for a cast of top_of_ik from some ikind to another that is not actually in the program and only performed internally in the invariant computation. Us doing this internally does not hint at a bug in the program.

This avoid producing such warnings.

References #1296