This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c/26369] value expectation attribute
- From: "acahalan at gmail dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 20 Feb 2006 04:00:38 -0000
- Subject: [Bug c/26369] value expectation attribute
- References: <bug-26369-12219@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- 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