Opened 9 years ago

#3802 new enhancement

MetaModelica should be able to detect unassigned output variables on function return

Reported by: Adrian Pop Owned by: Martin Sjölund
Priority: normal Milestone: Future
Component: MetaModelica Version:
Keywords: Cc:

Description 

function f
  output Boolean b;
algorithm
  if blah
  then
    return; // b is not initialized on this branch.
  end if;
  b := true;
end f;

See for example:
5e8c11b1932d7bbf72019fc19f62ce4c8a319d7e/OMCompiler

Change History (0)

Note: See TracTickets for help on using tickets.