Home | History | Annotate | Line # | Download | only in lint1
d_c99_bool.c revision 1.7 
      1  1.7  rillig /*	$NetBSD: d_c99_bool.c,v 1.7 2021/03/30 14:25:28 rillig Exp $	*/
      2  1.5  rillig # 3 "d_c99_bool.c"
      3  1.1  rillig 
      4  1.1  rillig /*
      5  1.1  rillig  * C99 6.3.1.2 says: "When any scalar value is converted to _Bool, the result
      6  1.1  rillig  * is 0 if the value compares equal to 0; otherwise the result is 1."
      7  1.1  rillig  *
      8  1.1  rillig  * This is different from the other integer types, which get truncated or
      9  1.1  rillig  * invoke undefined behavior.
     10  1.1  rillig  */
     11  1.1  rillig 
     12  1.7  rillig /* Below, each false statement produces "negative array dimension" [20]. */
     13  1.1  rillig 
     14  1.1  rillig int int_0_converts_to_false[(_Bool)0 ? -1 : 1];
     15  1.6  rillig int int_0_converts_to_true_[(_Bool)0 ? 1 : -1];			/* expect: 20 */
     16  1.1  rillig 
     17  1.6  rillig int int_1_converts_to_false[(_Bool)1 ? -1 : 1];			/* expect: 20 */
     18  1.1  rillig int int_1_converts_to_true_[(_Bool)1 ? 1 : -1];
     19  1.1  rillig 
     20  1.6  rillig int int_2_converts_to_false[(_Bool)2 ? -1 : 1];			/* expect: 20 */
     21  1.1  rillig int int_2_converts_to_true_[(_Bool)2 ? 1 : -1];
     22  1.1  rillig 
     23  1.6  rillig int int_256_converts_to_false[(_Bool)256 ? -1 : 1];		/* expect: 20 */
     24  1.3  rillig int int_256_converts_to_true_[(_Bool)256 ? 1 : -1];
     25  1.1  rillig 
     26  1.1  rillig int null_pointer_converts_to_false[(_Bool)(void *)0 ? -1 : 1];
     27  1.6  rillig int null_pointer_converts_to_true_[(_Bool)(void *)0 ? 1 : -1];	/* expect: 20 */
     28  1.1  rillig 
     29  1.5  rillig /*
     30  1.5  rillig  * XXX: lint does not treat the address of a global variable as a constant
     31  1.5  rillig  * expression.  This goes against C99 6.6p7 but is probably not too relevant
     32  1.5  rillig  * in practice.
     33  1.5  rillig  *
     34  1.5  rillig  * The call to constant(tn, 0) defaults to 1, then.  This is why neither of
     35  1.5  rillig  * the following array declarations generates an error message.
     36  1.5  rillig  */
     37  1.5  rillig char ch;
     38  1.5  rillig int nonnull_pointer_converts_to_false[(_Bool)&ch ? -1 : 1];
     39  1.5  rillig int nonnull_pointer_converts_to_true_[(_Bool)&ch ? 1 : -1];
     40  1.1  rillig 
     41  1.6  rillig int double_minus_1_0_converts_to_false[(_Bool)-1.0 ? -1 : 1];	/* expect: 20 */
     42  1.3  rillig int double_minus_1_0_converts_to_true_[(_Bool)-1.0 ? 1 : -1];
     43  1.1  rillig 
     44  1.6  rillig int double_minus_0_5_converts_to_false[(_Bool)-0.5 ? -1 : 1];	/* expect: 20 */
     45  1.3  rillig int double_minus_0_5_converts_to_true_[(_Bool)-0.5 ? 1 : -1];
     46  1.1  rillig 
     47  1.1  rillig int double_minus_0_0_converts_to_false[(_Bool)-0.0 ? -1 : 1];
     48  1.6  rillig int double_minus_0_0_converts_to_true_[(_Bool)-0.0 ? 1 : -1];	/* expect: 20 */
     49  1.1  rillig 
     50  1.1  rillig int double_0_0_converts_to_false[(_Bool)0.0 ? -1 : 1];
     51  1.6  rillig int double_0_0_converts_to_true_[(_Bool)0.0 ? 1 : -1];		/* expect: 20 */
     52  1.1  rillig 
     53  1.1  rillig /* The C99 rationale explains in 6.3.1.2 why (_Bool)0.5 is true. */
     54  1.6  rillig int double_0_5_converts_to_false[(_Bool)0.5 ? -1 : 1];		/* expect: 20 */
     55  1.3  rillig int double_0_5_converts_to_true_[(_Bool)0.5 ? 1 : -1];
     56  1.1  rillig 
     57  1.6  rillig int double_1_0_converts_to_false[(_Bool)1.0 ? -1 : 1];		/* expect: 20 */
     58  1.1  rillig int double_1_0_converts_to_true_[(_Bool)1.0 ? 1 : -1];
     59  1.2  rillig 
     60  1.2  rillig _Bool
     61  1.2  rillig bool_to_bool(_Bool b)
     62  1.2  rillig {
     63  1.2  rillig 	return b;
     64  1.2  rillig }
     65  1.2  rillig 
     66  1.2  rillig _Bool
     67  1.2  rillig char_to_bool(char c)
     68  1.2  rillig {
     69  1.2  rillig 	return c;
     70  1.2  rillig }
     71  1.2  rillig 
     72  1.2  rillig _Bool
     73  1.2  rillig int_to_bool(int i)
     74  1.2  rillig {
     75  1.2  rillig 	return i;
     76  1.2  rillig }
     77  1.2  rillig 
     78  1.2  rillig _Bool
     79  1.2  rillig double_to_bool(double d)
     80  1.2  rillig {
     81  1.2  rillig 	return d;
     82  1.2  rillig }
     83  1.2  rillig 
     84  1.2  rillig enum color {
     85  1.2  rillig 	RED
     86  1.2  rillig };
     87  1.2  rillig 
     88  1.2  rillig _Bool
     89  1.2  rillig enum_to_bool(enum color e)
     90  1.2  rillig {
     91  1.2  rillig 	return e;
     92  1.2  rillig }
     93  1.2  rillig 
     94  1.2  rillig _Bool
     95  1.2  rillig pointer_to_bool(const char *p)
     96  1.2  rillig {
     97  1.4  rillig 	return p;
     98  1.2  rillig }
     99  1.2  rillig 
    100  1.2  rillig _Bool
    101  1.2  rillig function_pointer_to_bool(void (*f)(void))
    102  1.2  rillig {
    103  1.4  rillig 	return f;
    104  1.2  rillig }
    105  1.2  rillig 
    106  1.2  rillig _Bool
    107  1.2  rillig complex_to_bool(double _Complex c)
    108  1.2  rillig {
    109  1.2  rillig 	return c;
    110  1.2  rillig }
    111