You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It looks like the first patch changes the function signature, but then the third patch changes it back, so that would be OK, if these are all merged together.
Eli, what do you think about merging these patches?
Extended Description
These commits fix a crash (reported in #38525 ) that was introduced in version 3.9 and poses a major issue in KLEE.
Can the following patches be merged into release_70? Or would these changes need to be backported without modifications in any function signatures?
https://reviews.llvm.org/rL344454
https://reviews.llvm.org/rL344455
https://reviews.llvm.org/rL344645
The text was updated successfully, but these errors were encountered: