Home
last modified time | relevance | path

Searched defs:checks (Results 1 – 16 of 16) sorted by relevance

/arkcompiler/runtime_core/docs/bc_verification/
Dcflow_checks.md41 ### Execution beyond method body
105 ### Code to exception handler
149 ### Code into exception handler
173 ### Handler to handler
226 ### Handler into handler
293 ### Handler into code
/arkcompiler/runtime_core/static_core/docs/bc_verification/
Dcflow_checks.md41 ### Execution beyond method body
105 ### Code to exception handler
149 ### Code into exception handler
173 ### Handler to handler
226 ### Handler into handler
293 ### Handler into code
/arkcompiler/ets_frontend/ets2panda/test/unit/public/
Dast_verifier_identifier_has_variable_test.cpp47 InvariantNameSet checks; in TEST_F() local
80 InvariantNameSet checks; in TEST_F() local
105 InvariantNameSet checks; in TEST_F() local
131 InvariantNameSet checks; in TEST_F() local
157 InvariantNameSet checks; in TEST_F() local
213 InvariantNameSet checks; in TEST_F() local
Dast_verifier_private_access_negative_test_1_4.cpp50 InvariantNameSet checks; in TEST_F() local
88 InvariantNameSet checks; in TEST_F() local
127 InvariantNameSet checks; in TEST_F() local
166 InvariantNameSet checks; in TEST_F() local
Dast_verifier_variable_has_scope_test.cpp46 InvariantNameSet checks; in TEST_F() local
85 InvariantNameSet checks; in TEST_F() local
114 InvariantNameSet checks; in TEST_F() local
151 InvariantNameSet checks; in TEST_F() local
Dast_verifier_protected_access_negative_test_4_6.cpp65 InvariantNameSet checks; in TEST_F() local
118 InvariantNameSet checks; in TEST_F() local
171 InvariantNameSet checks; in TEST_F() local
Dast_verifier_private_access_negative_test_5_7.cpp65 InvariantNameSet checks; in TEST_F() local
118 InvariantNameSet checks; in TEST_F() local
171 InvariantNameSet checks; in TEST_F() local
Dast_verifier_protected_access_negative_test_1_3.cpp51 InvariantNameSet checks; in TEST_F() local
90 InvariantNameSet checks; in TEST_F() local
129 InvariantNameSet checks; in TEST_F() local
Dast_verifier_variable_has_enclosing_scope_test.cpp49 InvariantNameSet checks; in TEST_F() local
78 InvariantNameSet checks; in TEST_F() local
104 InvariantNameSet checks; in TEST_F() local
Dast_verifier_reference_typeannotation_test.cpp53 InvariantNameSet checks; in TEST_F() local
80 InvariantNameSet checks; in TEST_F() local
103 InvariantNameSet checks; in TEST_F() local
Dast_verifier_every_child_has_valid_parent_test.cpp44 InvariantNameSet checks; in TEST_F() local
69 InvariantNameSet checks; in TEST_F() local
Dast_verifier_check_infinite_loop_test.cpp100 InvariantNameSet checks; in TEST_P() local
157 InvariantNameSet checks; in TEST_P() local
Dast_verifier_private_protected_public_access_correct_test.cpp76 InvariantNameSet checks; in TEST_F() local
Dast_verifier_protected_access_correct_test.cpp50 InvariantNameSet checks; in TEST_F() local
/arkcompiler/runtime_core/static_core/verification/config/handlers/
Dconfig_handler_method_options.cpp205 bool ProcessSectionCheck(const Literals &checks, MethodOptions *options) in ProcessSectionCheck()
/arkcompiler/runtime_core/static_core/compiler/optimizer/ir/
Dir_constructor.h878 IrConstructor &SetChecks(HclassChecks checks) in SetChecks()