Opened 7 years ago
Closed 6 years ago
#64 closed defect (fixed)
Distinguish between in and out parameters when checking whether parameters passed to a function are initialised
Reported by: | phdmakk | Owned by: | phdmakk |
---|---|---|---|
Priority: | major | Milestone: | v2.0.0 Series |
Component: | T3Q | Version: | 2.0 |
Keywords: | Cc: |
Description
There are calls to external functions, functions and altsteps where many parameters are defined as "out" parameters and also many functions using decvalue(A,B)
Refine "Uninitialised variables that are passed as parameters to called functions are not considered initialised" to distinguish between in and out parameters. In parameters shall be checked for initialisation, out parameters shall be updated as initialised.
Change History (6)
comment:1 Changed 7 years ago by phdmakk
- Owner set to phdmakk
- Status changed from new to accepted
comment:2 Changed 7 years ago by phdmakk
- Resolution set to fixed
- Status changed from accepted to closed
comment:3 Changed 7 years ago by phdmakk
comment:4 Changed 6 years ago by phdmakk
- Resolution fixed deleted
- Status changed from closed to reopened
A request has been made to refine the feature further to consider also conditional expressions and assignments.
comment:5 Changed 6 years ago by phdmakk
Related to this, altsteps referenced within other altsteps and whithin alt branches are not treated correctly according to changed request.
comment:6 Changed 6 years ago by phdmakk
- Resolution set to fixed
- Status changed from reopened to closed
Necessary changes implemented to handle altsteps better as well as refinements to handle function calls and predefined functions with out parameters within conditional expressions and assignments.
Works only for functions called directly within a statement block for the time being. Functions called within expressions are not supported at the moment.