SE - Non-nullable value types: Add SizeOf tests (#6906)

SonarSource · Mar 14, 2023 · 659c27c · 659c27c
1 parent 03668db
commit 659c27c
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/...SonarAnalyzer.UnitTest/SymbolicExecution/Roslyn/RoslynSymbolicExecutionTest.Operations.cs b/...SonarAnalyzer.UnitTest/SymbolicExecution/Roslyn/RoslynSymbolicExecutionTest.Operations.cs
@@ -595,6 +595,17 @@ public void InstanceReference_SetsNotNull_CS()
             validator.ValidateTag("This", x => x.HasConstraint(ObjectConstraint.NotNull).Should().BeTrue());
         }
 
+        [TestMethod]
+        public void SizeOf_SetNotNullconstraint()
+        {
+            var code = """
+                var size = sizeof(int);
+                Tag("Size", size);
+                """;
+            var validator = SETestContext.CreateCS(code).Validator;
+            validator.ValidateTag("Size", x => x.Should().HaveOnlyConstraint(ObjectConstraint.NotNull));
+        }
+
         [DataTestMethod]
         [DataRow("[ValidatedNotNull]")]
         [DataRow("[ValidatedNotNullAttribute]")]