Override ctypes.c_void_p.__eq__ to compare pointers correctly

czgdp1807 · czgdp1807 · commit 1b162b940fbc · 2023-05-16T19:09:37.000+05:30
diff --git a/integration_tests/bindc_01.py b/integration_tests/bindc_01.py
@@ -8,6 +8,7 @@
 def test_issue_1781():
     p: CPtr = empty_c_void_p()
     assert p == empty_c_void_p()
+    assert not (p != empty_c_void_p())
 
 
 test_issue_1781()
diff --git a/src/runtime/lpython/lpython.py b/src/runtime/lpython/lpython.py
@@ -510,7 +510,15 @@ def p_c_pointer(ptr, cptr):
         cptr.value = id(ptr)
 
 def empty_c_void_p():
-    return ctypes.c_void_p()
+    class ctypes_c_void_p(ctypes.c_void_p):
+
+        def __eq__(self, value):
+            return self.value == value.value
+
+        def __repr__(self):
+            return str(self.value)
+
+    return ctypes_c_void_p()
 
 def sizeof(arg):
     return ctypes.sizeof(convert_type_to_ctype(arg))
diff --git a/tests/reference/asr-bindc_01-6d521a9.json b/tests/reference/asr-bindc_01-6d521a9.json
@@ -2,11 +2,11 @@
     "basename": "asr-bindc_01-6d521a9",
     "cmd": "lpython --show-asr --no-color {infile} -o {outfile}",
     "infile": "tests/../integration_tests/bindc_01.py",
-    "infile_hash": "4a4dbf4bd341ab197e648f5cbc66bfc49d87efcae7eaed047b002eb5",
+    "infile_hash": "3cfb601d3294c470842a85777832f5582ab52cb5bd64c0e02d40deb6",
     "outfile": null,
     "outfile_hash": null,
     "stdout": "asr-bindc_01-6d521a9.stdout",
-    "stdout_hash": "62629184ea444de549e9ad92da90c7f1c37861076a22e47704676527",
+    "stdout_hash": "d02c57ff6ddb41568c291b11a31301870bf2bc3a970461a71ec23a9d",
     "stderr": null,
     "stderr_hash": null,
     "returncode": 0
diff --git a/tests/reference/asr-bindc_01-6d521a9.stdout b/tests/reference/asr-bindc_01-6d521a9.stdout
@@ -132,6 +132,22 @@
                                             ()
                                         )
                                         ()
+                                    )
+                                    (Assert
+                                        (LogicalNot
+                                            (CPtrCompare
+                                                (Var 2 p)
+                                                NotEq
+                                                (PointerNullConstant
+                                                    (CPtr)
+                                                )
+                                                (Logical 4 [])
+                                                ()
+                                            )
+                                            (Logical 4 [])
+                                            ()
+                                        )
+                                        ()
                                     )]
                                     ()
                                     Public
diff --git a/tests/reference/llvm-bindc_01-c984f09.json b/tests/reference/llvm-bindc_01-c984f09.json
@@ -2,11 +2,11 @@
     "basename": "llvm-bindc_01-c984f09",
     "cmd": "lpython --no-color --show-llvm {infile} -o {outfile}",
     "infile": "tests/../integration_tests/bindc_01.py",
-    "infile_hash": "4a4dbf4bd341ab197e648f5cbc66bfc49d87efcae7eaed047b002eb5",
+    "infile_hash": "3cfb601d3294c470842a85777832f5582ab52cb5bd64c0e02d40deb6",
     "outfile": null,
     "outfile_hash": null,
     "stdout": "llvm-bindc_01-c984f09.stdout",
-    "stdout_hash": "11b95423195015653cffd81f8014d33dc5d96ab4cf35ecbfa16a583c",
+    "stdout_hash": "c5c25a152a73e36c8391fe23496ff8492c2bed706491e6f3db345bfe",
     "stderr": null,
     "stderr_hash": null,
     "returncode": 0
diff --git a/tests/reference/llvm-bindc_01-c984f09.stdout b/tests/reference/llvm-bindc_01-c984f09.stdout
@@ -7,6 +7,7 @@ source_filename = "LFortran"
 @1 = private unnamed_addr constant [2 x i8] c"\0A\00", align 1
 @2 = private unnamed_addr constant [13 x i8] c"%lld%s%lld%s\00", align 1
 @3 = private unnamed_addr constant [16 x i8] c"AssertionError\0A\00", align 1
+@4 = private unnamed_addr constant [16 x i8] c"AssertionError\0A\00", align 1
 
 define void @__module__global_symbols__lpython_main_program() {
 .entry:
@@ -43,9 +44,24 @@ else:                                             ; preds = %.entry
   br label %ifcont
 
 ifcont:                                           ; preds = %else, %then
+  %3 = load void*, void** %p, align 8
+  %4 = ptrtoint void* %3 to i64
+  %5 = icmp ne i64 %4, 0
+  %6 = xor i1 %5, true
+  br i1 %6, label %then1, label %else2
+
+then1:                                            ; preds = %ifcont
+  br label %ifcont3
+
+else2:                                            ; preds = %ifcont
+  call void (i8*, ...) @_lcompilers_print_error(i8* getelementptr inbounds ([16 x i8], [16 x i8]* @4, i32 0, i32 0))
+  call void @exit(i32 1)
+  br label %ifcont3
+
+ifcont3:                                          ; preds = %else2, %then1
   br label %return
 
-return:                                           ; preds = %ifcont
+return:                                           ; preds = %ifcont3
   ret void
 }
 
