%%
%% $Id$
%%
%% Copyright 1989-2010 MINES ParisTech
%%
%% This file is part of PIPS.
%%
%% PIPS is free software: you can redistribute it and/or modify it
%% under the terms of the GNU General Public License as published by
%% the Free Software Foundation, either version 3 of the License, or
%% any later version.
%%
%% PIPS is distributed in the hope that it will be useful, but WITHOUT ANY
%% WARRANTY; without even the implied warranty of MERCHANTABILITY or
%% FITNESS FOR A PARTICULAR PURPOSE.
%%
%% See the GNU General Public License for more details.
%%
%% You should have received a copy of the GNU General Public License
%% along with PIPS.  If not, see <http://www.gnu.org/licenses/>.
%%
{\small
\begin{alltt}
bool suppress\Ul{}dead\Ul{}code(string module)
\Ob
  \Cm{get resources from PIPS DBM}
  \Ng{statement} s = db\Ul{}get\Ul{}resource(DBR_CODE, module);
  [...]

  \Ng{gen\Ul{}recurse}(s,            \Cm{start recursion from}
    \Ng{statement\Ul{}domain},       \Cm{domain to visit}
    dead\Ul{}statement\Ul{}filter,  \Cm{top-down decision}
    dead\Ul{}statement\Ul{}rewrite) \Cm{bottom-up transformation}

  [...] \Cm{update resources to PIPS DBM}
\Cb
\end{alltt}
}

