Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
23 changes: 15 additions & 8 deletions dana/programs-erroneous/powint-erroneous.dana
Original file line number Diff line number Diff line change
@@ -1,30 +1,37 @@
def main

def powint: base as int, exp as int, mod as int, result as ref int

base := base % mod

var temp is int

if exp < 1:
result := 1
elif exp = 0:
result := 1
else:
if exp % 2 = 0:
powint: base, exp / 2, mod, temp # SEMANTIC ERROR: temp is not a ref variable but being passed to a ref parameter
result := (temp * temp) % mod
else:
powint: base, exp - 1, mod, temp # SEMANTIC ERROR: temp is not a ref variable but being passed to a ref parameter
result := (base * temp) % mod
powint: base, exp / 2, mod, temp

if exp % 2 = 0:
result := (temp * temp) % mod
else:
result := (base * temp * temp) % mod

writeString: temp # SEMANTIC ERROR: Calling writeString (expects byte[]) with an int argument (temp)

var b is int
var e is int
var m is int
var res is int

writeString: "Enter base: "
b := readInteger()
writeString: "Enter exponent: "
e := readInteger()
writeString: "Enter modulus: "
m := readInteger()

powint: b, e, m, res

writeString: "Result: "
writeInteger: res
writeString: "\n"