Comment #10 on issue 2513 by [email protected]: Patch: Build: add -fno-tree-vrp to CXXFLAGS for gcc 4.7.0
http://code.google.com/p/lilypond/issues/detail?id=2513
IIRC, Pavel does not have push privilege. I will put this commit in my branch for issue 2514 (before the overlapping commit for issue 2514) and push them both once they pass the countdown (or are otherwise deemed fit for pushing).
