Article View: pl.comp.lang.c
Article #310367Re: przekręcenie licznika w zmiennej typu int - czy to UB ?
From: Maciek
Date: Tue, 07 Dec 2021 20:35
Date: Tue, 07 Dec 2021 20:35
20 lines
2184 bytes
2184 bytes
wtorek, 7 grudnia 2021 o 21:31:45 UTC+1 Mateusz Viste napisał(a): > 2021-12-07 o 11:24 -0800, Maciek napisał: > > Jeśli przez pomnożenie zmiennej wychodzi wartość która przekraczająca > > maksymalną wartość danego typu, to jest to już UB ? > Poniżej zamieszczam kilka wycinków z ISO/IEC 9899 1990. > > 3.17.2: "An example of undefined behavior is the behavior on integer > overflow" > > 6.3.6: "As with any other arithmetic overflow, if the result does not > fit in the space provided the behavior is undefined" > > Annex G.2 (Undefined behavior): "An arithmetic operation (...) produces > a result that cannot be represented in the space provided (such as > overflow or underflow)" > > > Mateusz Ok dzięki.
Technical Details
Message-ID:
<8b1e1123-77c7-4cf0-ab2e-efd24958795en@googlegroups.com>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!3.eu.feeder.erje.net!feeder.erje.net!newsreader4.netcologne.de!news.netcologne.de!peer02.ams1!peer.ams1.xlned.com!news.xlned.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mailReferences:
<9fefc125-650e-496d-a385-87234f47a197n@googlegroups.com> <soogbe$6te$1@gioia.aioe.org>Show Full Headers
Complete Article Headers
X-Received: by 2002:a05:620a:4495:: with SMTP id x21mr1930091qkp.604.1638909346030; Tue, 07 Dec 2021 12:35:46 -0800 (PST) X-Received: by 2002:a05:6214:411e:: with SMTP id kc30mr1960107qvb.38.1638909345802; Tue, 07 Dec 2021 12:35:45 -0800 (PST) Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!3.eu.feeder.erje.net!feeder.erje.net!newsreader4.netcologne.de!news.netcologne.de!peer02.ams1!peer.ams1.xlned.com!news.xlned.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: pl.comp.lang.c Date: Tue, 7 Dec 2021 12:35:45 -0800 (PST) In-Reply-To: <soogbe$6te$1@gioia.aioe.org> Injection-Info: google-groups.googlegroups.com; posting-host=2a02:a31b:338:d080:2101:a857:908c:8175; posting-account=SOZBVwoAAAAtP6gAgjkK3BR3YPR_ux-s NNTP-Posting-Host: 2a02:a31b:338:d080:2101:a857:908c:8175 References: <9fefc125-650e-496d-a385-87234f47a197n@googlegroups.com> <soogbe$6te$1@gioia.aioe.org> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <8b1e1123-77c7-4cf0-ab2e-efd24958795en@googlegroups.com> Subject: Re: przekręcenie licznika w zmiennej typu int - czy to UB ? From: Maciek <moblaza@gmail.com> Injection-Date: Tue, 07 Dec 2021 20:35:46 +0000 X-Received-Bytes: 2133 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit