summaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.old-deja/g++.benjamin/bool01.C
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/testsuite/g++.old-deja/g++.benjamin/bool01.C')
-rwxr-xr-xgcc/testsuite/g++.old-deja/g++.benjamin/bool01.C74
1 files changed, 74 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.old-deja/g++.benjamin/bool01.C b/gcc/testsuite/g++.old-deja/g++.benjamin/bool01.C
new file mode 100755
index 0000000..c73557a
--- /dev/null
+++ b/gcc/testsuite/g++.old-deja/g++.benjamin/bool01.C
@@ -0,0 +1,74 @@
+//980323 bkoz
+//test for bools with inclusive ors
+
+#include <assert.h>
+void bar ( bool x ) {};
+void bars ( short x ) {};
+
+/* 980326 bkoz this is not initialized and so can have indeterminate value. */
+#if 0
+int orb(){
+ bool y;
+ bar ( y );
+ int blob = ( 27 | int (y) );
+ return blob; //expect 27 or 0
+}
+#endif
+
+int orbtrue(){
+ bool y = true;
+ bar ( y );
+ int blob = ( 27 | int (y) );
+ return blob; //expect 27
+}
+
+int orbfalse(){
+ bool y = false;
+ bar ( y );
+ int blob = ( 27 | int (y) );
+ return blob; //expect 27
+}
+
+int orbfalse2(){
+ bool y = 0;
+ bar ( y );
+ int blob = ( 27 | int (y) );
+ return blob; //expect 27
+}
+
+int ors(){
+ short y = 1;
+ bars ( y );
+ int blob = ( 27 | int (y) );
+ return blob; //expect 27
+}
+
+
+int orus(){
+ unsigned short y = 1;
+ bars ( y );
+ int blob = ( 65539 | int (y) );
+ return blob; //expect 65539, will be 3 if done in us type
+}
+
+
+int main() {
+ int tmp;
+#if 0
+ tmp = orb();
+ assert (tmp == 27 || tmp == 0);
+#endif
+ tmp = orbtrue();
+ assert (tmp ==27);
+ tmp = orbfalse();
+ assert (tmp ==27);
+ tmp = orbfalse2();
+ assert (tmp ==27);
+ tmp = ors();
+ assert (tmp ==27);
+ tmp = orus();
+ assert (tmp == 65539);
+
+ return 0;
+}
+