Revers Analyzer to old state to move any Analyzer changes to a sepera…

…te PR
googleprojectzero · Aug 22, 2024 · 481be3c · 481be3c
1 parent 1807044
commit 481be3c
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 5 deletions.
diff --git a/Sources/Fuzzilli/Compiler/Compiler.swift b/Sources/Fuzzilli/Compiler/Compiler.swift
@@ -446,6 +446,7 @@ public class JavaScriptCompiler {
         case .breakStatement:
             // If we're in both .loop and .switch context, then the loop must be the most recent context 
             // (switch blocks don't propagate an outer .loop context) so we just need to check for .loop here
+            // TODO remove this comment once the Analyzer bug fixs has been merged. Until then the code in this switch case is buggy.
             if contextAnalyzer.context.contains(.loop){
                 emit(LoopBreak())
             } else if contextAnalyzer.context.contains(.switchBlock){

diff --git a/Sources/Fuzzilli/FuzzIL/Analyzer.swift b/Sources/Fuzzilli/FuzzIL/Analyzer.swift
@@ -168,11 +168,6 @@ struct ContextAnalyzer: Analyzer {
 
                 newContext.formUnion(contextStack.secondToTop)
             }
-            if (instr.op.contextOpened.contains(.switchBlock)) {
-                newContext.remove(.loop)
-            } else if (instr.op.contextOpened.contains(.loop)) {
-                newContext.remove(.switchBlock)
-            }
             contextStack.push(newContext)
         }
     }