Searched refs:useOut (Results 1 – 10 of 10) sorted by relevance
111 bool useOut; // generate postcondition checks member
1672 if ((needEnsure && global.params.useOut) || fpostinv) in semantic3()2076 if (!global.params.useOut) in semantic3()
170 CHECKENABLE useOut; // generate postcondition checks member
192 CHECKENABLE useOut = CHECKENABLE._default; // generate postcondition checks variable
568 if ((needEnsure && global.params.useOut == CHECKENABLE.on) || fpostinv) in visit()1037 if (global.params.useOut == CHECKENABLE.off) in visit()
285 global.params.useOut = true; in d_init_options()521 global.params.useOut = value; in d_handle_option()746 global.params.useOut = false; in d_post_options()
2402 || (global.params.useOut && fd->fensure)) in build_frame_type()2589 || (global.params.useOut && fd->fensure)) in get_frameinfo()
563 global.params.useOut = value ? CHECKENABLEon : CHECKENABLEoff; in d_handle_option()901 if (global.params.useOut == CHECKENABLEdefault) in d_post_options()903 global.params.useOut = global.params.release in d_post_options()
2687 || (global.params.useOut == CHECKENABLEon && fd->fensure)) in build_frame_type()2882 || (global.params.useOut == CHECKENABLEon && fd->fensure)) in get_frameinfo()
490 if (global.params.useOut == CHECKENABLEon) in d_init_versions()