Re: [PATCH v2 3/3] Documentation for the GCC plugin infrastructure

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Wed, 17 Feb 2016 16:35:15 -0800
Kees Cook <keescook@xxxxxxxxxxxx> wrote:

> > +Currently the GCC plugin infrastructure supports only the x86 architecture.
> 
> What's needed to support other architectures?

Sadly gcc doesn't always install all necessary plugin headers (moreover some headers
come from the build tree). The gcc developers don't test gcc with installed headers
so they don't see these bugs.
I think arm support would be good. I can test it easily because I know what headers are
missing there but I don't know if it is acceptable for the vanilla kernel (installing
the headers by hand isn't too nice and user friendly).

> The part about the proper host compiler isn't clear to me. It looks
> like each of three compilers are examined:
> $CC for the header location
> $HOSTCC for actually doing the build, or
> $HOSTCXX for doing the plugin build?

$HOSTCC and $HOSTCXX are used for building a plugin. Their use depends on which gcc version
(c or c++ based) you use.

> Shouldn't the headers be coming from the compiler that is actually
> going to be used to build the .so file?

No, they have to come from the compiler that will load the plugin (the plugin itself
could even be compiled by clang for example).

-- 
Emese
--
To unsubscribe from this list: send the line "unsubscribe linux-kbuild" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html



[Index of Archives]     [Linux&nblp;USB Development]     [Linux Media]     [Video for Linux]     [Linux Audio Users]     [Yosemite Secrets]     [Linux Kernel]     [Linux SCSI]

  Powered by Linux