Searched defs:saved_flag_wrapv (Results 1 – 2 of 2) sorted by relevance
1287 bool saved_flag_wrapv = flag_wrapv; in extract_range_basic() local1370 bool saved_flag_wrapv = flag_wrapv; in extract_range_basic() local1382 bool saved_flag_wrapv = flag_wrapv; in extract_range_basic() local
1932 bool saved_flag_wrapv; in extract_range_from_binary_expr_1() local