Created attachment 513638 [details] [diff] [review] Always pass writeOpcodeVerified() calls through the pipeline The patch for 569321 introduced an optional pipeline stage RestArgAnalyzer. Its apparent purpose is to intercept writes of certain opcodes from the verifier in order to perform a conservative escape analysis on rest arguments. The usual expectation is that handlers overridden in a pipeline stage should eventually delegate to the like-named handler in the following stage, and that is mostly observed here. However, if the analysis has failed (e.g., a possible escape is detected), we exit RestArgAnalyzer::writeOpcodeVerified() prior to such delegation.
changeset: 5963:b581a98b6f60 user: William Maddox <email@example.com> summary: Bug 635422 - Always pass calls through the pipeline in RestArgAnalyzer::writeOpcodeVerified() (r=lhansen) http://hg.mozilla.org/tamarin-redux/rev/b581a98b6f60
Assignee: nobody → wmaddox
Status: NEW → RESOLVED
Last Resolved: 8 years ago
Resolution: --- → FIXED
You need to log in before you can comment on or make changes to this bug.