summaryrefslogtreecommitdiff
path: root/src/ir/analysis/sizedness.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/ir/analysis/sizedness.rs')
-rw-r--r--src/ir/analysis/sizedness.rs4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/ir/analysis/sizedness.rs b/src/ir/analysis/sizedness.rs
index e82c1798..e49b2570 100644
--- a/src/ir/analysis/sizedness.rs
+++ b/src/ir/analysis/sizedness.rs
@@ -295,6 +295,10 @@ impl<'ctx> MonotoneFramework for SizednessAnalysis<'ctx> {
trace!(" arrays of > 0 elements are not zero-sized");
self.insert(id, SizednessResult::NonZeroSized)
}
+ TypeKind::Vector(..) => {
+ trace!(" vectors are not zero-sized");
+ self.insert(id, SizednessResult::NonZeroSized)
+ }
TypeKind::Comp(ref info) => {
trace!(" comp considers its own fields and bases");