HomeSort by: relevance | last modified time | path
    Searched refs:POSTCONDITION_P (Results 1 - 3 of 3) sorted by relevancy

  /src/external/gpl3/gcc/dist/gcc/cp/
contracts.h 189 #define POSTCONDITION_P(NODE) \
pt.cc 11875 if (type && POSTCONDITION_P (t) && POSTCONDITION_IDENTIFIER (t))
parser.cc 30384 bool postcondition_p)
30414 && postcondition_p)
30502 bool postcondition_p = is_attribute_p ("post", attribute);
30505 tree mode = cp_parser_contract_mode_opt (parser, postcondition_p);
30509 if (postcondition_p && cp_lexer_next_token_is (parser->lexer, CPP_NAME))
30631 (DECL_DESTRUCTOR_P (fn) && POSTCONDITION_P (contract)))
    [all...]

Completed in 44 milliseconds