This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c/32074] Optimizer does not exploit assertions
- From: "fang at csl dot cornell dot edu" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 24 May 2007 19:07:17 -0000
- Subject: [Bug c/32074] Optimizer does not exploit assertions
- References: <bug-32074-14600@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #1 from fang at csl dot cornell dot edu 2007-05-24 20:07 -------
It would be nice to unify (run-time) assertions with compile-time directives as
a fine-grain mechanism for telling the compiler what it can or cannot assume.
'restrict' is one example where the non-aliasing constraint could be expressed
as some form of assertion on pointer ranges and equality. Does VRP (or any
other value-flow analysis) support "not" values? Maybe __builtin_expect could
provide some hints somewhere...
--
fang at csl dot cornell dot edu changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |fang at csl dot cornell dot
| |edu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32074