Home
last modified time | relevance | path

Searched refs:VerificationStatus (Results 1 - 8 of 8) sorted by relevance

/arkcompiler/runtime_core/static_core/verification/cflow/
H A Dcflow_check.cpp30 static VerificationStatus CheckValidFlagInstructionException(Method const *&method, CflowMethodInfo const *&cflowInfo, in CheckValidFlagInstructionException()
37 return VerificationStatus::ERROR; in CheckValidFlagInstructionException()
42 return VerificationStatus::ERROR; in CheckValidFlagInstructionException()
49 return VerificationStatus::ERROR; in CheckValidFlagInstructionException()
52 return VerificationStatus::OK; in CheckValidFlagInstructionException()
55 static VerificationStatus CheckCode(Method const *method, CflowMethodInfo const *cflowInfo) in CheckCode()
65 auto target) -> std::optional<VerificationStatus> { in CheckCode()
68 VerificationStatus::ERROR) { in CheckCode()
69 return VerificationStatus::ERROR; in CheckCode()
77 return VerificationStatus in CheckCode()
[all...]
H A Dcflow_info.cpp42 VerificationStatus CflowMethodInfo::FillCodeMaps(Method const *method) in FillCodeMaps()
47 [[maybe_unused]] auto tgt) -> std::optional<VerificationStatus> { in FillCodeMaps()
56 return VerificationStatus::ERROR; in FillCodeMaps()
62 return VerificationStatus::OK; in FillCodeMaps()
66 return VerificationStatus::ERROR; in FillCodeMaps()
73 VerificationStatus CflowMethodInfo::ProcessCatchBlocks(Method const *method) in ProcessCatchBlocks()
79 auto status = VerificationStatus::OK; in ProcessCatchBlocks()
89 status = VerificationStatus::ERROR; in ProcessCatchBlocks()
103 [[maybe_unused]] auto tgt) -> std::optional<VerificationStatus> { in ProcessCatchBlocks()
107 return VerificationStatus in ProcessCatchBlocks()
[all...]
H A Dcflow_info.h96 VerificationStatus FillCodeMaps(Method const *method);
97 VerificationStatus ProcessCatchBlocks(Method const *method);
/arkcompiler/runtime_core/static_core/verification/absint/
H A Dabsint.cpp128 VerificationStatus VerifyEntryPoints(VerificationContext &verifCtx, ExecContext &execCtx) in VerifyEntryPoints()
138 VerificationStatus worstSoFar = VerificationStatus::OK; in VerifyEntryPoints()
149 result == VerificationStatus::ERROR) { in VerifyEntryPoints()
150 result = VerificationStatus::WARNING; in VerifyEntryPoints()
152 if (result == VerificationStatus::ERROR) { in VerifyEntryPoints()
209 VerificationStatus VerifyExcHandler([[maybe_unused]] TryBlock const *tryBlock, CatchBlock const *catchBlock, in VerifyExcHandler()
255 VerificationStatus VerifyMethod(VerificationContext &verifCtx) in VerifyMethod()
257 VerificationStatus worstSoFar = VerificationStatus in VerifyMethod()
[all...]
H A Dabsint.h33 VerificationStatus AbstractInterpret(VerificationContext &verifCtx, const uint8_t *pc);
35 VerificationStatus VerifyMethod(VerificationContext &verifCtx);
H A Dabs_int_inl.h76 SetStatusAtLeast(VerificationStatus::AtLeast); /* CC-OFF(G.PRE.02) namespace member */ \
185 VerificationStatus GetStatus() in GetStatus()
371 status_ = VerificationStatus::ERROR; in HandleMovDyn()
576 status_ = VerificationStatus::ERROR; in HandleLdaConst()
1698 status_ = VerificationStatus::ERROR; in HandleNewobj()
2097 if (result.status != VerificationStatus::OK) { in ProcessStoreField()
2491 return status_ != VerificationStatus::ERROR; in CheckReturn()
2538 result.status = VerificationStatus::WARNING; in CheckLaunch()
2543 if (status_ == VerificationStatus::ERROR) { in CheckLaunch()
2771 result.status = VerificationStatus in CheckFieldAccessByName()
[all...]
/arkcompiler/runtime_core/static_core/verification/
H A Dverification_status.h20 enum class VerificationStatus { OK, WARNING, ERROR }; class
/arkcompiler/runtime_core/static_core/verification/jobs/
H A Djob.cpp54 return result != VerificationStatus::ERROR; in Verify()

Completed in 6 milliseconds