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