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

Works only for functions called directly within a statement block for the time being. Functions called within expressions are not supported at the moment.

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.

Note: See TracTickets for help on using tickets.