x86: Use control flow typechecking where possible
authorAndrew Cooper <andrew.cooper3@citrix.com>
Thu, 11 Nov 2021 13:09:19 +0000 (13:09 +0000)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Wed, 23 Feb 2022 15:33:43 +0000 (15:33 +0000)
commit5d59421815d57f437fccea6ac516c2d23a35bbdb
tree939c1c8a1e3213d47d493b0ae007fb884e336619
parent640ce8af9cd09a13c68fa3472f498de022606df3
x86: Use control flow typechecking where possible

Now all indirect branch targets have been annotated, turn on typechecking to
catch issues in the future.

This extension isn't in a released version of GCC yet, so provide a container
to use with the extension included, and add it to CI.  RANDCONFIG is necessary
because some stubs for compiled-out subsystems are used as function pointer
targets.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
automation/build/debian/buster-gcc-ibt.dockerfile [new file with mode: 0644]
automation/gitlab-ci/build.yaml
automation/scripts/containerize
xen/arch/x86/arch.mk