------- Comment #8 from mmitchel at gcc dot gnu dot org 2008-07-09 14:28 ------- Paolo --
You're absolutely right; I'd not thought about the orthogonality between what the library should do and how the compiler should behave. I agree that the patch is correct; go ahead check it in. I was also trying to raise the issue of whether we think the warning is useful. If it's not practical to avoid the warning in the library, then I wonder if it's practical to avoid it other generic-programming code. But, I agree that this is a separate issue. Thanks, -- Mark -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36760
