let display_all_warnings_about_loops_specs() =
  let sortedLoopsIndex =
    List.sort
      (fun r1 r2 ->
          if !r1.sid > !r2.sid then 1
        else if !r1.sid < !r2.sid then -1
        else 0)
      (Data_for_aorai.get_loops_index ())
  in
  List.iter
    (fun stmt_ref ->
      if is_empty_pre_post (Data_for_aorai.get_loop_ext_pre stmt_ref) &&
          is_empty_post_bc (Data_for_aorai.get_loop_ext_pre_bycase stmt_ref)
      then pasEtatAvantLoop !stmt_ref.sid;
      if is_empty_pre_post (Data_for_aorai.get_loop_ext_post stmt_ref) &&
          is_empty_post_bc  (Data_for_aorai.get_loop_ext_post_bycase stmt_ref)
      then pasEtatApresLoop !stmt_ref.sid;
      if is_empty_pre_post (Data_for_aorai.get_loop_int_pre stmt_ref) &&
          is_empty_post_bc  (Data_for_aorai.get_loop_int_pre_bycase stmt_ref)
      then pasEtatAvantLoopBlock !stmt_ref.sid;
      if is_empty_pre_post (Data_for_aorai.get_loop_int_post stmt_ref) &&
          is_empty_post_bc  (Data_for_aorai.get_loop_int_post_bycase stmt_ref)
      then pasEtatApresLoopBlock !stmt_ref.sid)
    sortedLoopsIndex