cgcc and sparse didn't knew about these option but they may be needed for any project that uses cgcc as a wrapper around gcc + sparse. Changes from the separated patches: * '-o <file>' and '-x <language>' are now forwarded from cgcc to the checker and the compiler. * cgcc now ignores -o's argument to not treat it as another option or input filename. * cgcc and sparse now ignore -x's argument to not treat it as another option or input filename. * sparse ignore '-o -' (since stdout is its default). * sparse as a checker ignore the -o redirection of stdout but not if expected to produce an output, for example when -E or -dD is used. Luc Van Oostenryck (5): teach sparse about '-o <file>' teach sparse about '-x <language>' cgcc: add support to ignore argument(s) of options cgcc: teach about '-o <file>' cgcc: teach about '-x c' cgcc | 27 +++++++++++++++++++++++++-- lib.c | 21 +++++++++++++++++++++ lib.h | 1 + sparse.c | 3 +++ 4 files changed, 50 insertions(+), 2 deletions(-) -- 2.19.0
