[Bug c/26369] value expectation attribute

[acahalan at gmail dot com]

------- Comment #2 from acahalan at gmail dot com  2006-02-20 04:00 -------
VRP (value range propagation, if I guess right) doesn't always have the data it
needs. Commonly, people split projects into multiple files and do not use
-fwhole-program to compile the project. This seems to be the norm actually.

(Heck, are there _any_ projects using -fwhole-program? Perhaps gcc itself?)

VRP won't do very much to catch errors in the code. I'd like gcc to actually
block assignment of illegal values when it can determine that the problem
exists.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26369