[prev in list] [next in list] [prev in thread] [next in thread] 

List:       linux-sparse
Subject:    [PATCH 0/3] validate expression's type in conditionals
From:       Luc Van Oostenryck <luc.vanoostenryck () gmail ! com>
Date:       2017-01-29 11:34:06
Message-ID: 20170129113409.9834-1-luc.vanoostenryck () gmail ! com
[Download RAW message or body]

This serie aims to detect incorrect types used in conditionals.

Patch 1 fix a test case where a void was used ina conditional.
Patch 2 is an helper for the next patch.
Patch 3 do the validation.

Luc Van Oostenryck (3):
  fix conditional context test case with void
  add helper: is_scalar_type()
  validate expression's type in conditionals

 evaluate.c                    |  5 +++
 symbol.h                      | 22 ++++++++++
 validation/conditional-type.c | 99 +++++++++++++++++++++++++++++++++++++++++++
 validation/context.c          |  2 +-
 4 files changed, 127 insertions(+), 1 deletion(-)
 create mode 100644 validation/conditional-type.c

-- 
2.11.0

--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
[prev in list] [next in list] [prev in thread] [next in thread]