Searched refs:saved_flag_wrapv_pointer (Results 1 – 2 of 2) sorted by relevance
1397 bool saved_flag_wrapv_pointer = flag_wrapv_pointer; in fold_range() local1403 flag_wrapv_pointer = saved_flag_wrapv_pointer; in fold_range()
1986 bool saved_flag_wrapv_pointer = flag_wrapv_pointer; in fold_range() local1991 flag_wrapv_pointer = saved_flag_wrapv_pointer; in fold_range()