This PR add forwards and backwards soundness checks for transfer dialect #434
Hatsunespica
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
10 errors and 1 warning
|
build (3.10):
xdsl_smt/cli/transfer_function_verifier.py#L254
Type of "data" is partially unknown
Type of "data" is "tuple[Unknown, ...]" (reportUnknownMemberType)
|
|
build (3.10):
xdsl_smt/cli/transfer_function_verifier.py#L254
Type of "attr" is unknown (reportUnknownVariableType)
|
|
build (3.10):
xdsl_smt/cli/transfer_function_verifier.py#L256
Type of "append" is partially unknown
Type of "append" is "(__object: Unknown, /) -> None" (reportUnknownMemberType)
|
|
build (3.10):
xdsl_smt/cli/transfer_function_verifier.py#L257
Return type, "list[Unknown]", is partially unknown (reportUnknownVariableType)
|
|
build (3.10):
xdsl_smt/cli/transfer_function_verifier.py#L645
Argument of type "list[int] | None" cannot be assigned to parameter "int_attr_arg" of type "list[int]" in function "__init__"
Type "list[int] | None" cannot be assigned to type "list[int]"
Type "None" cannot be assigned to type "list[int]" (reportGeneralTypeIssues)
|
|
build (3.10):
xdsl_smt/cli/transfer_smt_verifier.py#L207
Argument of type "VarOpResult" cannot be assigned to parameter "pair" of type "SSAValue" in function "__init__"
"VarOpResult" is incompatible with "SSAValue" (reportGeneralTypeIssues)
|
|
build (3.10):
xdsl_smt/cli/transfer_smt_verifier.py#L302
Condition will always evaluate to True since the types "DefineFunOp" and "None" have no overlap (reportUnnecessaryComparison)
|
|
build (3.10):
xdsl_smt/cli/transfer_smt_verifier.py#L306
Argument of type "VarOpResult" cannot be assigned to parameter "pair" of type "SSAValue" in function "__init__"
"VarOpResult" is incompatible with "SSAValue" (reportGeneralTypeIssues)
|
|
build (3.10):
xdsl_smt/cli/transfer_smt_verifier.py#L836
"func_name_to_abs_op_constraint" is not defined (reportUndefinedVariable)
|
|
build (3.10):
xdsl_smt/cli/transfer_smt_verifier.py#L838
Cannot access member "data" for type "Attribute"
Member "data" is unknown (reportGeneralTypeIssues)
|
|
build (3.10)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-python@v4, jakebailey/pyright-action@v1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|