Hello Folks What is the intended role of the dump_file [the one known in tree-pass.h near line 101] for plugins?
May plugins print their arbitrary things (e.g. their own debug printing) inside? I believe that yea, but I am not sure. May plugins set the dump_file variable (for instance to stderr). I believe that no, but I am not sure. Can dump_file be used outside passes (e.g. in the initialization part of a plugin)? I believe that no, but I hesitate. Cheers. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mines, sont seulement les miennes} ***
