eqs0(signed char a)1*c85f09ccSJohn Levon_Bool eqs0( signed char a) { return a == 0; }
eqs1(signed char a)2*c85f09ccSJohn Levon_Bool eqs1( signed char a) { return a == 1; }
nes0(signed char a)3*c85f09ccSJohn Levon_Bool nes0( signed char a) { return a != 0; }
nes1(signed char a)4*c85f09ccSJohn Levon_Bool nes1( signed char a) { return a != 1; }
5*c85f09ccSJohn Levon
6*c85f09ccSJohn Levon /*
7*c85f09ccSJohn Levon * check-name: bool-sext-test
8*c85f09ccSJohn Levon * check-command: test-linearize -Wno-decl $file
9*c85f09ccSJohn Levon *
10*c85f09ccSJohn Levon * check-output-ignore
11*c85f09ccSJohn Levon * check-output-excludes: sext\\.
12*c85f09ccSJohn Levon */
13