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 ->
      if is_empty_pre_post (Data_for_aorai.get_loop_ext_pre stmt) &&
          is_empty_post_bc (Data_for_aorai.get_loop_ext_pre_bycase stmt)
      then pasEtatAvantLoop stmt.sid;
      if is_empty_pre_post (Data_for_aorai.get_loop_ext_post stmt) &&
          is_empty_post_bc  (Data_for_aorai.get_loop_ext_post_bycase stmt)
      then pasEtatApresLoop stmt.sid;
      if is_empty_pre_post (Data_for_aorai.get_loop_int_pre stmt) &&
          is_empty_post_bc  (Data_for_aorai.get_loop_int_pre_bycase stmt)
      then pasEtatAvantLoopBlock stmt.sid;
      if is_empty_pre_post (Data_for_aorai.get_loop_int_post stmt) &&
          is_empty_post_bc  (Data_for_aorai.get_loop_int_post_bycase stmt)
      then pasEtatApresLoopBlock stmt.sid)
    sortedLoopsIndex