diff options
Diffstat (limited to 'src/ir/analysis/sizedness.rs')
| -rw-r--r-- | src/ir/analysis/sizedness.rs | 4 |
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"); |