2020-04-06  Christophe Lyon  <christophe.lyon@linaro.org>

	gcc/testsuite/
	* gcc.target/arm/cmse/cmse-15.c: Use check-function-bodies.