Fix lvalue dereference type checking

Previously, if a dereference instruction was an lvalue, it would fail to
typecheck that the value being dereferenced was indeed a pointer.
Although a little clunky, this change obviates the need for redundant
type checks scattered about the analysis.

1 files changed, 6 insertions, 5 deletions

diff --git a/src/all_types.hpp b/src/all_types.hpp
index 6fbd987b9e..1304106f08 100644
--- a/src/all_types.hpp
+++ b/src/all_types.hpp
@@ -2091,6 +2091,11 @@ struct IrBasicBlock {
     IrInstruction *must_be_comptime_source_instr;
 };
 
+enum LVal {
+    LValNone,
+    LValPtr,
+};
+
 // These instructions are in transition to having "pass 1" instructions
 // and "pass 2" instructions. The pass 1 instructions are suffixed with Src
 // and pass 2 are suffixed with Gen.
@@ -2354,6 +2359,7 @@ struct IrInstructionUnOp {
 
     IrUnOp op_id;
     IrInstruction *value;
+    LVal lval;
 };
 
 enum IrBinOp {
@@ -3090,11 +3096,6 @@ struct IrInstructionTypeName {
     IrInstruction *type_value;
 };
 
-enum LVal {
-    LValNone,
-    LValPtr,
-};
-
 struct IrInstructionDeclRef {
     IrInstruction base;