aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDidier Spezia <didier.06@gmail.com>2015-08-25 16:25:11 +0000
committerAndrew Gerrand <adg@golang.org>2015-09-08 05:41:28 +0000
commit97ec0a816bfe1f8488355b5a6e94907a993b2cc7 (patch)
tree54d5793febc72f4eb2111af469bde289abb5a9f4
parent2dfb0eb6c296e1d77a4d6fbd8ee7ce50a2379825 (diff)
downloadgo-97ec0a816bfe1f8488355b5a6e94907a993b2cc7.tar.gz
go-97ec0a816bfe1f8488355b5a6e94907a993b2cc7.zip
[release-branch.go1.5] cmd/asm: fix potential infinite loop in parser
For ARM machines, the assembler supports list of registers operands such as [R1,R2]. A list missing a ']' results in the parser issuing many errors and consuming all the tokens. At EOF (i.e. end of the line), it still loops. Normally, a counter is maintained to make sure the parser stops after 10 errors. However, multiple errors occuring on the same line are simply ignored. Only the first one is reported. At most one error per line is accounted. Missing ']' in a register list therefore results in an infinite loop. Fixed the parser by explicitly checking for ']' to interrupt this loops In the operand tests, also fixed a wrong entry which I think was not set on purpose (but still led to a successful result). Fixes #11764 Change-Id: Ie87773388ee0d21b3a2a4cb941d4d911d0230ba4 Reviewed-on: https://go-review.googlesource.com/13920 Reviewed-by: Rob Pike <r@golang.org> Reviewed-on: https://go-review.googlesource.com/14225
-rw-r--r--src/cmd/asm/internal/asm/operand_test.go3
-rw-r--r--src/cmd/asm/internal/asm/parse.go9
2 files changed, 9 insertions, 3 deletions
diff --git a/src/cmd/asm/internal/asm/operand_test.go b/src/cmd/asm/internal/asm/operand_test.go
index b9154a91e9..01335ed38b 100644
--- a/src/cmd/asm/internal/asm/operand_test.go
+++ b/src/cmd/asm/internal/asm/operand_test.go
@@ -181,7 +181,7 @@ var amd64OperandTests = []operandTest{
{"x·y+8(SB)", "x.y+8(SB)"},
{"x·y+8(SP)", "x.y+8(SP)"},
{"y+56(FP)", "y+56(FP)"},
- {"·AddUint32(SB", "\"\".AddUint32(SB)"},
+ {"·AddUint32(SB)", "\"\".AddUint32(SB)"},
{"·callReflect(SB)", "\"\".callReflect(SB)"},
}
@@ -288,6 +288,7 @@ var armOperandTests = []operandTest{
{"runtime·_sfloat2(SB)", "runtime._sfloat2(SB)"},
{"·AddUint32(SB)", "\"\".AddUint32(SB)"},
{"(R1, R3)", "(R1, R3)"},
+ {"[R0,R1,g,R15", ""}, // Issue 11764 - previously asm just hung parsing ']' missing register lists
}
var ppc64OperandTests = []operandTest{
diff --git a/src/cmd/asm/internal/asm/parse.go b/src/cmd/asm/internal/asm/parse.go
index c07e6f8e47..6cf50df5bb 100644
--- a/src/cmd/asm/internal/asm/parse.go
+++ b/src/cmd/asm/internal/asm/parse.go
@@ -698,10 +698,15 @@ func (p *Parser) registerIndirect(a *obj.Addr, prefix rune) {
func (p *Parser) registerList(a *obj.Addr) {
// One range per loop.
var bits uint16
+ListLoop:
for {
tok := p.next()
- if tok.ScanToken == ']' {
- break
+ switch tok.ScanToken {
+ case ']':
+ break ListLoop
+ case scanner.EOF:
+ p.errorf("missing ']' in register list")
+ return
}
lo := p.registerNumber(tok.String())
hi := lo