Merge pull request #26 from kelnishi/precomputed-labels #69
kelnishiAnnotations
10 warnings
|
build-and-test:
Wacs.Core/Modules/Sections/StackCalculator.cs#L219
Nullability of reference types in type of parameter 'objIsNotNull' of 'void StackCalculator.Assert(object objIsNotNull, string message)' doesn't match implicitly implemented member 'void IWasmValidationContext.Assert(object? objIsNotNull, string message)' (possibly because of nullability attributes).
|
|
build-and-test:
Wacs.Core/Types/IndexSpace.cs#L77
Introducing a 'Finalize' method can interfere with destructor invocation. Did you intend to declare a destructor?
|
|
build-and-test:
Wacs.Core/Instructions/Control.cs#L74
Non-nullable field 'Block' must contain a non-null value when exiting constructor. Consider adding the 'required' modifier or declaring the field as nullable.
|
|
build-and-test:
Wacs.Core/Instructions/IBlockInstruction.cs#L40
Non-nullable field 'EnclosingBlock' must contain a non-null value when exiting constructor. Consider adding the 'required' modifier or declaring the field as nullable.
|
|
build-and-test:
Wacs.Core/Instructions/IBlockInstruction.cs#L41
Non-nullable field 'Label' must contain a non-null value when exiting constructor. Consider adding the 'required' modifier or declaring the field as nullable.
|
|
build-and-test:
Wacs.Core/Instructions/LocalVariable.cs#L85
Dereference of a possibly null reference.
|
|
build-and-test:
Wacs.Core/Instructions/LocalVariable.cs#L144
Dereference of a possibly null reference.
|
|
build-and-test:
Wacs.Core/Instructions/LocalVariable.cs#L156
Dereference of a possibly null reference.
|
|
build-and-test:
Wacs.Core/Instructions/LocalVariable.cs#L209
Dereference of a possibly null reference.
|
|
build-and-test:
Wacs.Core/Runtime/Types/FunctionInstance.cs#L35
Non-nullable field 'Body' must contain a non-null value when exiting constructor. Consider adding the 'required' modifier or declaring the field as nullable.
|