Do not generate size_t

aytey · aytey · commit e79c9525ff3f · 2021-03-25T15:05:04.000Z
Signed-off-by: Andrew V. Jones &lt;andrew.jones@vector.com&gt;
diff --git a/generator/ConstraintGenerator.cpp b/generator/ConstraintGenerator.cpp
@@ -672,7 +672,8 @@ bool ConstraintGenerator::visit(ArrayAccessAST* ast)
     ENSURE_NONEMPTY_TYPE_STACK(return false);
     writer_->writeEquivRel(types_.top(), std::get<2>(a1a2a3));
 
-    writer_->writeEquivRel(std::get<1>(a1a2a3), kSizeTy);
+    /* used to be kSizeTy, but size_t is not built-in */
+    writer_->writeEquivRel(std::get<1>(a1a2a3), kIntTy);
 
     return false;
 }

Original file line number	Diff line number	Diff line change
`@@ -672,7 +672,8 @@ bool ConstraintGenerator::visit(ArrayAccessAST* ast)`
`672`	`672`	`ENSURE_NONEMPTY_TYPE_STACK(return false);`
`673`	`673`	`writer_->writeEquivRel(types_.top(), std::get<2>(a1a2a3));`
`674`	`674`
`675`		`- writer_->writeEquivRel(std::get<1>(a1a2a3), kSizeTy);`
	`675`	`+ /* used to be kSizeTy, but size_t is not built-in */`
	`676`	`+ writer_->writeEquivRel(std::get<1>(a1a2a3), kIntTy);`
`676`	`677`
`677`	`678`	`return false;`
`678`	`679`	`}`