| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414 |
- package pgserver
- import (
- "encoding/binary"
- "math"
- "testing"
- )
- // encodeBinaryArray builds a PostgreSQL binary array parameter. A nil elements
- // slice is the empty array (ndim 0); a nil element is SQL NULL.
- func encodeBinaryArray(elementOID uint32, elements [][]byte) []byte {
- hasNull := false
- for _, element := range elements {
- if element == nil {
- hasNull = true
- }
- }
- var buf []byte
- if elements == nil {
- buf = binary.BigEndian.AppendUint32(buf, 0)
- buf = binary.BigEndian.AppendUint32(buf, 0)
- buf = binary.BigEndian.AppendUint32(buf, elementOID)
- return buf
- }
- buf = binary.BigEndian.AppendUint32(buf, 1)
- flags := uint32(0)
- if hasNull {
- flags = 1
- }
- buf = binary.BigEndian.AppendUint32(buf, flags)
- buf = binary.BigEndian.AppendUint32(buf, elementOID)
- buf = binary.BigEndian.AppendUint32(buf, uint32(len(elements)))
- buf = binary.BigEndian.AppendUint32(buf, 1)
- for _, element := range elements {
- if element == nil {
- buf = binary.BigEndian.AppendUint32(buf, 0xFFFFFFFF)
- continue
- }
- buf = binary.BigEndian.AppendUint32(buf, uint32(len(element)))
- buf = append(buf, element...)
- }
- return buf
- }
- func encodeInt2(value int16) []byte {
- return binary.BigEndian.AppendUint16(nil, uint16(value))
- }
- func encodeInt4(value int32) []byte {
- return binary.BigEndian.AppendUint32(nil, uint32(value))
- }
- func encodeInt8(value int64) []byte {
- return binary.BigEndian.AppendUint64(nil, uint64(value))
- }
- func encodeFloat4(value float32) []byte {
- return binary.BigEndian.AppendUint32(nil, math.Float32bits(value))
- }
- func encodeFloat8(value float64) []byte {
- return binary.BigEndian.AppendUint64(nil, math.Float64bits(value))
- }
- // encodeNumeric mirrors PostgreSQL's binary numeric layout: digit count,
- // base-10000 weight, sign, display scale, then base-10000 digits.
- func encodeNumeric(sign uint16, weight int16, scale uint16, digits ...uint16) []byte {
- buf := binary.BigEndian.AppendUint16(nil, uint16(len(digits)))
- buf = binary.BigEndian.AppendUint16(buf, uint16(weight))
- buf = binary.BigEndian.AppendUint16(buf, sign)
- buf = binary.BigEndian.AppendUint16(buf, scale)
- for _, digit := range digits {
- buf = binary.BigEndian.AppendUint16(buf, digit)
- }
- return buf
- }
- // runBinaryParameter drives one extended-protocol cycle with a single
- // binary-format parameter.
- func runBinaryParameter(t *testing.T, c *Connection, conn *countingConn, sql string, oid int32, value []byte) []*Message {
- t.Helper()
- conn.reset()
- parse := NewMessageBuilder()
- parse.WriteString("s1")
- parse.WriteString(sql)
- parse.WriteInt16(1)
- parse.WriteInt32(oid)
- bind := NewMessageBuilder()
- bind.WriteString("p1")
- bind.WriteString("s1")
- bind.WriteInt16(1)
- bind.WriteInt16(1) // binary parameter format
- bind.WriteInt16(1)
- bind.WriteInt32(int32(len(value)))
- bind.WriteBytes(value)
- bind.WriteInt16(0)
- execute := NewMessageBuilder()
- execute.WriteString("p1")
- execute.WriteInt32(0)
- for _, msg := range []*Message{
- {Type: MsgParse, Data: parse.Bytes()},
- {Type: MsgBind, Data: bind.Bytes()},
- {Type: MsgExecute, Data: execute.Bytes()},
- {Type: MsgSync},
- } {
- if err := c.handleMessage(msg); err != nil {
- t.Fatalf("handle %c: %v", msg.Type, err)
- }
- }
- return readAllMessages(t, conn.bytes())
- }
- func TestBinaryArrayParameterElements(t *testing.T) {
- c, conn := arrayConnection(t)
- cases := []struct {
- name string
- sql string
- arrayOID int32
- value []byte
- want string
- }{
- {
- name: "int4", sql: `SELECT $1::INTEGER[]`, arrayOID: 1007,
- value: encodeBinaryArray(23, [][]byte{encodeInt4(1), encodeInt4(-2)}), want: "{1,-2}",
- },
- {
- name: "int4_null_element", sql: `SELECT $1::INTEGER[]`, arrayOID: 1007,
- value: encodeBinaryArray(23, [][]byte{encodeInt4(1), nil, encodeInt4(3)}), want: "{1,NULL,3}",
- },
- {
- name: "int4_empty", sql: `SELECT $1::INTEGER[]`, arrayOID: 1007,
- value: encodeBinaryArray(23, nil), want: "{}",
- },
- {
- name: "int2", sql: `SELECT $1::SMALLINT[]`, arrayOID: 1005,
- value: encodeBinaryArray(21, [][]byte{encodeInt2(1), encodeInt2(-2)}), want: "{1,-2}",
- },
- {
- name: "int8_exact", sql: `SELECT $1::BIGINT[]`, arrayOID: 1016,
- value: encodeBinaryArray(20, [][]byte{encodeInt8(9007199254740993)}), want: "{9007199254740993}",
- },
- {
- name: "bool", sql: `SELECT $1::BOOLEAN[]`, arrayOID: 1000,
- value: encodeBinaryArray(16, [][]byte{{0}, {1}}), want: "{f,t}",
- },
- {
- name: "float4", sql: `SELECT $1::REAL[]`, arrayOID: 1021,
- value: encodeBinaryArray(700, [][]byte{encodeFloat4(1.5)}), want: "{1.5}",
- },
- {
- name: "float8", sql: `SELECT $1::DOUBLE PRECISION[]`, arrayOID: 1022,
- value: encodeBinaryArray(701, [][]byte{encodeFloat8(0.1)}), want: "{0.1}",
- },
- {
- name: "text", sql: `SELECT $1::TEXT[]`, arrayOID: 1009,
- value: encodeBinaryArray(25, [][]byte{
- []byte("a,b"), []byte("NULL"), []byte(""), []byte(`q"t`), []byte(`back\slash`),
- }),
- want: `{"a,b","NULL","","q\"t","back\\slash"}`,
- },
- {
- name: "varchar", sql: `SELECT $1::VARCHAR(10)[]`, arrayOID: 1015,
- value: encodeBinaryArray(1043, [][]byte{[]byte("x"), []byte("y z")}), want: `{x,"y z"}`,
- },
- {
- name: "numeric_exact", sql: `SELECT $1::NUMERIC[]`, arrayOID: 1231,
- value: encodeBinaryArray(1700, [][]byte{
- encodeNumeric(0x0000, 4, 5, 1234, 5678, 9012, 3456, 7890, 1234, 5000),
- encodeNumeric(0x4000, 0, 2, 1, 5000),
- }),
- want: "{12345678901234567890.12345,-1.50}",
- },
- {
- name: "numeric_zero", sql: `SELECT $1::NUMERIC[]`, arrayOID: 1231,
- value: encodeBinaryArray(1700, [][]byte{
- encodeNumeric(0x0000, 0, 2),
- encodeNumeric(0x0000, -1, 1, 5000),
- }),
- want: "{0.00,0.5}",
- },
- }
- for _, tc := range cases {
- t.Run(tc.name, func(t *testing.T) {
- messages := runBinaryParameter(t, c, conn, tc.sql, tc.arrayOID, tc.value)
- if errMsg := findError(messages); errMsg != nil {
- t.Fatalf("%s failed: %s (%s)", tc.sql, errorCode(errMsg), errorMessage(errMsg))
- }
- row := firstDataRow(t, messages)
- if len(row) != 1 || row[0] != tc.want {
- t.Fatalf("%s = %v, want [%s]", tc.sql, row, tc.want)
- }
- })
- }
- }
- func TestBinaryArrayParameterMalformed(t *testing.T) {
- c, conn := arrayConnection(t)
- valid := encodeBinaryArray(23, [][]byte{encodeInt4(1)})
- nullWithoutFlag := encodeBinaryArray(23, [][]byte{nil, encodeInt4(1)})
- if nullWithoutFlag[7] != 1 {
- t.Fatal("test fixture expected the null flag set")
- }
- nullWithoutFlag[7] = 0 // clear hasNull while leaving the NULL element
- cases := []struct {
- name string
- value []byte
- }{
- {"truncated_header", valid[:10]},
- {"truncated_dimension", valid[:14]},
- {"truncated_elements", valid[:len(valid)-2]},
- {"trailing_bytes", append(append([]byte(nil), valid...), 0)},
- {"element_oid_mismatch", encodeBinaryArray(25, [][]byte{[]byte("x")})},
- {"null_without_flag", nullWithoutFlag},
- {"invalid_boolean", encodeBinaryArray(16, [][]byte{{2}})},
- {"short_int4", encodeBinaryArray(23, [][]byte{{0, 0}})},
- }
- for _, tc := range cases {
- t.Run(tc.name, func(t *testing.T) {
- messages := runBinaryParameter(t, c, conn, `SELECT $1::INTEGER[]`, 1007, tc.value)
- errMsg := findError(messages)
- if errMsg == nil {
- t.Fatalf("%s was accepted", tc.name)
- }
- if code := errorCode(errMsg); code != ErrCodeInvalidText {
- t.Fatalf("%s SQLSTATE = %q, want %q", tc.name, code, ErrCodeInvalidText)
- }
- })
- }
- }
- // Multidimensional binary arrays report the same unsupported-feature error as
- // their text-format equivalent.
- func TestBinaryArrayParameterMultidimensional(t *testing.T) {
- c, conn := arrayConnection(t)
- value := encodeBinaryArray(23, [][]byte{encodeInt4(1)})
- binary.BigEndian.PutUint32(value[0:4], 2)
- messages := runBinaryParameter(t, c, conn, `SELECT $1::INTEGER[]`, 1007, value)
- errMsg := findError(messages)
- if errMsg == nil {
- t.Fatal("multidimensional binary array was accepted")
- }
- if code := errorCode(errMsg); code != ErrCodeFeatureNotSupported {
- t.Fatalf("binary multidimensional SQLSTATE = %q, want %q", code, ErrCodeFeatureNotSupported)
- }
- messages = runExtendedParseBindExecute(t, c, conn, `SELECT $1::INTEGER[]`, 1007, "{{1}}")
- errMsg = findError(messages)
- if errMsg == nil {
- t.Fatal("multidimensional text array was accepted")
- }
- if code := errorCode(errMsg); code != ErrCodeFeatureNotSupported {
- t.Fatalf("text multidimensional SQLSTATE = %q, want %q", code, ErrCodeFeatureNotSupported)
- }
- }
- // The engine has no numeric NaN or infinity, so both the scalar and array
- // paths must reject those binary values as invalid text instead of splicing a
- // bare NaN into SQL.
- func TestBinaryNumericSpecialValuesRejected(t *testing.T) {
- c, conn := arrayConnection(t)
- for _, tc := range []struct {
- name string
- sql string
- oid int32
- value []byte
- }{
- {"scalar_nan", `SELECT $1::NUMERIC`, 1700, encodeNumeric(0xC000, 0, 0)},
- {"scalar_infinity", `SELECT $1::NUMERIC`, 1700, encodeNumeric(0xD000, 0, 0)},
- {"scalar_negative_infinity", `SELECT $1::NUMERIC`, 1700, encodeNumeric(0xF000, 0, 0)},
- {"array_nan", `SELECT $1::NUMERIC[]`, 1231, encodeBinaryArray(1700, [][]byte{encodeNumeric(0xC000, 0, 0)})},
- {"array_infinity", `SELECT $1::NUMERIC[]`, 1231, encodeBinaryArray(1700, [][]byte{encodeNumeric(0xD000, 0, 0)})},
- } {
- t.Run(tc.name, func(t *testing.T) {
- messages := runBinaryParameter(t, c, conn, tc.sql, tc.oid, tc.value)
- errMsg := findError(messages)
- if errMsg == nil {
- t.Fatalf("%s was accepted", tc.name)
- }
- if code := errorCode(errMsg); code != ErrCodeInvalidText {
- t.Fatalf("%s SQLSTATE = %q, want %q", tc.name, code, ErrCodeInvalidText)
- }
- })
- }
- }
- // Scalar binary booleans validate the payload byte like the array element path.
- func TestBinaryBooleanParameterValidation(t *testing.T) {
- c, conn := arrayConnection(t)
- for _, value := range [][]byte{{}, {2}, {0, 0}} {
- messages := runBinaryParameter(t, c, conn, `SELECT $1::BOOLEAN`, 16, value)
- errMsg := findError(messages)
- if errMsg == nil {
- t.Fatalf("binary boolean %v was accepted", value)
- }
- if code := errorCode(errMsg); code != ErrCodeInvalidText {
- t.Fatalf("binary boolean %v SQLSTATE = %q, want %q", value, code, ErrCodeInvalidText)
- }
- }
- }
- // Parameter formats are per parameter: one text parameter and one binary
- // parameter in the same Bind message decode independently.
- func TestMixedParameterFormats(t *testing.T) {
- c, conn := arrayConnection(t)
- conn.reset()
- parse := NewMessageBuilder()
- parse.WriteString("s1")
- parse.WriteString(`SELECT $1::INTEGER, $2::INTEGER`)
- parse.WriteInt16(0)
- bind := NewMessageBuilder()
- bind.WriteString("p1")
- bind.WriteString("s1")
- bind.WriteInt16(2) // one format code per parameter
- bind.WriteInt16(0) // $1 text
- bind.WriteInt16(1) // $2 binary
- bind.WriteInt16(2)
- bind.WriteInt32(1)
- bind.WriteBytes([]byte("5"))
- binaryValue := encodeInt4(7)
- bind.WriteInt32(int32(len(binaryValue)))
- bind.WriteBytes(binaryValue)
- bind.WriteInt16(0)
- execute := NewMessageBuilder()
- execute.WriteString("p1")
- execute.WriteInt32(0)
- for _, msg := range []*Message{
- {Type: MsgParse, Data: parse.Bytes()},
- {Type: MsgBind, Data: bind.Bytes()},
- {Type: MsgExecute, Data: execute.Bytes()},
- {Type: MsgSync},
- } {
- if err := c.handleMessage(msg); err != nil {
- t.Fatalf("handle %c: %v", msg.Type, err)
- }
- }
- messages := readAllMessages(t, conn.bytes())
- if errMsg := findError(messages); errMsg != nil {
- t.Fatalf("mixed formats failed: %s", errorCode(errMsg))
- }
- if row := firstDataRow(t, messages); len(row) != 2 || row[0] != "5" || row[1] != "7" {
- t.Fatalf("mixed formats row = %v, want [5 7]", row)
- }
- }
- // Array types the engine does not decode in binary form keep the explicit
- // feature-not-supported error.
- func TestBinaryArrayParameterUnsupportedElementType(t *testing.T) {
- c, conn := arrayConnection(t)
- for _, oid := range []int32{1014 /* bytea[] */, 1182 /* date[] */} {
- messages := runBinaryParameter(t, c, conn, `SELECT $1`, oid, []byte{0, 0, 0, 0})
- errMsg := findError(messages)
- if errMsg == nil {
- t.Fatalf("binary array OID %d was accepted", oid)
- }
- if code := errorCode(errMsg); code != ErrCodeFeatureNotSupported {
- t.Fatalf("binary array OID %d SQLSTATE = %q, want %q", oid, code, ErrCodeFeatureNotSupported)
- }
- }
- }
- // Scalar float parameters follow the same negotiated type: pgx sends float4 and
- // float8 in binary form.
- func TestBinaryFloatParameter(t *testing.T) {
- c, conn := arrayConnection(t)
- for _, tc := range []struct {
- name string
- sql string
- oid int32
- value []byte
- want string
- }{
- {"float4", `SELECT $1::REAL`, 700, encodeFloat4(1.5), "1.5"},
- {"float8", `SELECT $1::DOUBLE PRECISION`, 701, encodeFloat8(0.1), "0.1"},
- } {
- t.Run(tc.name, func(t *testing.T) {
- messages := runBinaryParameter(t, c, conn, tc.sql, tc.oid, tc.value)
- if errMsg := findError(messages); errMsg != nil {
- t.Fatalf("%s failed: %s", tc.sql, errorCode(errMsg))
- }
- if row := firstDataRow(t, messages); len(row) != 1 || row[0] != tc.want {
- t.Fatalf("%s = %v, want [%s]", tc.sql, row, tc.want)
- }
- })
- }
- }
- // Scalar binary numeric parameters keep their exact decimal digits. The
- // capability document advertises binary numeric support, and NUMERIC elements
- // use the same decoder inside arrays.
- func TestBinaryNumericParameter(t *testing.T) {
- c, conn := arrayConnection(t)
- value := encodeNumeric(0x0000, 1, 1, 1, 2345, 5000)
- messages := runBinaryParameter(t, c, conn, `SELECT $1::NUMERIC`, 1700, value)
- if errMsg := findError(messages); errMsg != nil {
- t.Fatalf("binary numeric failed: %s", errorCode(errMsg))
- }
- if row := firstDataRow(t, messages); len(row) != 1 || row[0] != "12345.5" {
- t.Fatalf("binary numeric = %v, want [12345.5]", row)
- }
- messages = runBinaryParameter(t, c, conn, `SELECT $1::NUMERIC`, 1700, encodeNumeric(0x4000, -1, 1, 5000))
- if errMsg := findError(messages); errMsg != nil {
- t.Fatalf("negative binary numeric failed: %s", errorCode(errMsg))
- }
- if row := firstDataRow(t, messages); len(row) != 1 || row[0] != "-0.5" {
- t.Fatalf("negative binary numeric = %v, want [-0.5]", row)
- }
- }
|