Re: [PATCH] declare tree_to_shwi et al. nonnull and pure

2018-09-28 Thread Jeff Law
On 9/27/18 5:03 PM, Martin Sebor wrote: > On 09/27/2018 12:25 PM, Jeff Law wrote: >> On 9/26/18 5:54 PM, Martin Sebor wrote: >>> The attached patch adds attributes nonnull and pure to >>> tree_to_shwi() and a small number of other heavily used functions >>> that will benefit from both. >>> >>> Firs

Re: [PATCH] declare tree_to_shwi et al. nonnull and pure

2018-09-27 Thread Martin Sebor
On 09/27/2018 12:25 PM, Jeff Law wrote: On 9/26/18 5:54 PM, Martin Sebor wrote: The attached patch adds attributes nonnull and pure to tree_to_shwi() and a small number of other heavily used functions that will benefit from both. First, I noticed that there are a bunch of functions in tree.c th

Re: [PATCH] declare tree_to_shwi et al. nonnull and pure

2018-09-27 Thread Jeff Law
On 9/26/18 5:54 PM, Martin Sebor wrote: > The attached patch adds attributes nonnull and pure to > tree_to_shwi() and a small number of other heavily used functions > that will benefit from both. > > First, I noticed that there are a bunch of functions in tree.c that > deal gracefully with null po

[PATCH] declare tree_to_shwi et al. nonnull and pure

2018-09-26 Thread Martin Sebor
The attached patch adds attributes nonnull and pure to tree_to_shwi() and a small number of other heavily used functions that will benefit from both. First, I noticed that there are a bunch of functions in tree.c that deal gracefully with null pointers right alongside a bunch of other related fun