Re: Conditional Code in Ada 95?

[dewar@gnat.com]

In article <2$$CdIjQwTPX@nedcu4>,
  Gautier.DeMontmollin@maths.unine.ch wrote:
> Rex Reges <rex.r.reges@boeing.com> writes:
>
> > I just saw some Ada95 code riddled with conditional
> > compilation statements. I wasn't aware that this
> > was part of Ada95 and I can't find it in the ARM.
>
> Fortunately... The clean (and compatible) way remains
> hardware-specific units when needed and, within an unit,
> constants keys like that:
>
> with text_io; use text_io;
>
> procedure condcomp is
>  debug:   boolean:= false;
>  verbose: boolean:= true;
>  begin
>   if debug then put_line("this is for debug"); end if;
>   if verbose then put_line("verbosity"); end if;
>  end;
>
> Question: which compiler/optimizer will skip the unused
> 'put_line("this is for debug");' ?...
>
> Gautier
>

I would think that virtually any Ada compiler would delete
the dead code if the booleans are constant, but asking for
the deletion in the variable case is a bit more strenuous.
Note that there is absolutely NO reason that these are
variables rather than constants in your example. Remember
an important rule in Ada is that you ALWAYS use the constant
keyword whereever you can.

GNAT will most certainly delete the code in question whether
or not a constant keyword is present.

Robert Dewar
Ada Core Technologies

-----== Posted via Deja News, The Leader in Internet Discussion ==-----
http://www.dejanews.com/rg_mkgrp.xp   Create Your Own Free Member Forum