Skip to content

Sync with Pro#474

Open
semgrep-ci[bot] wants to merge 1 commit into
mainfrom
sync-with-pro-1780533217
Open

Sync with Pro#474
semgrep-ci[bot] wants to merge 1 commit into
mainfrom
sync-with-pro-1780533217

Conversation

@semgrep-ci

@semgrep-ci semgrep-ci Bot commented Jun 4, 2026

Copy link
Copy Markdown
Contributor 
Active Pro revision: 1bdbc18d8213e50c99375044b0b85f522a7cdac5
OSS repo was last synced with Pro commit: da117d9f606a54e88399d8cdb74588fb0943217e
Synchronizing OSS repo with Pro commit 1bdbc18d8213e50c99375044b0b85f522a7cdac5
There are 3 commit(s) to sync.
Syncing...
* 33c9293b32c feat: Add more folding operators for constprop (#6456)
* Skipping (empty) 774f5e00da3
* Skipping (empty) 1bdbc18d821
Success!

@SolomonGraf
feat: Add more folding operators for constprop (semgrep/semgrep-propr…
d6c220b 
…ietary#6456)

Addresses ENGINE-2789

Adds support for many more operators for constant folding in
`Eval_generic_partial.ml` and refactors code
- Support for : subtraction, division (when a mod b = 0), modulo, floor
division, exponentiation, bit ops, bit shifts, comparisons, unary plus
and minus, and nullish (JS)

Test plan: Added a bunch of tests for regular functionality and edge
cases

synced from Pro 33c9293b32c186a90ab3c21150df7bfe6a76c00e
@github-actions

github-actions Bot commented Jun 4, 2026

Copy link
Copy Markdown

opam exec -- ./scripts/check-backwards-compatibility
Backwards compatibility summary:
Checking backward compatibility of semgrep_output_v1.atd against past version v1.100.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.101.0
Skipping v1.102.0 because commit 1c82453 has already been checked
Checking backward compatibility of semgrep_output_v1.atd against past version v1.103.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.104.0
Skipping v1.106.0 because commit 5e0c767 has already been checked
Skipping v1.107.0 because commit 5e0c767 has already been checked
Checking backward compatibility of semgrep_output_v1.atd against past version v1.108.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.109.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.110.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.111.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.112.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.113.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.114.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.116.0
Skipping v1.117.0 because commit 5c6a8f5 has already been checked
Checking backward compatibility of semgrep_output_v1.atd against past version v1.118.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.119.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.120.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.121.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.122.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.123.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.124.0
Skipping v1.124.1 because commit 75ab2f3 has already been checked
Checking backward compatibility of semgrep_output_v1.atd against past version v1.125.0
Skipping v1.126.0 because commit 02c7c65 has already been checked
Checking backward compatibility of semgrep_output_v1.atd against past version v1.127.0
Skipping v1.127.1 because commit 80fa4d2 has already been checked
Skipping v1.128.0 because commit 80fa4d2 has already been checked
Skipping v1.128.1 because commit 80fa4d2 has already been checked
Checking backward compatibility of semgrep_output_v1.atd against past version v1.130.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.131.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.132.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.132.1
Checking backward compatibility of semgrep_output_v1.atd against past version v1.133.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.134.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.135.0
Skipping v1.136.0 because commit 85c728e has already been checked
Checking backward compatibility of semgrep_output_v1.atd against past version v1.137.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.137.1
Checking backward compatibility of semgrep_output_v1.atd against past version v1.138.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.139.0
Skipping v1.140.0 because commit 8baadf6 has already been checked
Skipping v1.141.0 because commit 8baadf6 has already been checked
Checking backward compatibility of semgrep_output_v1.atd against past version v1.142.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.143.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.144.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.145.0
Skipping v1.145.2 because commit e5da967 has already been checked
Checking backward compatibility of semgrep_output_v1.atd against past version v1.146.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.147.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.148.0
Skipping v1.149.0 because commit 88691c9 has already been checked
Checking backward compatibility of semgrep_output_v1.atd against past version v1.150.0
Skipping v1.151.0 because commit 60e20ce has already been checked
Checking backward compatibility of semgrep_output_v1.atd against past version v1.152.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.153.0
Skipping v1.153.1 because commit 7e509db has already been checked
Checking backward compatibility of semgrep_output_v1.atd against past version v1.154.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.155.0
Skipping v1.156.0 because commit 2564325 has already been checked
Checking backward compatibility of semgrep_output_v1.atd against past version v1.157.0
Skipping v1.158.0 because commit 8a09b2e has already been checked
Skipping v1.159.0 because commit 8a09b2e has already been checked
Skipping v1.160.0 because commit 8a09b2e has already been checked
Skipping v1.161.0 because commit 8a09b2e has already been checked
Skipping v1.162.0 because commit 8a09b2e has already been checked
Checking backward compatibility of semgrep_output_v1.atd against past version v1.163.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.164.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.165.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.75.0
Skipping v1.76.0 because commit 9102031 has already been checked
Checking backward compatibility of semgrep_output_v1.atd against past version v1.77.0
Skipping v1.78.0 because commit dcb5d77 has already been checked
Checking backward compatibility of semgrep_output_v1.atd against past version v1.79.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.80.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.81.0
Skipping v1.82.0 because commit 9e0f3be has already been checked
Skipping v1.83.0 because commit 9e0f3be has already been checked
Checking backward compatibility of semgrep_output_v1.atd against past version v1.84.0
Skipping v1.84.1 because commit 3daef49 has already been checked
Checking backward compatibility of semgrep_output_v1.atd against past version v1.85.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.86.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.87.0
Skipping v1.88.0 because commit 512c0bd has already been checked
Skipping v1.89.0 because commit 512c0bd has already been checked
Checking backward compatibility of semgrep_output_v1.atd against past version v1.90.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.91.0
Skipping v1.92.0 because commit 2351c5e has already been checked
Checking backward compatibility of semgrep_output_v1.atd against past version v1.93.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.94.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.95.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.96.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.97.0
Checking backward compatibility of semgrep_output_v1.atd against past version v1.98.0
Skipping v1.99.0 because commit 6080903 has already been checked

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@SolomonGraf