X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/ae13359213220016611ceaf93109dac6849be88b..6317f163d6dd13ef058d98c91a6f9eb29a9f87f4:/test/sizeoftest.expect diff --git a/test/sizeoftest.expect b/test/sizeoftest.expect index 8bbef3c..5d6a0e9 100644 --- a/test/sizeoftest.expect +++ b/test/sizeoftest.expect @@ -1,7 +1,6 @@ sizeof.c: (in function main) -sizeof.c:6:2: Likely out-of-bounds store: - x[(sizeof(x))] +sizeof.c:6:2: Likely out-of-bounds store: x[(sizeof(x))] Unable to resolve constraint: requires 2 >= 3 needed to satisfy precondition: