fix evaluation of a function or array symbol in conditionals
commitb5867a33b62c04811784c6fc233c601a4f2b0841
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>
Wed, 22 Mar 2017 14:38:49 +0000 (22 15:38 +0100)
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>
Wed, 22 Mar 2017 17:24:41 +0000 (22 18:24 +0100)
tree3aac0baf1179d23128b5b94aff5538a2fe7046b6
parent4480ef07d1187395ea8b277174ac2545254b40f0
fix evaluation of a function or array symbol in conditionals

Functions and arrays degenerate as pointers in most context
but this wasn't done in the case of conditionals.

As a result the value of the conditional after linearization
was invalid.

Fix this by calling degenerate() in evaluate_conditional().

Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
evaluate.c
validation/cond-address.c [new file with mode: 0644]