1 /* PR 35635 */ 2 /* { dg-do compile } */ 3 /* { dg-options "-Wconversion -Wsign-conversion" } */ 4 5 struct unsigned_bit { 6 unsigned int x:1; 7 } unsigned_bit; 8 struct signed_bit { 9 int x:1; 10 } signed_bit; 11 int bar; 12 int bar2; 13 func1()14void func1() 15 { 16 /* The result of boolean operators fits in unsiged int:1, thus do 17 not warn. */ 18 unsigned_bit.x = (bar != 0); /* { dg-bogus "conversion" } */ 19 unsigned_bit.x = (bar == 0); /* { dg-bogus "conversion" } */ 20 unsigned_bit.x = (bar <= 0); /* { dg-bogus "conversion" } */ 21 unsigned_bit.x = (bar >= 0); /* { dg-bogus "conversion" } */ 22 unsigned_bit.x = (bar < 0); /* { dg-bogus "conversion" } */ 23 unsigned_bit.x = (bar > 0); /* { dg-bogus "conversion" } */ 24 unsigned_bit.x = !bar; /* { dg-bogus "conversion" } */ 25 unsigned_bit.x = (bar || bar2); /* { dg-bogus "conversion" } */ 26 unsigned_bit.x = (bar && bar2); /* { dg-bogus "conversion" } */ 27 28 /* Both branches of ? fit in the destination, thus do not warn. */ 29 unsigned_bit.x = bar != 0 ? 1 : 0; /* { dg-bogus "conversion" } */ 30 unsigned_bit.x = bar != 0 ? 1.0 : 0.0; /* { dg-bogus "conversion" } */ 31 32 /* At least one branch of ? does not fit in the destination, thus 33 warn. */ 34 unsigned_bit.x = bar != 0 ? 2 : 0; /* { dg-warning "conversion" } */ 35 unsigned_bit.x = bar != 0 ? 0 : -1; /* { dg-warning "negative integer implicitly converted to unsigned type" } */ 36 } 37 func2()38void func2() 39 { 40 signed char schar_x; 41 42 /* Both branches of ? fit in the destination, thus do not warn. */ 43 schar_x = bar != 0 ? 1 : 0; /* { dg-bogus "conversion" } */ 44 schar_x = bar != 0 ? 2.0 : 10; /* { dg-bogus "conversion" } */ 45 46 /* At least one branch of ? does not fit in the destination, thus 47 warn. */ 48 schar_x = bar != 0 ? 2.1 : 10; /* { dg-warning "conversion" } */ 49 schar_x = bar != 0 ? (signed char) 1024: -1024; /* { dg-warning "conversion" } */ 50 } 51 52 53 func3()54void func3() 55 { 56 unsigned char uchar_x; 57 58 /* Both branches of ? fit in the destination, thus do not warn. */ 59 uchar_x = bar != 0 ? 1 : 0; 60 uchar_x = bar != 0 ? 2.0 : 10; 61 62 /* At least one branch of ? does not fit in the destination, thus 63 warn. */ 64 uchar_x = bar != 0 ? 2.1 : 10; /* { dg-warning "conversion" } */ 65 uchar_x = bar != 0 /* { dg-warning "negative integer implicitly converted to unsigned type" } */ 66 ? (unsigned char) 1024 67 : -1; 68 } 69 func4()70void func4() 71 { 72 signed_bit.x = -1; /* { dg-bogus "conversion" } */ 73 signed_bit.x = bar != 0 ? -1.0 : 0.0; /* { dg-bogus "conversion" } */ 74 signed_bit.x = bar != 0 ? -1 : 0; /* { dg-bogus "conversion" } */ 75 76 77 signed_bit.x = 1; /* { dg-warning "conversion" } */ 78 signed_bit.x = (bar != 0); /* { dg-warning "conversion" } */ 79 signed_bit.x = (bar == 0); /* { dg-warning "conversion" } */ 80 signed_bit.x = (bar <= 0); /* { dg-warning "conversion" } */ 81 signed_bit.x = (bar >= 0); /* { dg-warning "conversion" } */ 82 signed_bit.x = (bar < 0); /* { dg-warning "conversion" } */ 83 signed_bit.x = (bar > 0); /* { dg-warning "conversion" } */ 84 signed_bit.x = !bar; /* { dg-warning "conversion" } */ 85 signed_bit.x = (bar || bar2); /* { dg-warning "conversion" } */ 86 signed_bit.x = (bar && bar2); /* { dg-warning "conversion" } */ 87 signed_bit.x = bar != 0 ? 1 : 0; /* { dg-warning "conversion" } */ 88 signed_bit.x = bar != 0 ? 2 : 0; /* { dg-warning "conversion" } */ 89 } 90 91