diff options
Diffstat (limited to 'tests/splint/splint.rc')
-rw-r--r-- | tests/splint/splint.rc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/splint/splint.rc b/tests/splint/splint.rc index e47d3c2..421f567 100644 --- a/tests/splint/splint.rc +++ b/tests/splint/splint.rc @@ -2,6 +2,7 @@ +partial +matchanyintegral +strictlib +-isoreserved # to be fixed in 0.3 -nullassign -predboolint -predboolptr @@ -27,7 +28,6 @@ -kepttrans -branchstate -immediatetrans --mustfreefresh # These tests give false positives, compiler typically has # better warnings for these. |