| /arkcompiler/runtime_core/static_core/plugins/ets/runtime/interop_js/ |
| D | js_refconvert_builtin.cpp | 224 EtsObject *MArray(InteropCtx *ctxx, napi_value jsValue, bool verified = true) in MArray() argument
228 if (!verified) { in MArray()
237 EtsObject *MError(InteropCtx *ctxx, napi_value jsValue, bool verified = true) in MError() argument
241 if (!verified) { in MError()
298 EtsObject *MObject(InteropCtx *ctxx, napi_value jsValue, bool verified = true) in MObject() argument
301 (void)verified; // ignored for Object in MObject()
358 [self = *this](InteropCtx *ctxx, napi_value jsValue, bool verified = true) mutable { in Run() argument
359 return self.MError(ctxx, jsValue, verified); in Run()
364 [self = *this](InteropCtx *ctxx, napi_value jsValue, bool verified = true) mutable { in Run() argument
365 return self.MObject(ctxx, jsValue, verified); in Run()
[all …]
|
| /arkcompiler/runtime_core/static_core/models/ |
| D | README.md | 4 This model was verified in `TLA+ Toolbox` tool with the following parameters: `max_producers = 2`,
|
| /arkcompiler/runtime_core/static_core/tests/checked/verify_aot_tests/ |
| D | verify_aot_test.pa | 28 #! EVENT /AotManager,.*test.*,VERIFIED/
34 #! EVENT /AotManager,.*test.*,VERIFIED/
83 #! EVENT /AotManager,.*test.*,VERIFIED/
|
| /arkcompiler/runtime_core/static_core/verification/config/ |
| D | README.md | 18 List with methods full names, which will be considered as verified.
|
| /arkcompiler/runtime_core/static_core/verification/ |
| D | public.cpp | 129 clazz->SetState(Class::State::VERIFIED); in VerifyClass()
141 * Races are possible where the same method gets simultaneously verified on different threads. in CheckBeforeVerification()
209 …if ((method->GetClass()->GetState() < Class::State::VERIFIED) && !VerifyClass(method->GetClass()))… in Verify()
|
| /arkcompiler/runtime_core/static_core/runtime/ |
| D | class.cpp | 38 case Class::State::VERIFIED: { in operator <<()
39 os << "VERIFIED"; in operator <<()
|
| D | class_initializer.cpp | 272 klass->SetState(Class::State::VERIFIED); in InitClassVerificationMode()
403 klass->SetState(Class::State::VERIFIED); in VerifyClass()
415 klass->SetState(Class::State::VERIFIED); in VerifyClass()
|
| /arkcompiler/runtime_core/tests/checked/verify_aot_tests/ |
| D | verify_aot_test.pa | 28 #! EVENT /AotManager,.*test.*,VERIFIED/
34 #! EVENT /AotManager,.*test.*,VERIFIED/
|
| /arkcompiler/ets_runtime/ecmascript/compiler/codegen/maple/maple_ir/include/ |
| D | all_attributes.def | 86 ATTR(verified)
|
| D | verification.h | 97 …rrectness<key: className, value: correctness>, correctness is true only if the class is verified OK
|
| /arkcompiler/ets_runtime/ecmascript/compiler/codegen/maple/maple_ir/src/ |
| D | verify_mark.cpp | 50 LogInfo::MapleLogger() << "class " << klass.GetKlassName() << " is Set as NOT VERIFIED\n"; in Run()
|
| /arkcompiler/runtime_core/static_core/verification/verifier/ |
| D | options.yaml | 43 …ualified method names to verify (if neither this nor classes are set, all classes will be verified)
|
| D | verifier.cpp | 173 // verified in RunVerifier()
229 // this method was already verified while enumerating class_names in RunVerifier()
|
| /arkcompiler/ets_runtime/ecmascript/compiler/codegen/maple/maple_be/include/cg/aarch64/ |
| D | aarch64_imm_valid.h | 186 …32-bit variant: is the width of the bitfield, in the range 1 to 32, is used for only width verified
207 …64-bit variant: is the width of the bitfield, in the range 1 to 64, is used for only width verified
|
| /arkcompiler/runtime_core/libpandabase/events/ |
| D | events.yaml | 212 enum: [added, open_failed, verified, cha_verify_failed, file_verify_failed]
|
| /arkcompiler/runtime_core/static_core/libpandabase/events/ |
| D | events.yaml | 230 enum: [added, open_failed, verified, cha_verify_failed, file_verify_failed]
|
| /arkcompiler/ets_frontend/ets2panda/linter/src/ |
| D | CommandLineParser.ts | 100 program.argument('[srcFile...]', 'files to be verified', addSrcFile);
|
| /arkcompiler/runtime_core/static_core/compiler/optimizer/analysis/ |
| D | reg_alloc_verifier.h | 50 as updated and should be verified.
|
| /arkcompiler/runtime_core/static_core/compiler/aot/ |
| D | aot_manager.cpp | 147 EVENT_AOT_MANAGER(aotFile->GetFileName(), events::AotManagerAction::VERIFIED); in VerifyClassHierarchy()
|
| /arkcompiler/runtime_core/static_core/libpandabase/ |
| D | README.md | 161 …` is a string value. List may not be a tail argument. Positional values verified the same way as r…
|
| /arkcompiler/runtime_core/libpandabase/ |
| D | README.md | 161 …` is a string value. List may not be a tail argument. Positional values verified the same way as r…
|
| /arkcompiler/runtime_core/static_core/runtime/include/ |
| D | class.h | 132 …enum class State : uint8_t { INITIAL = 0, LOADED, VERIFIED, INITIALIZING, ERRONEOUS, INITIALIZED }; enumerator
451 return state_ >= State::VERIFIED; in IsVerified()
|
| /arkcompiler/runtime_core/isa/ |
| D | isa.yaml | 27 bits of a register, undefined bits shall not be accessed in verified code.
47 …arguments. Accumulator value is considered as undefined and shall not be read in verified bytecode.
50 be read in verified bytecode.
|
| /arkcompiler/runtime_core/static_core/runtime/hotreload/ |
| D | hotreload.cpp | 102 * On this point all classes were verified and hotreload recognized like possible in ProcessHotreload()
|
| /arkcompiler/runtime_core/static_core/isa/ |
| D | isa.yaml | 27 bits of a register, undefined bits shall not be accessed in verified code.
47 …arguments. Accumulator value is considered as undefined and shall not be read in verified bytecode.
50 be read in verified bytecode.
|