Cleanup #76
kelnishiAnnotations
10 warnings
|
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.
|
|
build-and-test:
Wacs.Core/Runtime/Store.cs#L48
Possible null reference return.
|