Add a test for issue #3237

[Vasniktel]

Test for #3237.

[Vasniktel]

This file is used as a donor in the test case (compiled using clspv).

[Vasniktel]

It seems I messed with the git here :)

[Vasniktel]

It seems that FuzzerPassDonateModules doesn't support StorageBuffer storage class here.

SPIRV-Tools/source/fuzz/fuzzer_pass_donate_modules.cpp

Lines 114 to 135 in bd0a2da

	SpvStorageClass FuzzerPassDonateModules::AdaptStorageClass(
	SpvStorageClass donor_storage_class) {
	switch (donor_storage_class) {
	case SpvStorageClassFunction:
	case SpvStorageClassPrivate:
	case SpvStorageClassWorkgroup:
	// We leave these alone
	return donor_storage_class;
	case SpvStorageClassInput:
	case SpvStorageClassOutput:
	case SpvStorageClassUniform:
	case SpvStorageClassUniformConstant:
	case SpvStorageClassPushConstant:
	case SpvStorageClassImage:
	// We change these to Private
	return SpvStorageClassPrivate;
	default:
	// Handle other cases on demand.
	assert(false && "Currently unsupported storage class.");
	return SpvStorageClassMax;
	}
	}

@afd, should I create an issue?

[afd]

@Vasniktel yes please

[Vasniktel]

@afd added an issue #3347.

[afd]

Can you please rebase, @Vasniktel ?

[Vasniktel]

Can you please rebase, @Vasniktel ?

Done.

[afd]

@Vasniktel This is still failing CI due to a missing storage class. However, I believe you added that via 5225616. Did you definitely rebase against master having updated master to be past 5225616?

[Vasniktel]

@afd I'm pretty sure I did. I'll investigate more.

[paulthomson]

The rebase looks correct

[Vasniktel]

The problem occurs here

SPIRV-Tools/source/fuzz/fuzzer_pass_donate_modules.cpp

Lines 542 to 545 in 3c47dac

	default: {
	assert(0 && "Unknown type/value.");
	new_result_id = 0;
	} break;

It seems that FuzzerPassDonateModules doesn't support OpSpecConstant instructions.