Fixing symbolic pass according to error caught in LFortran

lcompilers / lpython

Python compiler

https://lpython.org/

Other

1.37k stars 157 forks source link

Fixing symbolic pass according to error caught in LFortran #2565

Closed anutosh491 closed 4 months ago

anutosh491 commented 4 months ago

Fixes #2553

Anytime before we make a call to process_attributes, it is essential that we check whether the logical intrinsic function is symbolic based, and that is being done in this PR through a bool check.

anutosh491 commented 4 months ago

cc @HarshitaKalani I think once this PR is merged and the the sync from lpython to lfortran is completed, you can go ahead and enable the symbolic pass back in lfortran. Thanks for bringing this bug to my notice.

anutosh491 commented 4 months ago

@certik I think this would do. If you see any vulnerabilites here, I shall address it in subsequent PRs. Merging !