Home
last modified time | relevance | path

Searched refs:vsType (Results 1 – 1 of 1) sorted by relevance

/arkcompiler/runtime_core/static_core/verification/absint/
Dabs_int_inl.h2091 Type vsType = GetRegType(vs); in ProcessStoreField() local
2093 CheckResult const &result = check(fieldType.ToTypeId(), vsType.ToTypeId()); in ProcessStoreField()
2095 … LOG_VERIFIER_DEBUG_STORE_FIELD(GetFieldName(field), ToString(fieldType), ToString(vsType)); in ProcessStoreField()
2271 Type vsType = GetRegType(vs); variable
2272 if (!IsSubtype(vsType, fieldType, GetTypeSystem())) {
2274 LOG_VERIFIER_BAD_ACCUMULATOR_TYPE(ToString(vsType), ToString(fieldType));
2853 Type vsType = GetRegType(ACC); in ProcessStoreFieldByName() local
2855 CheckResult const &result = check(fieldType.ToTypeId(), vsType.ToTypeId()); in ProcessStoreFieldByName()
2857 … LOG_VERIFIER_DEBUG_STORE_FIELD(GetFieldName(field), ToString(fieldType), ToString(vsType)); in ProcessStoreFieldByName()
2893 Type vsType = GetRegType(ACC); in ProcessStobjObjByName() local
[all …]