Warning Messages: WI*

The list of ASCET warning messages is split in several parts. Warning messages that are, by default, promoted to an error message, are marked with the following icons:

Part 3: WI*

Message Code

Warning Message

See also

WIa10

The FOR loop may be endless as the loop variable <%1> is limited. Thus the running condition is possibly always true.

For (ESDL Editor)

WIa12

Interval (physical) mismatch in assignment to <%1> %2 := %3 (will NOT be limited)

Interval Mismatch in Assignment

WIa13

Interval (physical) mismatch in method argument to <%1> %2 := %3 (will NOT be limited)

WIa14

overflow detection for interval (%1) with specification (<%2> and <%3>) at element "%4"

Setting the Overflow Handling

WIa15

Interval (implementation) out of bounds in assignment to <%1> %2 := %3 (will NOT be limited)

WIa16

Increment/decrement operation on <%1> without limitation

WIa17

Interval out of bounds in assignment to <%1> %2 := %3 (will NOT be limited)

WIa181

Interval (float) out of bounds in assignment to <%1> %2 := %3 (will NOT be limited)

Integer Arithmetic Node

WIa182

Interval (float) out of bounds in initialization of variable <%1> %2 := %3 (will NOT be limited)

WIa183

Interval (float) out of bounds in implCast <%1> %2 := %3 (will NOT be limited)

WIa184

Interval (float) out of bounds in method argument to <%1> %2 := %3 (will NOT be limited)

WIa2

Index Interval %2 out of range %1 (will be limited)

Array

Matrix

WIa3

Arithmetic operation exceeds available bit length and may not be correct

Setting the Overflow Handling

WIa32

Arithmetic (%1) operation overflows by %2 bits (will NOT be handled)

WIa33

Negation of an unsigned two's complement value should be avoided

Scalar Types: Wrap-Around Integer

WIa4

An additional numerical error is introduced by incompatible quantizations

Formulas

WIa5

Type mismatch in call to service routine

Arithmetic Services

WIa6

Non-linear formula <%1> of <%2> is treated as identity; code may be unexpected.

Formulas

Selecting a Formula

Transformation Formulas

WIa61

Discrete element <%2> with non-identity formula <%1> – will be generated as cont type

WIa62

Element "%1" using %2 must have identity formula --- formula "ident" is used instead of formula "%3"

WIa63

Implementation flag "Limit to maximum bit length" is not supported for type %1

Setting the Overflow Handling

WIa66

Assignment of %1 reference from <%3> to <%2> with different implementations

Implementing References

WIa67

Assignment of <%2> to INOUT parameter <%1> with different implementations

WIa7

Implementation mismatch of variable <%1> and method argument <%2>

WIa8

Could not avoid division (scaling factor almost zero)

WIa9

Physical interval %1 of divisor contains zero.

WIa91

Loosing precision: interval chosen for denominator (%1) will lead to poor result due to values close to zero

WIa92

Loosing precision: interval chosen for denominator (%1) will lead to poor result due to values close to zero – use %2 instead

WIa93

Scaling %1 is not representable, using approximation %2 instead.

WIle1

binary operation exceeds available bit length and may not be correct

WIle11

arithmetic operation exceeds available bit length and may not be correct

WIle110

Two's complement operation with %1 bits wraps around, but the result is used with %2 bits

Scalar Types: Wrap-Around Integer

Testing the New Behavior for Integer Types

WIle111

Division with a constant followed by a multiplication with a constant is not reduced

Testing the New Behavior for Integer Types

Integer Arithmetic Node

WIle112

Conversion of expression of type %1 to %2 with overflow

WIle113

Conversion of a calculation from %1 to %2

WIle114

Implementation flag "Limit to maximum bit length" is not supported for type %1

Limitations

Testing the New Behavior for Integer Types

WIle115

Conversion of a calculation with wrap-around to floating point

Scalar Types: Wrap-Around Integer

Testing the New Behavior for Integer Types

WIle12

arithmetic operation has singleton interval and may not be correct

WIle120

result of arithmetic operation is always %1 and may be incorrect

WIle121

result of arithmetic operation is always %1 or %2 and may be incorrect

WIle122

result of division has only two distinct values and may be inaccurate

WIle13

arithmetic division/shift right operation with large constant may lead to incorrect result

WIle130

taking the remainder of a negative value is compiler implementation defined

WIle14

potential overflow of 1 in integer division result for min_signed/-1, will be ignored

WIle15

potential division by 0, will be ignored

WIle150

