bad dead code detection ?

[David Jobet]

Well, in fact no.
The original discussion was wether or not referencing a label by address 
should infer or not on dead code detection ...

For example, in this code :

void f()
{
  int a;

  &a; // taking 'a' by address make 'a' somehow volatile
}

I was wondering if it should not be the same as taking a label by address, 
like in :

void f()
{
  &&label;

  return;

label: // should be dead code, but as I'm taking address of label, I may jump 
somehow to it, so is it dead code anymore ?
}

Le Jeudi 26 Juin 2003 23:13, Robert Dewar a écrit :
> > The original discussion was about inserting nondeletable labels via
> > inline assembly statements.
>
> Yes, but what on earth is the semantics that the author has in mind in
> inserting such labels, I can think of many possible purposes (and in each
> case, it is highly dubious that the purpose would be achieved).