Print this page
new smatch


  62         return 0;
  63 }
  64 static int good_if_bitfield(struct state s, struct state *p)
  65 {
  66         if (s.nr) return 1;
  67         if (p->nr) return 1;
  68         return 0;
  69 }
  70 static int good_if_ptr(void *ptr)
  71 {
  72         if (ptr) return 1;
  73         if (array) return 1;
  74         if (afun) return 1;
  75         return 0;
  76 }
  77 
  78 /*
  79  * check-name: conditional-type
  80  *
  81  * check-error-start
  82 conditional-type.c:18:18: error: incorrect type in conditional
  83 conditional-type.c:18:18:    got void
  84 conditional-type.c:19:13: error: incorrect type in conditional
  85 conditional-type.c:19:13:    got struct state s
  86 conditional-type.c:24:18: error: incorrect type in conditional
  87 conditional-type.c:24:18:    got void
  88 conditional-type.c:29:21: error: incorrect type in conditional
  89 conditional-type.c:29:21:    got void
  90 conditional-type.c:30:16: error: incorrect type in conditional
  91 conditional-type.c:30:16:    got struct state s
  92 conditional-type.c:34:21: error: incorrect type in conditional
  93 conditional-type.c:34:21:    got void
  94 conditional-type.c:36:20: error: incorrect type in conditional
  95 conditional-type.c:36:20:    got void
  96 conditional-type.c:40:21: error: incorrect type in conditional
  97 conditional-type.c:40:21:    got void
  98  * check-error-end
  99  */


  62         return 0;
  63 }
  64 static int good_if_bitfield(struct state s, struct state *p)
  65 {
  66         if (s.nr) return 1;
  67         if (p->nr) return 1;
  68         return 0;
  69 }
  70 static int good_if_ptr(void *ptr)
  71 {
  72         if (ptr) return 1;
  73         if (array) return 1;
  74         if (afun) return 1;
  75         return 0;
  76 }
  77 
  78 /*
  79  * check-name: conditional-type
  80  *
  81  * check-error-start
  82 conditional-type.c:18:18: error: incorrect type in conditional (non-scalar type)
  83 conditional-type.c:18:18:    got void
  84 conditional-type.c:19:13: error: incorrect type in conditional (non-scalar type)
  85 conditional-type.c:19:13:    got struct state s
  86 conditional-type.c:24:18: error: incorrect type in conditional (non-scalar type)
  87 conditional-type.c:24:18:    got void
  88 conditional-type.c:29:21: error: incorrect type in conditional (non-scalar type)
  89 conditional-type.c:29:21:    got void
  90 conditional-type.c:30:16: error: incorrect type in conditional (non-scalar type)
  91 conditional-type.c:30:16:    got struct state s
  92 conditional-type.c:34:21: error: incorrect type in conditional (non-scalar type)
  93 conditional-type.c:34:21:    got void
  94 conditional-type.c:36:20: error: incorrect type in conditional (non-scalar type)
  95 conditional-type.c:36:20:    got void
  96 conditional-type.c:40:21: error: incorrect type in conditional (non-scalar type)
  97 conditional-type.c:40:21:    got void
  98  * check-error-end
  99  */