On Thu, Mar 30, 2017 at 9:44 PM, Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> wrote: > Here is a respin of the series originally made and > submitted by Nicolai Stange. > > The goal of this series is to improve the tracking of > expression constness in the sense of C99 [6.4.4, 6.6]: > more fine-grained and more correct. A new flag is added > for a strict mode while by default offering the relaxed > mode we're used to, for example for kernel compile. Sorry for the late replay. As I express before, this integer context will not be part of this release 0.5.1. Now the RC5 is almost out of the door. I can catch up a bit of back log I have. One suggest on the V4 is that, (suggestion, not reason to object the inclusion of this series. If you prefer, I can merge them as it is and change them later.) I would like the manipulate of the bits representation abstract as higher level function or macros. I have suspicious that bits representation can be simplify in the future. Wrap them into higher level function at the call site will be easier to read what is the intend for this operation. It also make the change of the underlying bit representation easier, that is if we do found a simpler representation. Thanks Chris -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
