[PATCH 0/5] Fixes for generic selection

[Luc Van Oostenryck <luc.vanoostenryck@gmail.com>]

This series contains:
* the controlling expression must be lvalue-converted,
  array-to-pointer & function-to-pointer converted.
  These are the rules following the resolution of DR481
  and are also used for C17 (and are followed by both
  GCC & clang).
* validate the type of the associations.

These patches are available for testing & review at:
  git://git.kernel.org/pub/scm/devel/sparse/sparse.git fix-gensel


Note: A small inconsistency remains: a plain char
      will match a signed char or a unsigned char.

Luc Van Oostenryck (5):
  gensel: add testcases from DR481
  gensel: use temporary variable in generic selection
  gensel: controlling expression must be lvalue converted
  gensel: controlling expression must be pointer-converted
  gensel: validate the type of the associations

 evaluate.c                 | 33 ++++++++++++++++++++++++++++++---
 validation/generic-dr481.c | 17 +++++++++++++++++
 2 files changed, 47 insertions(+), 3 deletions(-)
 create mode 100644 validation/generic-dr481.c

-- 
2.27.0