Home
last modified time | relevance | path

Searched refs:flag_postconditions (Results 1 – 2 of 2) sorted by relevance

/OK3568_Linux_fs/prebuilts/gcc/linux-x86/arm/gcc-arm-10.3-2021.07-x86_64-arm-none-linux-gnueabihf/lib/gcc/arm-none-linux-gnueabihf/10.3.1/plugin/include/
H A Doptions.h5564 extern int flag_postconditions;
5567 #define flag_postconditions global_options.x_flag_postconditions macro
/OK3568_Linux_fs/prebuilts/gcc/linux-x86/aarch64/gcc-arm-10.3-2021.07-x86_64-aarch64-none-linux-gnu/lib/gcc/aarch64-none-linux-gnu/10.3.1/plugin/include/
H A Doptions.h5618 extern int flag_postconditions;
5621 #define flag_postconditions global_options.x_flag_postconditions macro