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