Merge pull request #2535 from anutosh491/if_1

Fixed visit_if for SymbolicCompare cases

integration_tests/CMakeLists.txt

@@ -728,6 +728,7 @@ RUN(NAME symbolics_14        LABELS cpython_sym c_sym llvm_sym NOFAST)
 RUN(NAME test_gruntz         LABELS cpython_sym c_sym llvm_sym NOFAST)
 RUN(NAME symbolics_15        LABELS c_sym llvm_sym NOFAST)
 RUN(NAME symbolics_16        LABELS cpython_sym c_sym llvm_sym NOFAST)
+RUN(NAME symbolics_17        LABELS cpython_sym c_sym llvm_sym NOFAST)
 
 RUN(NAME sizeof_01           LABELS llvm c
         EXTRAFILES sizeof_01b.c)

integration_tests/symbolics_17.py

@@ -0,0 +1,10 @@
+from lpython import S
+from sympy import Symbol, pi
+
+def test_main():
+    x: S = Symbol('x')
+    if x != pi:
+        print(x != pi)
+        assert x != pi
+
+test_main()

src/libasr/pass/replace_symbolic.cpp

@@ -698,7 +698,9 @@ class ReplaceSymbolicVisitor : public PassUtils::PassVisitor<ReplaceSymbolicVisi
             } else {
                 function_call = basic_compare(xx.base.base.loc, "basic_neq", s->m_left, s->m_right);
             }
-            xx.m_test = function_call;
+            ASR::stmt_t* stmt = ASRUtils::STMT(ASR::make_If_t(al, xx.base.base.loc, function_call,
+                xx.m_body, xx.n_body, xx.m_orelse, xx.n_orelse));
+            pass_result.push_back(al, stmt);
         }
     }