Add note about gcc bugs that gcc devs refuse to fix.
authorDiego Biurrun <diego@biurrun.de>
Tue, 29 Jul 2008 07:55:51 +0000 (07:55 +0000)
committerDiego Biurrun <diego@biurrun.de>
Tue, 29 Jul 2008 07:55:51 +0000 (07:55 +0000)
Originally committed as revision 14464 to svn://svn.ffmpeg.org/ffmpeg/trunk

doc/faq.texi

index 1d854d5..a5217d1 100644 (file)
@@ -109,6 +109,11 @@ If some MP3 codec like LAME is installed.
 This is a bug in gcc. Do not report it to us. Instead, please report it to
 the gcc developers. Note that we will not add workarounds for gcc bugs.
 
+Also note that (some of) the gcc developers believe this is not a bug or
+not a bug they should fix:
+@url{http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11203}.
+Then again, some of them do not know the difference between an undecidable
+problem and an NP-hard problem...
 
 @chapter Usage