Ensure that all values in FnAttribute::NonNull are positive

GuillaumeGomez · GuillaumeGomez · commit ad6a7a6c4fa0 · 2023-10-11T00:24:03.000+02:00
diff --git a/src/function.rs b/src/function.rs
@@ -80,7 +80,10 @@ impl<'a> FnAttribute<'a> {
             | FnAttribute::Pure
             | FnAttribute::Const
             | FnAttribute::Weak => AttributeValue::None,
-            FnAttribute::NonNull(ref value) => AttributeValue::IntArray(value),
+            FnAttribute::NonNull(ref value) => {
+                debug_assert!(value.iter().all(|attr| *attr >= 0));
+                AttributeValue::IntArray(value)
+            }
         }
     }
 

Original file line number	Diff line number	Diff line change
`@@ -80,7 +80,10 @@ impl<'a> FnAttribute<'a> {`
`80`	`80`	`\| FnAttribute::Pure`
`81`	`81`	`\| FnAttribute::Const`
`82`	`82`	`\| FnAttribute::Weak => AttributeValue::None,`
`83`		`- FnAttribute::NonNull(ref value) => AttributeValue::IntArray(value),`
	`83`	`+ FnAttribute::NonNull(ref value) => {`
	`84`	`+ debug_assert!(value.iter().all(\|attr\| *attr >= 0));`
	`85`	`+ AttributeValue::IntArray(value)`
	`86`	`+ }`
`84`	`87`	`}`
`85`	`88`	`}`
`86`	`89`