?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Some consistency changes to library & headers flags.
[splint-patched.git] / test / divzero.c
blob3a0ce5d721b9eb60d6cb859881822c3e6e2a734f
1 void f (void)
2 {
3 int x = 3 / 0;
4 double d = 3.0 / 0.0;
5
6 }
Patched version for SPLint (Secure Programming Lint)