OpenGrok
Home
Sort by:
relevance
|
last modified time
|
path
Full Search
in project(s):
src
xsrc
Definition
Symbol
File Path
History
|
|
Help
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
Indexes created Thu Oct 22 00:27:13 UTC 2026