Florian Hahn 5e4966cbae
[LV] Add test with an integer induction based on a ptr one.
Reduced test case from the reproducer mentioned in
073c27b5e5851f13d99.
2022-01-14 15:56:47 +00:00
..