From c1176c2bcb919118e916a0ef2292ddc0f89f5bf7 Mon Sep 17 00:00:00 2001 From: gingerBill Date: Sun, 3 Nov 2019 19:49:21 +0000 Subject: Fix typeid comparison bug; Add extra messages for pointer address errors --- src/checker.cpp | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/checker.cpp') diff --git a/src/checker.cpp b/src/checker.cpp index 2bd39e800..a260fe48c 100644 --- a/src/checker.cpp +++ b/src/checker.cpp @@ -1036,6 +1036,8 @@ void add_type_and_value(CheckerInfo *i, Ast *expr, AddressingMode mode, Type *ty expr->tav.type = type; if (mode == Addressing_Constant || mode == Addressing_Invalid) { expr->tav.value = value; + } else if (mode == Addressing_Value && is_type_typeid(type)) { + expr->tav.value = value; } } -- cgit v1.2.3