Thank you everyone!!!
I found out a solution...
I had to add a line to my pass (the 2nd if):
for (node = cgraph_nodes; node; node = node->next) {
if (node->analyzed && cgraph_is_master_clone (node)) {
if (!gimple_in_ssa_p (DECL_STRUCT_FUNCTION (node->decl))) return 0; // I
added this line
In my case, the remaining code of the pass is executed only when the
pass-manager is working on the last function of the input program. Now I can
process every function at once, and the statements are in SSA-form.
Thank you again!
Max