| // run |
| |
| // Copyright 2021 The Go Authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style |
| // license that can be found in the LICENSE file. |
| |
| // Check that the compiler refuses excessively long constants. |
| |
| package main |
| |
| import ( |
| "bytes" |
| "fmt" |
| "io/ioutil" |
| "log" |
| "os" |
| "os/exec" |
| "path/filepath" |
| "runtime" |
| "strings" |
| ) |
| |
| // testProg creates a package called name, with path dir/name.go, |
| // which declares an untyped constant of the given length. |
| // testProg compiles this package and checks for the absence or |
| // presence of a constant literal error. |
| func testProg(dir, name string, length int, msg string) { |
| var buf bytes.Buffer |
| |
| fmt.Fprintf(&buf, |
| "package %s; const _ = 0b%s // %d bits", |
| name, strings.Repeat("1", length), length, |
| ) |
| |
| filename := filepath.Join(dir, fmt.Sprintf("%s.go", name)) |
| if err := os.WriteFile(filename, buf.Bytes(), 0666); err != nil { |
| log.Fatal(err) |
| } |
| |
| cmd := exec.Command("go", "tool", "compile", "-p=p", filename) |
| cmd.Dir = dir |
| output, err := cmd.CombinedOutput() |
| |
| if msg == "" { |
| // no error expected |
| if err != nil { |
| log.Fatalf("%s: compile failed unexpectedly: %v", name, err) |
| } |
| return |
| } |
| |
| // error expected |
| if err == nil { |
| log.Fatalf("%s: compile succeeded unexpectedly", name) |
| } |
| if !bytes.Contains(output, []byte(msg)) { |
| log.Fatalf("%s: wrong compiler error message:\n%s\n", name, output) |
| } |
| } |
| |
| func main() { |
| if runtime.GOOS == "js" || runtime.Compiler != "gc" { |
| return |
| } |
| |
| dir, err := ioutil.TempDir("", "const7_") |
| if err != nil { |
| log.Fatalf("creating temp dir: %v\n", err) |
| } |
| defer os.RemoveAll(dir) |
| |
| const bitLimit = 512 |
| const charLimit = 10000 // compiler-internal constant length limit |
| testProg(dir, "x1", bitLimit, "") |
| testProg(dir, "x2", bitLimit+1, "constant overflow") |
| testProg(dir, "x3", charLimit-2, "constant overflow") // -2 because literal contains 0b prefix |
| testProg(dir, "x4", charLimit-1, "excessively long constant") |
| } |