Searched refs:Cflow (Results 1 – 5 of 5) sorted by relevance
| /arkcompiler/runtime_core/verification/config/handlers/ |
| D | config_handler_options.cpp | 92 … {{"body-to-handler", bool_field {offsetof(VerificationOptions, Cflow.AllowJmpBodyToHandler)}}, in RegisterConfigHandlerOptions()
93 … {"body-into-handler", bool_field {offsetof(VerificationOptions, Cflow.AllowJmpBodyIntoHandler)}}, in RegisterConfigHandlerOptions()
94 …{"handler-to-handler", bool_field {offsetof(VerificationOptions, Cflow.AllowJmpHandlerToHandler)}}, in RegisterConfigHandlerOptions()
95 …{"handler-into-handler", bool_field {offsetof(VerificationOptions, Cflow.AllowJmpHandlerIntoHandle… in RegisterConfigHandlerOptions()
96 …{"handler-into-body", bool_field {offsetof(VerificationOptions, Cflow.AllowJmpHandlerIntoBody)}}}}… in RegisterConfigHandlerOptions()
|
| /arkcompiler/runtime_core/verification/ |
| D | verification_options.h | 37 CflowOptions Cflow; member
|
| D | Verification.cmake | 18 include(${VERIFICATION_SOURCES_DIR}/cflow/Cflow.cmake)
|
| /arkcompiler/runtime_core/docs/bc_verification/ |
| D | cflow_checks.md | 39 ## Cflow transitions, which are subjects for checks
|
| /arkcompiler/runtime_core/tests/ |
| D | CMakeLists.txt | 958 …ier-tests/cflow_jump_on_exc_handler.pa" VERIFIER_FAIL_TEST SEARCH_STDERR "Cflow invalid jump into …
959 …cflow_jump_on_exc_handler_from_body.pa" VERIFIER_FAIL_TEST SEARCH_STDERR "Cflow invalid jump into …
962 …ugh_from_exc_handler_to_exc_handler.pa" VERIFIER_FAIL_TEST SEARCH_STDERR "Cflow body fall into exc…
963 …allthrough_to_exc_handler_from_body.pa" VERIFIER_FAIL_TEST SEARCH_STDERR "Cflow body fall into exc…
964 …ump_from_exc_handler_to_exc_handler.pa" VERIFIER_FAIL_TEST SEARCH_STDERR "Cflow invalid jump into …
|