actual_type (full) in projects: arkcompiler

Project(s)

Full Search
Definition
Symbol
File Path
History
Type

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

/arkcompiler/runtime_core/verification/
D	messages.yaml	116 args: name, maybe_reg, actual_type, formal_type 118 … In a call to '${name}'. ${maybe_reg}Actual type: '${actual_type}'. Formal type: '${formal_type}'. 348 args: name, register, actual_type, expected_type 351 …${register} physical type is '${actual_type}'. But the expected physical type is '${expected_type}… 355 args: name, actual_type 357 …ll to '${name}'. Formal parameter is of type 'Bot', but actual parameter is of type ${actual_type}. 374 args: formal_type, actual_type, subtypes 376 …Warning: formal type is '${formal_type}' but actual is '${actual_type}'. Actual type is inexact on… 383 args: name, reg, actual_type, physical_actual_type, formal_type, physical_formal_type 385 …Cannot make a call to '${name}'. Actual lambda type ${reg}'${actual_type}' (physical type '${physi… [all …]
/arkcompiler/runtime_core/verification/absint/
D	abs_int_inl.h	3329 const AbstractType &actual_type = in CheckMethodArgs() 3332 actual_type.ForAllTypes([&](Type actual_type1) { in CheckMethodArgs() 3336 // arg: NormalizedTypeOf(actual_type) <= norm_type in CheckMethodArgs() 3339 auto res = actual_type.ExistsType( in CheckMethodArgs() 3364 … if (actual_type.ExistsType([](auto actual_type1) { return actual_type1.IsBot(); })) { in CheckMethodArgs() 3369 LOG_VERIFIER_BAD_CALL_FORMAL_IS_BOT(name_getter(), ImageOf(actual_type)); in CheckMethodArgs() 3375 … if (actual_type.ExistsType([](auto actual_type1) { return actual_type1.IsTop(); })) { in CheckMethodArgs() 3394 actual_type.ForAllTypes([&](Type actual_type1) { in CheckMethodArgs() 3434 ImageOf(actual_type), ImageOf(formal_type)); in CheckMethodArgs() 3452 … ImageOf(actual_type), ImageOf(norm_actual_type), ImageOf(formal_type), ImageOf(norm_type)); in CheckMethodArgs() [all …]