1 files changed, 7 insertions, 1 deletions
diff --git a/Examples/test-suite/li_constraints.i b/Examples/test-suite/li_constraints.i
index 1bbecf180..675d334af 100644
--- a/Examples/test-suite/li_constraints.i
+++ b/Examples/test-suite/li_constraints.i
@@ -11,7 +11,7 @@ void test_nonpositive(double NONPOSITIVE) {
 void test_positive(double POSITIVE) {
 }
 
-void test_negative(double POSITIVE) {
+void test_negative(double NEGATIVE) {
 }
 
 void test_nonzero(double NONZERO) {
@@ -20,6 +20,12 @@ void test_nonzero(double NONZERO) {
 void test_nonnull(void *NONNULL) {
 }
 
+/* Provide a non null void pointer for test_nonnull */
+void* get_nonnull() {
+    static int i;
+    return &i;
+}
+
 /* These generated non-portable code and there isn't an obvious fix
 
 void test_align8(void *ALIGN8) {