From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Message-ID: <415AAB90.1080909@mail.ru> Date: Wed, 29 Sep 2004 18:33:20 +0600 From: BSW User-Agent: Mozilla/5.0 (X11; U; Linux i686; ru-RU; rv:1.4) Gecko/20030627 X-Accept-Language: ru, en-us, en MIME-Version: 1.0 To: community@altlinux.ru Subject: Re: [Comm] =?KOI8-R?Q?=F3=D4=C1=CE=C4=C1=D2=D4=D9_=CE=C1_yac?= =?KOI8-R?Q?c_=C9_gcc?= References: <415A8DA6.5090209@list.ru> <254431942.20040929163816@mail.ru> <415A99E2.3030303@list.ru> In-Reply-To: <415A99E2.3030303@list.ru> X-Enigmail-Version: 0.76.1.0 X-Enigmail-Supports: pgp-inline, pgp-mime Content-Type: text/plain; charset=KOI8-R; format=flowed Content-Transfer-Encoding: 8bit X-BeenThere: community@altlinux.ru X-Mailman-Version: 2.1.5 Precedence: list Reply-To: community@altlinux.ru List-Id: Mailing list for ALT Linux users List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 29 Sep 2004 12:33:27 -0000 Archived-At: List-Archive: List-Post: Jury Levykin wrote: > А я думаю, что не зная ответа можно помолчать. Можно помолчать, а можно и вопрос нормально задать. Итак, вернемся к (весьма!) оригинальной фразе: "Нужно обосновать корректность того, что компиляторы генерят код адекватный математическим выражениям которые они интерпретируют и вычисляют." Смысл вопроса не изменится если его сформулировать иначе: "На каком основании является корректным тот факт, что компиляторы генерят код адекватный математическим выражениям которые они интерпретируют и вычисляют?" Кто ему дал право быть корректным? :-) Я не знаю кого/чего компиляторы интерпретируют, но то, что они вычисляют и есть, в конце концов, объектный код. Так что код, сгенеренный компилятором, всегда адекватен его, компилятора, вычислениям. А теперь немного по делу. Стандартов, тем более ГОСТ-ов, на GNU-компиляторы нет, и быть не может, разве что внутренние документы gnu.org. Есть стандарты на компиляторы с конкретных языков. http://home.att.net/~jackklein/c/standards.html http://www.bytecraft.com/cresources.html http://www.ncits.org/cplusplus.htm http://www.bytecraft.com/ansic.html http://www.gotw.ca/iso/ http://www.hal9k.com/cug/links/subject143.htm О практической ценности приведенных ссылок ничего не скажу, я не вчитывался. PS: Надеюсь, я не слишком разошелся?