B | |
build_zones [Zones] | |
build_zones [Scope.Zones] | |
C | |
check_asserts [Datascope] | |
check_asserts [Scope.Datascope] | Print how many assertions could be removed based on the previous
analysis ( |
compute_with_def_type_zone [Defs] | This function is similar to , except that it receives a zone as argument, instead of an l-value |
G | |
get_data_scope_at_stmt [Datascope] | |
get_data_scope_at_stmt [Scope.Datascope] | |
get_defs [Defs] | |
get_defs [Scope.Defs] | |
get_defs_with_type [Defs] | |
get_defs_with_type [Scope.Defs] | |
get_prop_scope_at_stmt [Datascope] | |
get_prop_scope_at_stmt [Scope.Datascope] | compute the set of statements where the given annotation has the same value as before the given stmt. |
get_zones [Zones] | |
get_zones [Scope.Zones] | |
P | |
pretty_zones [Zones] | |
pretty_zones [Scope.Zones] | |
R | |
rm_asserts [Datascope] | |
rm_asserts [Scope.Datascope] | Same analysis than |