Searched refs:cflowInfo (Results 1 - 4 of 4) sorted by relevance
| /arkcompiler/runtime_core/static_core/verification/cflow/ |
| H A D | cflow_check.cpp | 30 static VerificationStatus CheckValidFlagInstructionException(Method const *&method, CflowMethodInfo const *&cflowInfo, in CheckValidFlagInstructionException() argument
34 if (!cflowInfo->IsAddrValid(target)) { in CheckValidFlagInstructionException()
39 if (!cflowInfo->IsFlagSet(target, CflowMethodInfo::INSTRUCTION)) { in CheckValidFlagInstructionException()
44 if (cflowInfo->IsFlagSet(target, CflowMethodInfo::EXCEPTION_HANDLER) && in CheckValidFlagInstructionException()
45 !cflowInfo->IsFlagSet(pc, CflowMethodInfo::EXCEPTION_HANDLER)) { in CheckValidFlagInstructionException()
55 static VerificationStatus CheckCode(Method const *method, CflowMethodInfo const *cflowInfo) in CheckCode() argument
60 auto handlerStarts = cflowInfo->GetHandlerStartAddresses(); in CheckCode()
67 if (CheckValidFlagInstructionException(method, cflowInfo, target, methodStart, pc) == in CheckCode()
72 if (cflowInfo->IsFlagSet(target, CflowMethodInfo::EXCEPTION_HANDLER) && in CheckCode()
106 auto cflowInfo
[all...] |
| H A D | cflow_info.cpp | 133 auto cflowInfo = MakePandaUnique<CflowMethodInfo>(methodPcStartPtr, codeSize); in GetCflowMethodInfo() local
139 if (cflowInfo->FillCodeMaps(method) == VerificationStatus::ERROR) { in GetCflowMethodInfo()
144 if (cflowInfo->ProcessCatchBlocks(method) == VerificationStatus::ERROR) { in GetCflowMethodInfo()
148 return cflowInfo; in GetCflowMethodInfo()
|
| /arkcompiler/runtime_core/static_core/verification/jobs/ |
| H A D | job.cpp | 69 auto cflowInfo = CheckCflow(method_); in DoChecks() local
70 if (!cflowInfo) { in DoChecks()
74 cflowInfo_ = std::move(cflowInfo); in DoChecks()
|
| /arkcompiler/runtime_core/static_core/verification/absint/ |
| H A D | absint.cpp | 70 auto &cflowInfo = verifCtx.CflowInfo(); in PrepareVerificationContext() local
107 if (cflowInfo.IsFlagSet(pc, CflowMethodInfo::EXCEPTION_SOURCE)) { in PrepareVerificationContext()
164 auto &cflowInfo = verifCtx.CflowInfo(); in ComputeRegContext() local
177 if (cflowInfo.IsFlagSet(pc, CflowMethodInfo::EXCEPTION_SOURCE)) { in ComputeRegContext()
|
Completed in 2 milliseconds