• Clemens Backes's avatar
    [wasm][fuzzer] Check for nondeterminism in all fuzzers · 388a317c
    Clemens Backes authored
    The "wasm fuzzer" and "wasm async fuzzer" use the
    {InterpretAndExecuteModule} function, which did not check for possible
    nondeterminism in the interpreter yet. This can lead to wrong reports
    of mismatches, or in endless loops being executed in compiled code which
    was not executed in the interpreter.
    
    This CL adds the check for nondeterminism in that function, and adds a
    TODO to merge the two very similar methods.
    
    R=ahaas@chromium.org
    
    Bug: chromium:1112099, chromium:1113681
    Change-Id: I80b01d4c53d04f0632807fa852147dc9fb8075ca
    Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/2346280
    Commit-Queue: Clemens Backes <clemensb@chromium.org>
    Reviewed-by: 's avatarAndreas Haas <ahaas@chromium.org>
    Cr-Commit-Position: refs/heads/master@{#69324}
    388a317c
wasm-fuzzer-common.cc 15.1 KB