Apple-2-SW/prog8
1
0
Fork 0
mirror of https://github.com/irmen/prog8.git synced 2025-02-03 11:32:41 +00:00
Code Issues Projects Releases Wiki Activity

added type check to catch invalid comparisons, fix maze example

Browse Source
This commit is contained in:
Irmen de Jong 2024-02-20 22:53:15 +01:00
parent b27368175d
commit 0e17a0474a
2 changed files with 12 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
compiler/src/prog8/compiler/astprocessing/AstChecker.kt
View File

@ -1055,6 +1055,17 @@ internal class AstChecker(private val program: Program,
// str+str and str*number have already been const evaluated before we get here.
errors.err("no computational or logical expressions with strings or arrays are possible", expr.position)
}
} else {
if(expr.left is TypecastExpression && expr.right is NumericLiteral && !expr.right.inferType(program).istype(DataType.FLOAT)) {
val origLeftDt = (expr.left as TypecastExpression).expression.inferType(program).getOr(DataType.UNDEFINED)
if(!origLeftDt.equalsSize(rightDt))
errors.err("operands are not the same type", expr.right.position)
}
if(expr.right is TypecastExpression && expr.left is NumericLiteral && !expr.left.inferType(program).istype(DataType.FLOAT)) {
val origRightDt = (expr.right as TypecastExpression).expression.inferType(program).getOr(DataType.UNDEFINED)
if(!origRightDt.equalsSize(leftDt))
errors.err("operands are not the same type", expr.right.position)
}
}
if(leftDt==DataType.BOOL || rightDt==DataType.BOOL ||

2
examples/maze.p8
View File

@ -267,7 +267,7 @@ solve_loop:
else {
; dead end, pop stack
pathstackptr--
if stackptr==65535 {
if pathstackptr==65535 {
txt.print("no solution?!")
return
}