6 foo (int argc, char *argv[])  in foo()  argument
8 …if (argc != 1 || argc != 2) return 1; /* { dg-warning "'or' of collectively exhaustive tests is al…  in foo()
9 …if (argc < 0 && argc > 10) return 1; /* { dg-warning "'and' of mutually exclusive tests is always …  in foo()
10 …if (argc || !argc) return 1; /* { dg-warning "'or' of collectively exhaustive tests is always true…  in foo()
11 …if (argc && !argc) return 1; /* { dg-warning "'and' of mutually exclusive tests is always false" }…  in foo()
12 …bar (argc != 1 || argc != 2); /* { dg-warning "'or' of collectively exhaustive tests is always tru…  in foo()
13 …bar (argc < 0 && argc > 10); /* { dg-warning "'and' of mutually exclusive tests is always false" }…  in foo()
14   bar (argc || !argc); /* { dg-warning "'or' of collectively exhaustive tests is always true" } */  in foo()
15   bar (argc && !argc); /* { dg-warning "'and' of mutually exclusive tests is always false" } */  in foo()
16 …return (argc != 1 || argc != 2) ? 1 : 0 ; /* { dg-warning "'or' of collectively exhaustive tests i…  in foo()
17 …return (argc < 0 && argc > 10) ? 1 : 0; /* { dg-warning "'and' of mutually exclusive tests is alwa…  in foo()
18 …return (argc || !argc) ? 1 : 0; /* { dg-warning "'or' of collectively exhaustive tests is always t…  in foo()
19 …return (argc && !argc) ? 1 : 0; /* { dg-warning "'and' of mutually exclusive tests is always false…  in foo()
21 …if (argc == 2 && argc == 1) return 1; /* { dg-warning "'and' of mutually exclusive tests is always…  in foo()
22 …if (argc < 0 && argc > 10) return 1; /* { dg-warning "'and' of mutually exclusive tests is always …  in foo()
23 …if (argc || !argc) return 1; /* { dg-warning "'or' of collectively exhaustive tests is always true…  in foo()
24 …if (argc && !argc) return 1; /* { dg-warning "'and' of mutually exclusive tests is always false" }…  in foo()
25 …bar (argc == 2 && argc == 1); /* { dg-warning "'and' of mutually exclusive tests is always false" …  in foo()
26 …bar (argc < 0 && argc > 10); /* { dg-warning "'and' of mutually exclusive tests is always false" }…  in foo()
27   bar (argc || !argc); /* { dg-warning "'or' of collectively exhaustive tests is always true" } */  in foo()
28   bar (argc && !argc); /* { dg-warning "'and' of mutually exclusive tests is always false" } */  in foo()
29 …return (argc == 2 && argc == 1) ? 1 : 0 ; /* { dg-warning "'and' of mutually exclusive tests is al…  in foo()
30 …return (argc < 0 && argc > 10) ? 1 : 0; /* { dg-warning "'and' of mutually exclusive tests is alwa…  in foo()
31 …return (argc || !argc) ? 1 : 0; /* { dg-warning "'or' of collectively exhaustive tests is always t…  in foo()
32 …return (argc && !argc) ? 1 : 0; /* { dg-warning "'and' of mutually exclusive tests is always false…  in foo()
34 …if (argc == 2 && argc == 1) return 1; /* { dg-warning "'and' of mutually exclusive tests is always…  in foo()
35 …if (argc < 0 && argc > 10) return 1; /* { dg-warning "'and' of mutually exclusive tests is always …  in foo()
36 …if (!argc || argc) return 1; /* { dg-warning "'or' of collectively exhaustive tests is always true…  in foo()
37 …if (!argc && argc) return 1; /* { dg-warning "'and' of mutually exclusive tests is always false" }…  in foo()
38 …bar (argc == 2 && argc == 1); /* { dg-warning "'and' of mutually exclusive tests is always false" …  in foo()
39 …bar (argc < 0 && argc > 10); /* { dg-warning "'and' of mutually exclusive tests is always false" }…  in foo()
40   bar (!argc || argc); /* { dg-warning "'or' of collectively exhaustive tests is always true" } */  in foo()
41   bar (!argc && argc); /* { dg-warning "'and' of mutually exclusive tests is always false" } */  in foo()
42 …return (argc == 2 && argc == 1) ? 1 : 0 ; /* { dg-warning "'and' of mutually exclusive tests is al…  in foo()
43 …return (argc < 0 && argc > 10) ? 1 : 0; /* { dg-warning "'and' of mutually exclusive tests is alwa…  in foo()
44 …return (!argc || argc) ? 1 : 0; /* { dg-warning "'or' of collectively exhaustive tests is always t…  in foo()
45 …return (!argc && argc) ? 1 : 0; /* { dg-warning "'and' of mutually exclusive tests is always false…  in foo()
51 foo2 (int argc)  in foo2()  argument