On Thu, Nov 22, 2018 at 09:57:32AM +0100, Antonio Ospite wrote: > On Thu, 22 Nov 2018 00:19:22 +0100 > Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> wrote: > > > On Wed, Nov 21, 2018 at 11:44:06PM +0100, Antonio Ospite wrote: > [...] > > > Hi Luc, > > > > > > this improves things a bit, but there is another issue with -E. > > > > > > If "-o file" is passed and only $do_check is enabled sparse will > > > ignore the -o option and the preprocessed output will go to the stdout > > > and not in the specified file, as would be expected by a normal gcc > > > invocation. > > > > Yes, I know. Sparse always ignored the '-o option' but I added a patch > > for it yesterday. > > > > Thank you, I didn't see that patch in the git repository and I missed it > on the ml because I am not subscribed, but I found it here > https://marc.info/?l=linux-sparse&m=154270011802037&w=2 > > It seems to work fine with '-x c' for my use case. > I'll review the patch about '-x c' now and send some minor comments. > > Another small addition would be for cgcc to also consume the argument of > "-o" as soon as it finds it, Yes, true. That was missing. Thanks for noticing this. I'm sending a v2 with this change. Best regards, -- Luc