Proof generation for CFG optimizations (Block coalescing and pruning of unreachable blocks) #68
Annotations
10 warnings
|
Compile Boogie proof generation:
Source/ProofGenUtil/ObjectExtensions.cs#L105
Nullability of type of parameter 'x' doesn't match overridden member (possibly because of nullability attributes).
|
|
Compile Boogie proof generation:
Source/ProofGenUtil/ObjectExtensions.cs#L105
Nullability of type of parameter 'y' doesn't match overridden member (possibly because of nullability attributes).
|
|
Compile Boogie proof generation:
Source/ProofGenUtil/ObjectExtensions.cs#L85
Cannot convert null literal to non-nullable reference type.
|
|
Compile Boogie proof generation:
Source/ProofGenUtil/ObjectExtensions.cs#L47
Possible null reference return.
|
|
Compile Boogie proof generation:
Source/ProofGenUtil/ObjectExtensions.cs#L51
Possible null reference return.
|
|
Compile Boogie proof generation:
Source/ProofGenUtil/ObjectExtensions.cs#L56
Possible null reference argument for parameter 'type' in 'bool ObjectExtensions.IsPrimitive(Type type)'.
|
|
Compile Boogie proof generation:
Source/ProofGenUtil/ObjectExtensions.cs#L58
Converting null literal or possible null value to non-nullable type.
|
|
Compile Boogie proof generation:
Source/ProofGenUtil/ObjectExtensions.cs#L59
Possible null reference argument for parameter 'array' in 'void ArrayExtensions.ForEach(Array array, Action<Array, int[]> action)'.
|
|
Compile Boogie proof generation:
Source/ProofGenUtil/ObjectExtensions.cs#L60
Dereference of a possibly null reference.
|
|
Compile Boogie proof generation:
Source/ProofGenUtil/ObjectExtensions.cs#L60
Possible null reference argument for parameter 'originalObject' in 'object ObjectExtensions.InternalCopy(object originalObject, IDictionary<object, object> visited, Predicate<Type> deepCopyPred)'.
|
Loading