[slicing] Removes useless loop pragma about Eva widening in tests.

tests/slicing/loops.i

@@ -173,7 +173,7 @@ int X, Y, Z ;
 void loop (int cond) {
   if (cond) {
     int c = 0 ;
-    /*@ loop pragma WIDEN_HINTS X, 10, 100 ; */ while (1) {
+    while (1) {
       //@ slice pragma ctrl ;
       if (c) {
         X++;

tests/slicing/oracle/adpcm.res.oracle

@@ -1531,6 +1531,7 @@ Slicing project worklist [default] =
 [pdg] computing for function logscl
 [pdg] done for function logscl
 [slicing] applying actions: 3/3...
+[slicing] tests/test/adpcm.c:607: Warning: Dropping unsupported ACSL annotation
 [sparecode] remove unused global declarations from project 'Sliced code tmp'
 [sparecode] removed unused global declarations in new project 'Sliced code'
 /* Generated by Frama-C */
@@ -2070,8 +2071,7 @@ void main(void)
 {
   int i;
   i = 0;
-  /*@ loop pragma UNROLL 11;
-      loop pragma WIDEN_HINTS 32767; */
+  /*@ loop pragma UNROLL 11; */
   while (i < 10) {
     encode_slice_1(test_data[i],test_data[i + 1]);
     i += 2;

tests/slicing/oracle/loops.10.res.oracle

@@ -62,12 +62,10 @@
 [sparecode] remove unused global declarations from project 'Slicing export tmp'
 [sparecode] removed unused global declarations in new project 'Slicing export'
 /* Generated by Frama-C */
-int X;
 void loop_slice_1(void)
 {
   {
     int c;
-    /*@ loop pragma WIDEN_HINTS X, 10, 100; */
     while (1) {
       /*@ slice pragma ctrl; */ ;
       c = 1;

tests/slicing/oracle/loops.12.res.oracle

@@ -37,14 +37,12 @@
 [sparecode] remove unused global declarations from project 'Slicing export tmp'
 [sparecode] removed unused global declarations in new project 'Slicing export'
 /* Generated by Frama-C */
-int X;
 int Y;
 int Z;
 void loop(int cond)
 {
   if (cond) {
     int c = 0;
-    /*@ loop pragma WIDEN_HINTS X, 10, 100; */
     while (1) {
       /*@ slice pragma ctrl; */ ;
       if (c) Y = Z;

tests/slicing/oracle/loops.13.res.oracle

@@ -37,14 +37,12 @@
 [sparecode] remove unused global declarations from project 'Slicing export tmp'
 [sparecode] removed unused global declarations in new project 'Slicing export'
 /* Generated by Frama-C */
-int X;
 int Y;
 int Z;
 void loop(int cond)
 {
   if (cond) {
     int c = 0;
-    /*@ loop pragma WIDEN_HINTS X, 10, 100; */
     while (1) {
       /*@ slice pragma ctrl; */ ;
       if (c) Y = Z;

tests/slicing/oracle/loops.21.res.oracle

@@ -72,7 +72,6 @@ void loop_slice_1(void)
 {
   {
     int c = 0;
-    /*@ loop pragma WIDEN_HINTS X, 10, 100; */
     while (1) {
       /*@ slice pragma ctrl; */ ;
       if (c) Y = Z;

tests/slicing/oracle/loops.22.res.oracle

@@ -72,7 +72,6 @@ void loop_slice_1(void)
 {
   {
     int c = 0;
-    /*@ loop pragma WIDEN_HINTS X, 10, 100; */
     while (1) {
       /*@ slice pragma ctrl; */ ;
       if (c) Y = Z;

tests/slicing/oracle/loops.9.res.oracle

@@ -62,10 +62,8 @@
 [sparecode] remove unused global declarations from project 'Slicing export tmp'
 [sparecode] removed unused global declarations in new project 'Slicing export'
 /* Generated by Frama-C */
-int X;
 void loop_slice_1(void)
 {
-  /*@ loop pragma WIDEN_HINTS X, 10, 100; */
   while (1) 
     /*@ slice pragma ctrl; */ ;
   return;

tests/test/adpcm.c

@@ -603,7 +603,7 @@ int compressed[10]={0};
 void main () //(int test_data[10], int compressed[10])
 {
   int i;
-  /*@ loop pragma UNROLL 11; loop pragma WIDEN_HINTS 32767; */   /* Better bounds:    loop invariant detl <= 32064; loop invariant nbh <= 22528; loop invariant nbl <= 18432; */
+  /*@ loop pragma UNROLL 11; loop widen_hints "all", 32767; */   /* Better bounds:    loop invariant detl <= 32064; loop invariant nbh <= 22528; loop invariant nbl <= 18432; */
   for(i = 0 ; i < 10 ; i += 2)
     compressed[i/2] = encode(test_data[i],test_data[i+1]);