------- 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
