Home
last modified time | relevance | path

Searched full:acc_elt_type (Results 1 – 2 of 2) sorted by relevance

/arkcompiler/runtime_core/verification/
Dmessages.yaml296 args: acc_elt_type, possible_types
298 … Element type in array in accumulator is of incompatible type '${acc_elt_type}'. Possible types are
335 args: acc_elt_type, possible_types
337 … Element type in array in accumulator is of incompatible type '${acc_elt_type}'. Possible types are
/arkcompiler/runtime_core/verification/absint/
Dabs_int_inl.h3187 auto &&acc_elt_type = GetArrayEltType(acc_type1); in HandleCheckcast()
3188 return !(acc_elt_type <= elt_type || elt_type <= acc_elt_type); in HandleCheckcast()
3274 auto &&acc_elt_type = GetArrayEltType(acc_type); in HandleIsinstance()
3276 res = acc_elt_type.ForAllTypes([&](Type acc_elt_type1) { in HandleIsinstance()
3285 …LOG_VERIFIER_IMPOSSIBLE_ARRAY_IS_INSTANCE(ImageOf(acc_elt_type), ImagesOf(SubSupTypesOf(elt_type))… in HandleIsinstance()