[hir] Store Primitives in AbstractState
Sathya Gunasekaran committed
Dec 5, 2022 at 22:27 UTC
2dab6f6c4d90b3879133683311bdc9c5367710e0
1 file changed
+7
compiler/forget/src/HIR/BuildAliasSets.ts
+7
@@ -150,6 +150,13 @@ function inferInstr(instr: Instruction, state: AbstractState) {
150
let alias: Place | null = null;
151
let value: AbstractValue | null = null;
152
switch (instrValue.kind) {
153
+ case "Primitive": {
154
+ value = {
155
+ kind: "Primitive",
156
+ value: instrValue.value,
157
+ };
158
+ break;
159
+ }
160
case "Identifier": {
161
alias = instrValue;
162
value = state.read(alias);