Path: csiph.com!eternal-september.org!feeder.eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: Tim Rentsch <tr.17687@z991.linuxsc.com>
Newsgroups: comp.lang.c
Subject: Re: What is the rank of  size_t ?
Date: Sat, 30 May 2020 00:55:03 -0700
Organization: A noiseless patient Spider
Lines: 7
Message-ID: <868sh9svqg.fsf@linuxsc.com>
References: <y88BWrDFndCB41zt@bongo-ra.co>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Info: reader02.eternal-september.org; posting-host="50ca98e22833fa004f70febc55f67ad1"; logging-data="15520"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+axhJsYoSmcE0oybwaCoAlFeWiUyXhjJk="
User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.4 (gnu/linux)
Cancel-Lock: sha1:pmAQFrcAYv+U2SAnDBnZXUSUiAY= sha1:pMdVoiYlArgpzL547JAnuyY3/AM=
Xref: csiph.com comp.lang.c:152533

Spiros Bousbouras <spibou@gmail.com> writes:

> Specifically , if  a  has type  int  and  b  has type  size_t , can
> a + b  overflow i.e. cause undefined behaviour ?

The short answer is yes.  More details in response to
your second message.