Missing `this` local in `instance_init` and `static_init`

There is no `this` local in `%instInit` method.

```(typescript)
class SimpleClass {
    static x: number = 5;
}
```

For example, the following representation is `%instInit` generated for the empty class. There is an assignment of the local named `this` but the local was not added to `locals`.
```
{
  "signature": {
    "declaringClass": {
      "name": "SimpleClass",
      "declaringFile": {
        "projectName": "single-file",
        "fileName": "emptyInitLocals.ts"
      },
      "declaringNamespace": null
    },
    "name": "%instInit",
    "parameters": [],
    "returnType": {
      "_": "UnknownType"
    }
  },
  "modifiers": 0,
  "decorators": [],
  "body": {
    "locals": [],
    "cfg": {
      "blocks": [
        {
          "id": 0,
          "successors": [],
          "predecessors": [],
          "stmts": [
            {
              "_": "AssignStmt",
              "left": {
                "_": "Local",
                "name": "this",
                "type": {
                  "_": "ClassType",
                  "signature": {
                    "name": "SimpleClass",
                    "declaringFile": {
                      "projectName": "single-file",
                      "fileName": "emptyInitLocals.ts"
                    },
                    "declaringNamespace": null
                  }
                }
              },
              "right": {
                "_": "ThisRef",
                "type": {
                  "_": "ClassType",
                  "signature": {
                    "name": "SimpleClass",
                    "declaringFile": {
                      "projectName": "single-file",
                      "fileName": "emptyInitLocals.ts"
                    },
                    "declaringNamespace": null
                  }
                }
              }
            },
            {
              "_": "ReturnVoidStmt"
            }
          ]
        }
      ]
    }
  }
}
```

There is the same issue about `%statInit`. The method body contains an assignment of the local `this`, but this local is missing in the `locals`. 
```
{
  "signature": {
    "declaringClass": {
      "name": "SimpleClass",
      "declaringFile": {
        "projectName": "single-file",
        "fileName": "emptyInitLocals.ts"
      },
      "declaringNamespace": null
    },
    "name": "%statInit",
    "parameters": [],
    "returnType": {
      "_": "UnknownType"
    }
  },
  "modifiers": 0,
  "decorators": [],
  "body": {
    "locals": [],
    "cfg": {
      "blocks": [
        {
          "id": 0,
          "successors": [],
          "predecessors": [],
          "stmts": [
            {
              "_": "AssignStmt",
              "left": {
                "_": "Local",
                "name": "this",
                "type": {
                  "_": "ClassType",
                  "signature": {
                    "name": "SimpleClass",
                    "declaringFile": {
                      "projectName": "single-file",
                      "fileName": "emptyInitLocals.ts"
                    },
                    "declaringNamespace": null
                  }
                }
              },
              "right": {
                "_": "ThisRef",
                "type": {
                  "_": "ClassType",
                  "signature": {
                    "name": "SimpleClass",
                    "declaringFile": {
                      "projectName": "single-file",
                      "fileName": "emptyInitLocals.ts"
                    },
                    "declaringNamespace": null
                  }
                }
              }
            },
            {
              "_": "AssignStmt",
              "left": {
                "_": "InstanceFieldRef",
                "instance": {
                  "_": "Local",
                  "name": "this",
                  "type": {
                    "_": "ClassType",
                    "signature": {
                      "name": "SimpleClass",
                      "declaringFile": {
                        "projectName": "single-file",
                        "fileName": "emptyInitLocals.ts"
                      },
                      "declaringNamespace": null
                    }
                  }
                },
                "field": {
                  "declaringClass": {
                    "name": "SimpleClass",
                    "declaringFile": {
                      "projectName": "single-file",
                      "fileName": "emptyInitLocals.ts"
                    },
                    "declaringNamespace": null
                  },
                  "name": "x",
                  "type": {
                    "_": "NumberType"
                  }
                }
              },
              "right": {
                "_": "Constant",
                "value": "5",
                "type": {
                  "_": "NumberType"
                }
              }
            },
            {
              "_": "ReturnVoidStmt"
            }
          ]
        }
      ]
    }
  }
}
```

OpenHarmony-SIG/arkanalyzer
关闭

内容风险标识

评论 (0)

OpenHarmony-SIG/arkanalyzer关闭 .gitee-modal { width: 500px !important; }

内容风险标识