formal_type (full) in projects: arkcompiler

Project(s)

Full Search
Definition
Symbol
File Path
History
Type

Searched full:formal_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}'. 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 386 …is not compatible with formal lambda type '${formal_type}' (physical type '${physical_formal_type}… 396 args: name, actual_type, formal_type 399 Formal type: '${formal_type}'.
/arkcompiler/runtime_core/verification/absint/
D	abs_int_inl.h	3326 Type formal_type {Types().TypeOf(formal_param)}; in CheckMethodArgs() 3341 … if (reg_num != INVALID_REG && formal_type <= Types().RefType() && !formal_type.IsBot() && res) { in CheckMethodArgs() 3342 if (CheckRegTypesTakingIntoAccountTypecasts(reg_num, formal_type)) { in CheckMethodArgs() 3348 } else if (!formal_type.IsBot() && !formal_type.IsTop() && in CheckMethodArgs() 3363 if (formal_type.IsBot()) { in CheckMethodArgs() 3374 } else if (formal_type.IsTop()) { in CheckMethodArgs() 3384 } else if (formal_type <= Types().PrimitiveType()) { in CheckMethodArgs() 3386 TypeId formal_id = Types().TypeIdOf(formal_type); in CheckMethodArgs() 3406 if ((formal_type <= integral32_type && actual_type1 <= integral32_type) \|\| in CheckMethodArgs() 3407 (formal_type <= integral64_type && actual_type1 <= integral64_type) \|\| in CheckMethodArgs() [all …]