analysis interprocedural 5927951