Protection of %1 is not generated based on interval information of elements without assignment limitation

WIle151

Limitation of %1 is not generated based on interval information of elements without assignment limitation

WIle16

Arithmetic operation overflows by %1 bits, but only %2 bits are available

WIle17

Unable to limit expression correctly, since interval %1 has width of less than 1

WIle18

Approximation of <%1> by <%2> leads to an relative error of <%3> (which is bigger than <%4> given in the tool options)

Integer Arithmetic Node

Build Options (ASCET options)

WIle20

optional arithmetic service <%1> not found, will use alternative code

WIle201

found complement service definition for type "%1" in file "%2" without explicit redundant data type; using "%3" as redundant data type instead (Use "complement|%1|%3" to explicit define the redundant data type)

Complement Services for Redundant Data Storage

WIle21

Unknown service definition key "%1" in file "%2"

Defining Arithmetic Services

WIle22

Distribution is filled with identical axis points

WIle30

codegen.ini option entry >resolveSystemConstants=%1< not valid for experimental code – use default: %2

WIle31

codegen.ini option entry >resolveSystemConstants=%1< not valid – use default: %2

WIle35

codegen.ini option entry >%1< unknown --- ignored

WIle365896

Udisc/Sdisc may be generated in an unexpected way.

Scalar Types

WIle40

unknown memory class %1 --- please provide specification in memory class declaration file "memorySections.xml"

ASCET‑SE User Guide, section "The memorySections.xml File"

WIle41

memory class not defined for reference <%1>

WIle42

different storage qualifier for memory class "%1" (used for '%2' reference stuct on stack) and "%3" (specified for array "%4")

WIle50

unreachable code after %1 statement --- removed

WIle51

Explicit %1 access to message "%2" ignored due to message usage variant option set to "%3"

WIle52

Read and write access to IRV <%1> differ – this maybe a modeling error

WIle53

Read and write access to IRV <%1> may differ – this maybe a modeling error OR complex conditions, which ASCET is not able to recognize as equal

WIle533

%1 access to %2 expected, but not found in runnable "%3"

Software Component Development

Usage Information from Imported ARXML Files

WIle534

%1 call to operation "%2" expected, but not found in runnable "%3"

WIle5351

Access conditions for "%1" differ: Arxml "%2" vs Model "%3"

WIle5352

Access conditions for "%1" differ: Arxml missing, assuming "true" vs Model "%2"

WIle5353

ARXML info usage condition "%1" references unknown system constants: %2

WIle5354

Access conditions for port "%1" and access mode "%2" differ: Arxml "%3" vs Model "%4"

WIle5355

Access conditions for port "%1" and access mode "%2" differ: Arxml missing, assuming "true" vs Model "%3"

WIle54

Unable to perform read/write analysis for IRV <%1.*> – there are multiple instance of the record type within the project context

WIle56

Bad resolution for calculated Dt value ("%1") from period ("%2") using formula "%3" – please change formula for Dt

WIle560

Formula "%1" of category %2 must be transformed despite the "Keep specification" setting in order to meet the AUTOSAR requirements

Miscellaneous – ARXML Configuration Settings

WIle57

Calibration access of "%1" has been set to "%2" in order to synchronize all elements of memory class "%3"

ASCETV6.4 AUTOSAR User Guide, section "Description of Internal Data Structures"

WIle58

Rte_IStatus for implicit communication to element "%1" is not supported by selected RTE – missing support for "%2

Status of Explicit and Implicit Access

WIle59

Rte_IStatus for implicit communication to element "%1" is not generated due to missing pre conditions. "RTE_E_OK" used instead

WIle60

The software component uses enumeration "%1". Check the ranges of the texttable compu-methods in the ARXML files generated by ASCET

WIle623

Possibly wrong avoiding of 0 for two-sided reciprocals

WIle76

Interval of assert operator %1 and operand interval %2 have no common values

WIle762841

Possible wrong optimization of comparison operation in former ASCETversions

WIle77

index <%1> possibly out of bounds for indexed expression "%2"%3

Code Generation Node

WIle78

index <%1> possibly out of bounds for indexed expression "%2", but unable to limit correctly.

WIle8

invalid compile time constant expression – floating point constant detected – generating runtime code instead

WIle81

Diagnostic code "%1" not activated – Group %2 not supported in ECU-SW

WIle92

Code will violate MISRA rule 10.1: cannot assign expression with interval %1 to type %2

WIle97

Cannot determine access path to complex expression receiver %1

back to top

See also

List of Error Messages

List of Information Messages