diff options
author | Alastair Donaldson <afdx@google.com> | 2020-09-30 00:12:49 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-30 00:12:49 +0300 |
commit | fcb22ecf0f7e7baa761c7ab01317cca5b14fcc35 (patch) | |
tree | 24dc965c15da9f7a1b484ab5dbac76d41baaeadc /tools | |
parent | c6ca885c0b4af75735944c725be56b642a77b17d (diff) |
spirv-fuzz: Report fresh ids in transformations (#3856)
Adds a virtual method, GetFreshIds(), to Transformation. Every
transformation uses this to indicate which ids in its protobuf message
are fresh ids. This means that when replaying a sequence of
transformations the replayer can obtain a smallest id that is not in
use by the module already and that will not be used by any
transformation by necessity. Ids greater than or equal to this id
can be used as overflow ids.
Fixes #3851.
Diffstat (limited to 'tools')
-rw-r--r-- | tools/fuzz/fuzz.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/fuzz/fuzz.cpp b/tools/fuzz/fuzz.cpp index d19904b42..97d3af912 100644 --- a/tools/fuzz/fuzz.cpp +++ b/tools/fuzz/fuzz.cpp @@ -478,7 +478,7 @@ bool Replay(const spv_target_env& target_env, spvtools::fuzz::Replayer( target_env, spvtools::utils::CLIMessageConsumer, binary_in, initial_facts, transformation_sequence, num_transformations_to_apply, - 0, fuzzer_options->replay_validation_enabled, validator_options) + fuzzer_options->replay_validation_enabled, validator_options) .Run(); replay_result.transformed_module->module()->ToBinary(binary_out, false); *transformations_applied = std::move(replay_result.applied_transformations); |