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