Merge branch 'fix/eva/add-loop-annotations' into 'master'

[Eva] fix the adding of loop unroll annotations which were not loop annotations

See merge request frama-c/frama-c!3140

src/plugins/value/utils/eva_annotations.ml

@@ -100,7 +100,7 @@ struct
   let add ~emitter ~loc stmt annot =
     let param = M.export annot in
     let extension = Logic_const.new_acsl_extension name loc false param in
-    let annot_node = Cil_types.AExtended ([], false, extension) in
+    let annot_node = Cil_types.AExtended ([], is_loop_annot, extension) in
     let code_annotation = Logic_const.new_code_annotation annot_node in
     Annotations.add_code_annot emitter stmt code_annotation
 end