This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: is_predicate_p?
- From: dewar at gnat dot com (Robert Dewar)
- To: dewar at gnat dot com, nathan at codesourcery dot com
- Cc: dnovillo at redhat dot com, gcc at gcc dot gnu dot org, gdr at codesourcery dot com,jason at redhat dot com
- Date: Sun, 9 Jun 2002 16:27:29 -0400 (EDT)
- Subject: Re: is_predicate_p?
<<call, it'll always be
if (is_foo ())
>>
Yes, and by your same argument if I write
if (stmt_ends_bb (foo))
it is also pretty obvious that this a predicate
<<No. I now can't tell whether stmt_ends_bb (foo) is commanding that foo
end a statement, or questioning whether foo ends a statment.
>>
I would find stmt_ends_bb a very poor choice of name for the command. I find
it a well chosen name for the predicate. For the command I would use
something like require_end_bb or ensure_end_bb or some such