# undefined behavior in builtin/am.c 4 messages from 2022-07-01 to 2022-07-01. Participants: Roland Illig, Jeff King, Phillip Wood. Thread: https://gitlist.dev/t/58097 ## Roland Illig, 2022-07-01 17:03 Subject: undefined behavior in builtin/am.c Message-ID: <130c3636-b978-1600-df53-6a38c3414a88@gmx.de> URL: https://gitlist.dev/e/130c3636-b978-1600-df53-6a38c3414a88%40gmx.de ``` Hi, builtin/am.c says: > static int str_isspace(const char *str) > { > for (; *str; str++) > if (!isspace(*str)) > return 0; > > return 1; > } The macro 'isspace' must only be called with an integer representable as an 'unsigned char', or with the value of the macro EOF. On platforms where plain 'char' is a signed integer type, any character whose value is negative invokes undefined behavior (except for the one character that by coincidence has the same value as the macro EOF). To fix this, write '!isspace((unsigned char)*str)' instead. I have no idea how to trigger this part of the code but for someone who knows this part of Git, it should be easy. Depending on the platform, this kind of error may be silently ignored or crash the program, as always with undefined behavior. Roland ``` ## Jeff King, 2022-07-01 17:53 Subject: Re: undefined behavior in builtin/am.c Message-ID: URL: https://gitlist.dev/e/Yr80s8VP8ECCXKd%2B%40coredump.intra.peff.net In-Reply-To: <130c3636-b978-1600-df53-6a38c3414a88@gmx.de> ``` On Fri, Jul 01, 2022 at 07:03:18PM +0200, Roland Illig wrote: > The macro 'isspace' must only be called with an integer representable as > an 'unsigned char', or with the value of the macro EOF. > > On platforms where plain 'char' is a signed integer type, any character > whose value is negative invokes undefined behavior (except for the one > character that by coincidence has the same value as the macro EOF). > > To fix this, write '!isspace((unsigned char)*str)' instead. > > I have no idea how to trigger this part of the code but for someone who > knows this part of Git, it should be easy. Depending on the platform, > this kind of error may be silently ignored or crash the program, as > always with undefined behavior. We don't use the system isspace(), but instead our own macro wrappers in git-compat-util.h. They do the cast to unsigned char themselves. I won't be surprised if re-defining a system name as a macro is also technically undefined behavior, but I don't think we've found a system that has a problem with it in the past 17 years. :) -Peff ``` ## Phillip Wood, 2022-07-01 17:54 Subject: Re: undefined behavior in builtin/am.c Message-ID: URL: https://gitlist.dev/e/d717324b-d7dc-fc5c-7bd7-2b74c4dfb644%40gmail.com In-Reply-To: <130c3636-b978-1600-df53-6a38c3414a88@gmx.de> ``` Hi Roland On 01/07/2022 18:03, Roland Illig wrote: > Hi, > > builtin/am.c says: > > static int str_isspace(const char *str) > > { > >     for (; *str; str++) > >         if (!isspace(*str)) > >             return 0; > > > >     return 1; > > } > > The macro 'isspace' must only be called with an integer representable as > an 'unsigned char', or with the value of the macro EOF. Thanks for reporting this. Git uses its own version of isspace() (see git-compat-util.h & ctype.c) which does not suffer from this limitation as it casts its argument to an unsigned char. Best Wishes Phillip > On platforms where plain 'char' is a signed integer type, any character > whose value is negative invokes undefined behavior (except for the one > character that by coincidence has the same value as the macro EOF). > > To fix this, write '!isspace((unsigned char)*str)' instead. > > I have no idea how to trigger this part of the code but for someone who > knows this part of Git, it should be easy. Depending on the platform, > this kind of error may be silently ignored or crash the program, as > always with undefined behavior. > > Roland ``` ## Roland Illig, 2022-07-01 18:58 Subject: Re: undefined behavior in builtin/am.c Message-ID: <647f50a7-4350-fe04-fb84-b79417d98455@gmx.de> URL: https://gitlist.dev/e/647f50a7-4350-fe04-fb84-b79417d98455%40gmx.de In-Reply-To: ``` Am 01.07.2022 um 19:53 schrieb Jeff King: > On Fri, Jul 01, 2022 at 07:03:18PM +0200, Roland Illig wrote: > >> The macro 'isspace' must only be called with an integer representable as >> an 'unsigned char', or with the value of the macro EOF. >> >> On platforms where plain 'char' is a signed integer type, any character >> whose value is negative invokes undefined behavior (except for the one >> character that by coincidence has the same value as the macro EOF). >> >> To fix this, write '!isspace((unsigned char)*str)' instead. >> >> I have no idea how to trigger this part of the code but for someone who >> knows this part of Git, it should be easy. Depending on the platform, >> this kind of error may be silently ignored or crash the program, as >> always with undefined behavior. > > We don't use the system isspace(), but instead our own macro wrappers in > git-compat-util.h. They do the cast to unsigned char themselves. Thanks for the explanation, good to know that there's no problem. :) Roland ```