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