Anonymous access types

[adam.betts155@gmail.com]

I am having some trouble with anonymous access types, behaviour which
I do not understand. I have 2 questions:

1) This one is bizarre and quite non-deterministic. I *sometimes* get
a "finalize/adjust raised exception" with the following bit of code:

declare
      t_ptr : tree_pointer := new tree'(get_tree(g));
      anon_t_ptr : access tree'class := new tree'(get_tree(g));
      lca : least_common_ancestor(anon_t_ptr);
begin
end;

with the following type declarations:
 tree_pointer is access tree'class;
 type least_common_ancestor (tree_ptr: access constant tree'class);

It seems that there is sometimes a problem with the lca declaration,
since the exception is never raised when anon_t_ptr is replaced with
t_ptr.

2) I want to return an anonymous access type from a function:

function get_tree (g: graph) return non null access tree is
begin
  return new tree(g.t);
end get_tree;

The access type is not null when I use this function. However, when I
run the code and try to do operations on the access type, it is not
pointing in the right place. For example, the returned tree does not
have vertices and edges even though I know it does.

Any help with either of these issues would be greatly appreciated.