On Mon, Feb 01, 2016 at 03:39:09AM +0100, Nicolai Stange wrote:
> According to 6.6(9), an address constant may get created by casting
> an integer constant to pointer type.
>
> Make evaluate_cast() handle this case, that is tag a cast expression
> as being an address constant if the target is a integer constant and
> the destination is of pointer type.
>
> Signed-off-by: Nicolai Stange <nicstange@xxxxxxxxx>
> ---
> evaluate.c | 10 +++++++++-
> validation/constexpr-pointer-cast.c | 13 +++++++++++++
> 2 files changed, 22 insertions(+), 1 deletion(-)
> create mode 100644 validation/constexpr-pointer-cast.c
>
> diff --git a/evaluate.c b/evaluate.c
> index 91f89f4..a740474 100644
> --- a/evaluate.c
> +++ b/evaluate.c
> @@ -2767,7 +2767,15 @@ static struct symbol *evaluate_cast(struct expression *expr)
>
> class1 = classify_type(ctype, &t1);
>
> - if (class1 & TYPE_NUM) {
> + if (!(class1 & TYPE_NUM)) {
> + /*
> + * Casts of integer literals to pointer type yield
> + * address constants [6.6(9)].
> + */
> + if (class1 & TYPE_PTR &&
Better put "class1 & TYPE_PTR" between parenthesis.
> + (target->constexpr_flags & CONSTEXPR_FLAG_INT_CONST))
> + expr->constexpr_flags = CONSTEXPR_FLAG_ADDR_CONST;
> + } else {
I would have put as the else clause instead of changing the condition.
Not that it really matters though.
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
