[PATCH 0/3] add missing degenerate() for logical-not

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

The goal of this series is to fix the evaluation of expressions
doing the (logical) negation of arrays or functions.
In this case, of course, the array or function must degenerate
into a pointer but it wasn't done. It doesn't make any
visible difference for the checker but the linearization
of such expressions was wrong.

Luc Van Oostenryck (3):
  add more testcases for using addresses in conditionals
  add testcases linearization of degenerated arrays/functions
  fix: add missing degenerate() for logical not

 evaluate.c                                         |   1 +
 .../{cond-address-array.c => Waddress-array.c}     |   9 +-
 ...cond-address-function.c => Waddress-function.c} |   7 +-
 validation/Waddress-weak.c                         |  25 +++++
 validation/Waddress.c                              | 110 +++++++++++++++++++++
 validation/linear/degen-array.c                    |  31 ++++++
 validation/linear/degen-function.c                 |  38 +++++++
 validation/linear/degen-log-not.c                  |  40 ++++++++
 8 files changed, 252 insertions(+), 9 deletions(-)
 rename validation/{cond-address-array.c => Waddress-array.c} (37%)
 rename validation/{cond-address-function.c => Waddress-function.c} (39%)
 create mode 100644 validation/Waddress-weak.c
 create mode 100644 validation/Waddress.c
 create mode 100644 validation/linear/degen-array.c
 create mode 100644 validation/linear/degen-function.c
 create mode 100644 validation/linear/degen-log-not.c

-- 
2.15.0