This is the mail archive of the
mailing list for the GCC project.
- From: Ian Lance Taylor <iant at google dot com>
- To: Joe Buck <Joe dot Buck at synopsys dot COM>
- Cc: Kenneth Zadeck <zadeck at naturalbridge dot com>, Eric Botcazou <ebotcazou at libertysurf dot fr>, gcc at gcc dot gnu dot org, Alexandre Oliva <aoliva at redhat dot com>, Richard Sandiford <rsandifo at nildram dot co dot uk>, David Edelsohn <dje at watson dot ibm dot com>, Dave Korn <dave dot korn at artimi dot com>, "'Richard Earnshaw'" <Richard dot Earnshaw at arm dot com>, "'Steven Bosscher'" <stevenb dot gcc at gmail dot com>, "'Bonzini, Paolo'" <bonzini at gnu dot org>
- Date: 09 Jul 2007 14:08:05 -0700
- Subject: Re: no_new_pseudos
- References: <firstname.lastname@example.org> <email@example.com> <firstname.lastname@example.org> <email@example.com> <firstname.lastname@example.org> <46927F81.email@example.com> <firstname.lastname@example.org> <20070709190918.GH632@synopsys.com>
Eric Botcazou <email@example.com> writes:
> tree-ssa-loop-im.c:may_move_till (tree ref, tree *index, void *data)
> tree-ssa-loop-prefetch.c:may_use_storent_in_loop_p (struct loop *loop)
So there are some existing cases of asking permission using "may".
Joe Buck <Joe.Buck@synopsys.COM> writes:
> "May" can either mean that someone has permission to do something ("is
> allowed to"), or
> that it is possible that something could happen ("might"). Example:
> "Bill may leave before the meeting is over." could mean
> Bill has permission to leave before the meeting is over.
> It is possible that Bill will leave before the meeting is over.
True, but essentially the same ambiguity is present for "can."
"Joe can open the door during the meeting" could mean "Joe is able to
open the door (e.g., he has the keys)" or "from time to time, Joe will
open the door during the meeting (e.g., it has been known to happen)."
But I agree that it doesn't seem to be used that way in gcc.