I think that sparse defines that internally.
On Tue, Jan 19, 2016 at 11:07:37AM -0800, William Tu wrote: > Hi Ben, > > When I do "make C=1", where and how does the "__CHECKER__" get set/defined? > I tried to dump preprocessor information "-dM -E" but I couldn't find any. > Thank you! > > Regards, > William > > On Tue, Jan 19, 2016 at 9:43 AM, William Tu <u9012...@gmail.com> wrote: > > > Hi Ben, > > > > It see, thank you! > > > > William > > > > > > On Tue, Jan 19, 2016 at 9:31 AM, Ben Pfaff <b...@ovn.org> wrote: > > > >> On Tue, Jan 19, 2016 at 09:26:18AM -0800, William Tu wrote: > >> > I've installed sparse and cgcc and were playing with this tools. > >> However, > >> > I'm not sure whether it's working in current version of OVS. > >> > > >> > The acinclude.m4 indeed sets the SPARSE related flags. After I do > >> > "./configure", the Makefile shows: > >> > CC = $(if $(C),env REAL_CC="gcc" CHECK="$(SPARSE) -I > >> > $(top_srcdir)/include/sparse $(SPARSEFLAGS) $(SPARSE_EXTRA_INCLUDES) " > >> cgcc > >> > $(CGCCFLAGS),gcc) > >> > > >> > Where in my case it's always "CC=gcc" and in OVS_ENABLE_SPARSE, I > >> couldn't > >> > find where is this "if $(C)" might be true. > >> > >> If you want to use sparse, add C=1 to the "make" command line (see > >> INSTALL.md). > >> > > > > _______________________________________________ dev mailing list dev@openvswitch.org http://openvswitch.org/mailman/listinfo/dev
