Project

General

Profile

Bug #10098

Some input files use unchecked or unsafe operations.

Added by Alexander Protsenko 9 months ago.

Status:
New
Priority:
Normal
Target version:
Start date:
02/05/2020
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

Log:

Model name: riscv
Revision: RV64FULL
Included: mmu/riscv.mmu
Copied ../extensions to C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target/gen/src/java
Buildfile: C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\bin\build.xml

build:
    [mkdir] Created dir: C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\bin
    [javac] Compiling 1529 source files to C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\bin
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\call.java:80: error: incompatible types: Location cannot be converted to Data
    [javac]     return String.format("%s%s", new auipc(new X(new Immediate(Data.valueOf(Type.CARD(5), 0x6))), new Immediate(vars__.tmp_delta.access().bitField(31, 12).load().add(Data.zeroExtend(Type.CARD(20), vars__.tmp_delta.access().bitField(11, 11).load())))).image(vars__), new jalr(new X(new Immediate(Data.valueOf(Type.CARD(5), 0x1))), new X(new Immediate(Data.valueOf(Type.CARD(5), 0x6))), new Immediate(Data.cast(Type.INT(12), vars__.tmp_delta.access().bitField(11, 0)))).image(vars__));
    [javac]                                                                                                                                                                                                                                                                                                                                                                                                                                                                          ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\call.java:89: error: incompatible types: Location cannot be converted to Data
    [javac]     new instruction(new jalr(new X(new Immediate(Data.valueOf(Type.CARD(5), 0x1))), new X(new Immediate(Data.valueOf(Type.CARD(5), 0x6))), new Immediate(Data.cast(Type.INT(12), delta.access(pe__, vars__).bitField(11, 0))))).execute(pe__, vars__);
    [javac]                                                                                                                                                                                                                     ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\fld_global.java:90: error: incompatible types: Location cannot be converted to Data
    [javac]     return String.format("%s%s", new auipc(rt, new Immediate(vars__.tmp_delta.access().bitField(31, 12).load().add(Data.zeroExtend(Type.CARD(20), vars__.tmp_delta.access().bitField(11, 11).load())))).image(vars__), new fld(rd, rt, new Immediate(Data.cast(Type.INT(12), vars__.tmp_delta.access().bitField(11, 0)))).image(vars__));
    [javac]                                                                                                                                                                                                                                                                                                                ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\fld_global.java:99: error: incompatible types: Location cannot be converted to Data
    [javac]     new instruction(new fld(rd, rt, new Immediate(Data.cast(Type.INT(12), delta.access(pe__, vars__).bitField(11, 0))))).execute(pe__, vars__);
    [javac]                                                                                                              ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\flw_global.java:90: error: incompatible types: Location cannot be converted to Data
    [javac]     return String.format("%s%s", new auipc(rt, new Immediate(vars__.tmp_delta.access().bitField(31, 12).load().add(Data.zeroExtend(Type.CARD(20), vars__.tmp_delta.access().bitField(11, 11).load())))).image(vars__), new flw(rd, rt, new Immediate(Data.cast(Type.INT(12), vars__.tmp_delta.access().bitField(11, 0)))).image(vars__));
    [javac]                                                                                                                                                                                                                                                                                                                ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\flw_global.java:99: error: incompatible types: Location cannot be converted to Data
    [javac]     new instruction(new flw(rd, rt, new Immediate(Data.cast(Type.INT(12), delta.access(pe__, vars__).bitField(11, 0))))).execute(pe__, vars__);
    [javac]                                                                                                              ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\fsd_global.java:90: error: incompatible types: Location cannot be converted to Data
    [javac]     return String.format("%s%s", new auipc(rt, new Immediate(vars__.tmp_delta.access().bitField(31, 12).load().add(Data.zeroExtend(Type.CARD(20), vars__.tmp_delta.access().bitField(11, 11).load())))).image(vars__), new fsd(rd, rt, new Immediate(Data.cast(Type.INT(12), vars__.tmp_delta.access().bitField(11, 0)))).image(vars__));
    [javac]                                                                                                                                                                                                                                                                                                                ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\fsd_global.java:99: error: incompatible types: Location cannot be converted to Data
    [javac]     new instruction(new fsd(rd, rt, new Immediate(Data.cast(Type.INT(12), delta.access(pe__, vars__).bitField(11, 0))))).execute(pe__, vars__);
    [javac]                                                                                                              ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\fsw_global.java:90: error: incompatible types: Location cannot be converted to Data
    [javac]     return String.format("%s%s", new auipc(rt, new Immediate(vars__.tmp_delta.access().bitField(31, 12).load().add(Data.zeroExtend(Type.CARD(20), vars__.tmp_delta.access().bitField(11, 11).load())))).image(vars__), new fsw(rd, rt, new Immediate(Data.cast(Type.INT(12), vars__.tmp_delta.access().bitField(11, 0)))).image(vars__));
    [javac]                                                                                                                                                                                                                                                                                                                ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\fsw_global.java:99: error: incompatible types: Location cannot be converted to Data
    [javac]     new instruction(new fsw(rd, rt, new Immediate(Data.cast(Type.INT(12), delta.access(pe__, vars__).bitField(11, 0))))).execute(pe__, vars__);
    [javac]                                                                                                              ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\la.java:85: error: incompatible types: Location cannot be converted to Data
    [javac]     return String.format("%s%s", new auipc(rd, new Immediate(vars__.tmp_delta.access().bitField(31, 12).load().add(Data.zeroExtend(Type.CARD(20), vars__.tmp_delta.access().bitField(11, 11).load())))).image(vars__), new addi(rd, rd, new Immediate(Data.cast(Type.INT(12), vars__.tmp_delta.access().bitField(11, 0)))).image(vars__));
    [javac]                                                                                                                                                                                                                                                                                                                 ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\la.java:94: error: incompatible types: Location cannot be converted to Data
    [javac]     new instruction(new addi(rd, rd, new Immediate(Data.cast(Type.INT(12), delta.access(pe__, vars__).bitField(11, 0))))).execute(pe__, vars__);
    [javac]                                                                                                               ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\lb_global.java:85: error: incompatible types: Location cannot be converted to Data
    [javac]     return String.format("%s%s", new auipc(rd, new Immediate(vars__.tmp_delta.access().bitField(31, 12).load().add(Data.zeroExtend(Type.CARD(20), vars__.tmp_delta.access().bitField(11, 11).load())))).image(vars__), new lb(rd, rd, new Immediate(Data.cast(Type.INT(12), vars__.tmp_delta.access().bitField(11, 0)))).image(vars__));
    [javac]                                                                                                                                                                                                                                                                                                               ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\lb_global.java:94: error: incompatible types: Location cannot be converted to Data
    [javac]     new instruction(new lb(rd, rd, new Immediate(Data.cast(Type.INT(12), delta.access(pe__, vars__).bitField(11, 0))))).execute(pe__, vars__);
    [javac]                                                                                                             ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\ld_global.java:85: error: incompatible types: Location cannot be converted to Data
    [javac]     return String.format("%s%s", new auipc(rd, new Immediate(vars__.tmp_delta.access().bitField(31, 12).load().add(Data.zeroExtend(Type.CARD(20), vars__.tmp_delta.access().bitField(11, 11).load())))).image(vars__), new ld(rd, rd, new Immediate(Data.cast(Type.INT(12), vars__.tmp_delta.access().bitField(11, 0)))).image(vars__));
    [javac]                                                                                                                                                                                                                                                                                                               ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\ld_global.java:94: error: incompatible types: Location cannot be converted to Data
    [javac]     new instruction(new ld(rd, rd, new Immediate(Data.cast(Type.INT(12), delta.access(pe__, vars__).bitField(11, 0))))).execute(pe__, vars__);
    [javac]                                                                                                             ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\lh_global.java:85: error: incompatible types: Location cannot be converted to Data
    [javac]     return String.format("%s%s", new auipc(rd, new Immediate(vars__.tmp_delta.access().bitField(31, 12).load().add(Data.zeroExtend(Type.CARD(20), vars__.tmp_delta.access().bitField(11, 11).load())))).image(vars__), new lh(rd, rd, new Immediate(Data.cast(Type.INT(12), vars__.tmp_delta.access().bitField(11, 0)))).image(vars__));
    [javac]                                                                                                                                                                                                                                                                                                               ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\lh_global.java:94: error: incompatible types: Location cannot be converted to Data
    [javac]     new instruction(new lh(rd, rd, new Immediate(Data.cast(Type.INT(12), delta.access(pe__, vars__).bitField(11, 0))))).execute(pe__, vars__);
    [javac]                                                                                                             ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\lh_global2.java:92: error: incompatible types: Location cannot be converted to Data
    [javac]     return String.format("%s%s", new auipc(rd, new Immediate(vars__.tmp_word.access().bitField(31, 12).load().add(Data.zeroExtend(Type.CARD(20), vars__.tmp_word.access().bitField(11, 11).load())))).image(vars__), new lh(rd, rd, new Immediate(Data.cast(Type.INT(12), vars__.tmp_word.access().bitField(11, 0)))).image(vars__));
    [javac]                                                                                                                                                                                                                                                                                                            ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\lh_global2.java:101: error: incompatible types: Location cannot be converted to Data
    [javac]     new instruction(new lh(rd, rd, new Immediate(Data.cast(Type.INT(12), vars__.tmp_word.access().bitField(11, 0))))).execute(pe__, vars__);
    [javac]                                                                                                           ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\li.java:77: error: incompatible types: Location cannot be converted to Data
    [javac]     return String.format("%s", ((imm.access().bitField(63, 11).load().equals(Data.valueOf(Type.CARD(53), 0x0)) || imm.access().bitField(63, 11).load().equals(Data.valueOf(Type.CARD(53), 0x1fffffffffffffL))) ? new addi(rd, new X(new Immediate(Data.valueOf(Type.CARD(5), 0x0))), new Immediate(Data.cast(Type.INT(12), imm.access().bitField(11, 0)))).image(vars__) : ((imm.access().bitField(63, 31).load().equals(Data.valueOf(Type.CARD(33), 0x0)) && imm.access().bitField(11, 11).load().equals(Data.valueOf(Type.CARD(1), 0x0)) || imm.access().bitField(63, 31).load().equals(Data.valueOf(Type.CARD(33), 0x1ffffffffL))) ? new li32(rd, new Immediate(imm.access().bitField(31, 0))).image(vars__) : new li64(rd, imm).image(vars__))));
    [javac]                                                                                                                                                                                                                                                                                                                                                 ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\li.java:85: error: incompatible types: Location cannot be converted to Data
    [javac]       new instruction(new addi(rd, new X(new Immediate(Data.valueOf(Type.CARD(5), 0x0))), new Immediate(Data.cast(Type.INT(12), imm.access().bitField(11, 0))))).execute(pe__, vars__);
    [javac]                                                                                                                                                      ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\li32.java:77: error: incompatible types: Location cannot be converted to Data
    [javac]     return String.format("%s%s", new lui(rd, new Immediate(imm.access().bitField(31, 12).load().add(Data.zeroExtend(Type.CARD(20), imm.access().bitField(11, 11).load())))).image(vars__), new addi(rd, rd, new Immediate(Data.cast(Type.INT(12), imm.access().bitField(11, 0)))).image(vars__));
    [javac]                                                                                                                                                                                                                                                                        ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\li32.java:85: error: incompatible types: Location cannot be converted to Data
    [javac]     new instruction(new addi(rd, rd, new Immediate(Data.cast(Type.INT(12), imm.access().bitField(11, 0))))).execute(pe__, vars__);
    [javac]                                                                                                 ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\lw_global.java:85: error: incompatible types: Location cannot be converted to Data
    [javac]     return String.format("%s%s", new auipc(rd, new Immediate(vars__.tmp_delta.access().bitField(31, 12).load().add(Data.zeroExtend(Type.CARD(20), vars__.tmp_delta.access().bitField(11, 11).load())))).image(vars__), new lw(rd, rd, new Immediate(Data.cast(Type.INT(12), vars__.tmp_delta.access().bitField(11, 0)))).image(vars__));
    [javac]                                                                                                                                                                                                                                                                                                               ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\lw_global.java:94: error: incompatible types: Location cannot be converted to Data
    [javac]     new instruction(new lw(rd, rd, new Immediate(Data.cast(Type.INT(12), delta.access(pe__, vars__).bitField(11, 0))))).execute(pe__, vars__);
    [javac]                                                                                                             ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\sb_global.java:90: error: incompatible types: Location cannot be converted to Data
    [javac]     return String.format("%s%s", new auipc(rd, new Immediate(vars__.tmp_delta.access().bitField(31, 12).load().add(Data.zeroExtend(Type.CARD(20), vars__.tmp_delta.access().bitField(11, 11).load())))).image(vars__), new sb(rd, rt, new Immediate(Data.cast(Type.INT(12), vars__.tmp_delta.access().bitField(11, 0)))).image(vars__));
    [javac]                                                                                                                                                                                                                                                                                                               ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\sb_global.java:99: error: incompatible types: Location cannot be converted to Data
    [javac]     new instruction(new sb(rd, rt, new Immediate(Data.cast(Type.INT(12), delta.access(pe__, vars__).bitField(11, 0))))).execute(pe__, vars__);
    [javac]                                                                                                             ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\sd_global.java:90: error: incompatible types: Location cannot be converted to Data
    [javac]     return String.format("%s%s", new auipc(rt, new Immediate(vars__.tmp_delta.access().bitField(31, 12).load().add(Data.zeroExtend(Type.CARD(20), vars__.tmp_delta.access().bitField(11, 11).load())))).image(vars__), new sd(rd, rt, new Immediate(Data.cast(Type.INT(12), vars__.tmp_delta.access().bitField(11, 0)))).image(vars__));
    [javac]                                                                                                                                                                                                                                                                                                               ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\sd_global.java:99: error: incompatible types: Location cannot be converted to Data
    [javac]     new instruction(new sd(rd, rt, new Immediate(Data.cast(Type.INT(12), delta.access(pe__, vars__).bitField(11, 0))))).execute(pe__, vars__);
    [javac]                                                                                                             ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\sh_global.java:90: error: incompatible types: Location cannot be converted to Data
    [javac]     return String.format("%s%s", new auipc(rt, new Immediate(vars__.tmp_delta.access().bitField(31, 12).load().add(Data.zeroExtend(Type.CARD(20), vars__.tmp_delta.access().bitField(11, 11).load())))).image(vars__), new sh(rd, rt, new Immediate(Data.cast(Type.INT(12), vars__.tmp_delta.access().bitField(11, 0)))).image(vars__));
    [javac]                                                                                                                                                                                                                                                                                                               ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\sh_global.java:99: error: incompatible types: Location cannot be converted to Data
    [javac]     new instruction(new sh(rd, rt, new Immediate(Data.cast(Type.INT(12), delta.access(pe__, vars__).bitField(11, 0))))).execute(pe__, vars__);
    [javac]                                                                                                             ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\sh_global2.java:97: error: incompatible types: Location cannot be converted to Data
    [javac]     return String.format("%s%s", new auipc(rt, new Immediate(vars__.tmp_word.access().bitField(31, 12).load().add(Data.zeroExtend(Type.CARD(20), vars__.tmp_word.access().bitField(11, 11).load())))).image(vars__), new sh(rd, rt, new Immediate(Data.cast(Type.INT(12), vars__.tmp_word.access().bitField(11, 0)))).image(vars__));
    [javac]                                                                                                                                                                                                                                                                                                            ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\sh_global2.java:106: error: incompatible types: Location cannot be converted to Data
    [javac]     new instruction(new sh(rd, rt, new Immediate(Data.cast(Type.INT(12), vars__.tmp_word.access().bitField(11, 0))))).execute(pe__, vars__);
    [javac]                                                                                                           ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\sw_global.java:90: error: incompatible types: Location cannot be converted to Data
    [javac]     return String.format("%s%s", new auipc(rt, new Immediate(vars__.tmp_delta.access().bitField(31, 12).load().add(Data.zeroExtend(Type.CARD(20), vars__.tmp_delta.access().bitField(11, 11).load())))).image(vars__), new sw(rd, rt, new Immediate(Data.cast(Type.INT(12), vars__.tmp_delta.access().bitField(11, 0)))).image(vars__));
    [javac]                                                                                                                                                                                                                                                                                                               ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\sw_global.java:99: error: incompatible types: Location cannot be converted to Data
    [javac]     new instruction(new sw(rd, rt, new Immediate(Data.cast(Type.INT(12), delta.access(pe__, vars__).bitField(11, 0))))).execute(pe__, vars__);
    [javac]                                                                                                             ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\tail.java:80: error: incompatible types: Location cannot be converted to Data
    [javac]     return String.format("%s%s", new auipc(new X(new Immediate(Data.valueOf(Type.CARD(5), 0x6))), new Immediate(vars__.tmp_delta.access().bitField(31, 12).load().add(Data.zeroExtend(Type.CARD(20), vars__.tmp_delta.access().bitField(11, 11).load())))).image(vars__), new jalr(new X(new Immediate(Data.valueOf(Type.CARD(5), 0x0))), new X(new Immediate(Data.valueOf(Type.CARD(5), 0x6))), new Immediate(Data.cast(Type.INT(12), vars__.tmp_delta.access().bitField(11, 0)))).image(vars__));
    [javac]                                                                                                                                                                                                                                                                                                                                                                                                                                                                          ^
    [javac] C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\build\target\gen\src\java\ru\ispras\microtesk\model\riscv\op\tail.java:89: error: incompatible types: Location cannot be converted to Data
    [javac]     new instruction(new jalr(new X(new Immediate(Data.valueOf(Type.CARD(5), 0x0))), new X(new Immediate(Data.valueOf(Type.CARD(5), 0x6))), new Immediate(Data.cast(Type.INT(12), delta.access(pe__, vars__).bitField(11, 0))))).execute(pe__, vars__);
    [javac]                                                                                                                                                                                                                     ^
    [javac] Note: Some input files use unchecked or unsafe operations.
    [javac] Note: Recompile with -Xlint:unchecked for details.
    [javac] Note: Some messages have been simplified; recompile with -Xdiags:verbose to get full output
    [javac] 38 errors

(The result of bug #10095 fix.)

Also available in: Atom PDF