Differentiate between Inline = false and no inline annotation

[carlj@…]

Currently, DAE.InlineType uses the same record, DAE.NO_INLINE, for functions that have an Inline = false annotation and functions which have no inline annotation.

I propose that two different records are used for these two cases, one where the funtion has an Inline = false annotation and one where the function has no inline annotation.

[anonymous]

The types could be called e.g.:

  record NO_INLINE_SET "No inline information available. This is default behavior."
  end NO_INLINE_SET;

  record NO_INLINE "Do not inline."
  end NO_INLINE;