Arithmetic operations choose arch-dependant type and overflow in 32bit
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 4/5
- Thời gian dự kiến
- 3-5 ngày
- Mức phù hợp với người mới
- 35/100
Hướng nghiên cứu
Bắt đầu bằng cách chạy bản tái hiện 32bit_test.go với expr trong một container i386/golang và theo dõi cách biểu thức val64 + 0 chọn kiểu toán hạng. Hoàn thành khi bài kiểm thử báo cáo 2147483648 thay vì -2147483648 trên các kiến trúc 32-bit mà không làm hỏng các phép số học nguyên khác.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
Hi, thank you for your work and for reading. I found that arithmetic operations choose architecture-dependant types in some circumstances and can cause overflows in 32bit architectures.
Example
Given a value a of type int64 and a value b of any integer type, if we run the expression a+b then we will get int(a)+int(b), which can overflow in 32bit architectures.
Reproduction steps
First, save the following file as 32bit_test.go:
package main
import (
"fmt"
"math"
"testing"
"github.com/expr-lang/expr"
)
func TestOverflows32bit(t *testing.T) {
p, err := expr.Compile("val64 + 0")
if err != nil {
t.Fatalf("compile error: %v", err)
}
val, err := expr.Run(p, map[string]any{
"val64": int64(math.MaxInt32 + 1),
})
if err != nil {
t.Fatalf("run error: %v", err)
}
str := fmt.Sprint(val)
if str != "2147483648" {
t.Fatalf("expected %v, got %v", "2147483648", val)
}
}
Second, run it in a 32bit architecture docker container:
docker run --name go32 --rm -dit --platform linux/386 i386/golang:latest bash
docker exec go32 mkdir -p /go/src/test
docker cp 32bit_test.go go32:/go/src/test/main_test.go
docker exec -it go32 bash
> cd /go/src/test/
> go mod init
> go get github.com/expr-lang/expr
> go test
--- FAIL: TestOverflows32bit (0.01s)
main_test.go:24: expected 2147483648, got -2147483648
FAIL
exit status 1
FAIL test 0.043s
- Ngôn ngữ chính
- Go
- Star
- 8k
- Fork
- 529
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Hướng dẫn đóng góp
Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Issue khác của expr-lang/expr
-
docs needed
Độ khó 1/5 1-3 giờ Mức phù hợp với người mới 62/100
-
`find`, `findIndex`, `first` and `get` are type-checked as the element type where they return nil Đang mở
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 65/100
-
Release latest master branch Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/100
Tất cả issue của expr-lang/expr
Issue tương tự
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 65/100
-
bug group: validation priority: low
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100
codecheckers/chekhov#51 ·
-
Creating worktree from an existing remote branch with a slash in it, has unexpected behaviour Đang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 70/100
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100