PostgreSQL Source Code git master
Loading...
Searching...
No Matches
varlena.c
Go to the documentation of this file.
1/*-------------------------------------------------------------------------
2 *
3 * varlena.c
4 * Functions for the variable-length built-in types.
5 *
6 * Portions Copyright (c) 1996-2026, PostgreSQL Global Development Group
7 * Portions Copyright (c) 1994, Regents of the University of California
8 *
9 *
10 * IDENTIFICATION
11 * src/backend/utils/adt/varlena.c
12 *
13 *-------------------------------------------------------------------------
14 */
15#include "postgres.h"
16
17#include <ctype.h>
18#include <limits.h>
19
20#include "access/detoast.h"
22#include "access/tupmacs.h"
24#include "catalog/pg_type.h"
25#include "common/hashfn.h"
26#include "common/int.h"
28#include "common/unicode_norm.h"
30#include "funcapi.h"
31#include "lib/hyperloglog.h"
32#include "libpq/pqformat.h"
33#include "miscadmin.h"
34#include "nodes/execnodes.h"
35#include "parser/scansup.h"
36#include "port/pg_bswap.h"
37#include "regex/regex.h"
38#include "utils/builtins.h"
39#include "utils/guc.h"
40#include "utils/lsyscache.h"
41#include "utils/memutils.h"
42#include "utils/pg_locale.h"
43#include "utils/sortsupport.h"
44#include "utils/tuplestore.h"
45#include "utils/varlena.h"
46
48
49/*
50 * State for text_position_* functions.
51 */
52typedef struct
53{
54 pg_locale_t locale; /* collation used for substring matching */
55 bool is_multibyte_char_in_char; /* need to check char boundaries? */
56 bool greedy; /* find longest possible substring? */
57
58 char *str1; /* haystack string */
59 char *str2; /* needle string */
60 int len1; /* string lengths in bytes */
61 int len2;
62
63 /* Skip table for Boyer-Moore-Horspool search algorithm: */
64 int skiptablemask; /* mask for ANDing with skiptable subscripts */
65 int skiptable[256]; /* skip distance for given mismatched char */
66
67 /*
68 * Note that with nondeterministic collations, the length of the last
69 * match is not necessarily equal to the length of the "needle" passed in.
70 */
71 char *last_match; /* pointer to last match in 'str1' */
72 int last_match_len; /* length of last match */
73 int last_match_len_tmp; /* same but for internal use */
74
75 /*
76 * Sometimes we need to convert the byte position of a match to a
77 * character position. These store the last position that was converted,
78 * so that on the next call, we can continue from that point, rather than
79 * count characters from the very beginning.
80 */
81 char *refpoint; /* pointer within original haystack string */
82 int refpos; /* 0-based character offset of the same point */
84
85typedef struct
86{
87 char *buf1; /* 1st string, or abbreviation original string
88 * buf */
89 char *buf2; /* 2nd string, or abbreviation strxfrm() buf */
90 int buflen1; /* Allocated length of buf1 */
91 int buflen2; /* Allocated length of buf2 */
92 int last_len1; /* Length of last buf1 string/strxfrm() input */
93 int last_len2; /* Length of last buf2 string/strxfrm() blob */
94 int last_returned; /* Last comparison result (cache) */
95 bool cache_blob; /* Does buf2 contain strxfrm() blob, etc? */
97 Oid typid; /* Actual datatype (text/bpchar/name) */
98 hyperLogLogState abbr_card; /* Abbreviated key cardinality state */
99 hyperLogLogState full_card; /* Full key cardinality state */
100 double prop_card; /* Required cardinality proportion */
103
104/*
105 * Output data for split_text(): we output either to an array or a table.
106 * tupstore and tupdesc must be set up in advance to output to a table.
107 */
114
115/*
116 * This should be large enough that most strings will fit, but small enough
117 * that we feel comfortable putting it on the stack
118 */
119#define TEXTBUFLEN 1024
120
121#define DatumGetVarStringP(X) ((VarString *) PG_DETOAST_DATUM(X))
122#define DatumGetVarStringPP(X) ((VarString *) PG_DETOAST_DATUM_PACKED(X))
123
124static int varstrfastcmp_c(Datum x, Datum y, SortSupport ssup);
125static int bpcharfastcmp_c(Datum x, Datum y, SortSupport ssup);
126static int namefastcmp_c(Datum x, Datum y, SortSupport ssup);
128static int namefastcmp_locale(Datum x, Datum y, SortSupport ssup);
129static int varstrfastcmp_locale(char *a1p, int len1, char *a2p, int len2, SortSupport ssup);
130static Datum varstr_abbrev_convert(Datum original, SortSupport ssup);
131static bool varstr_abbrev_abort(int memtupcount, SortSupport ssup);
132static int32 text_length(Datum str);
133static text *text_catenate(text *t1, text *t2);
135 int32 start,
136 int32 length,
138static int pg_mbcharcliplen_chars(const char *mbstr, int len, int limit);
139static text *text_overlay(text *t1, text *t2, int sp, int sl);
140static int text_position(text *t1, text *t2, Oid collid);
147static void check_collation_set(Oid collid);
148static int text_cmp(text *arg1, text *arg2, Oid collid);
149static void appendStringInfoText(StringInfo str, const text *t);
154 Oid collation);
156 const char *fldsep, const char *null_string);
158static bool text_format_parse_digits(const char **ptr, const char *end_ptr,
159 int *value);
160static const char *text_format_parse_format(const char *start_ptr,
161 const char *end_ptr,
162 int *argpos, int *widthpos,
163 int *flags, int *width);
166 Datum value, bool isNull,
167 int flags, int width);
168static void text_format_append_string(StringInfo buf, const char *str,
169 int flags, int width);
170
171
172/*****************************************************************************
173 * CONVERSION ROUTINES EXPORTED FOR USE BY C CODE *
174 *****************************************************************************/
175
176/*
177 * cstring_to_text
178 *
179 * Create a text value from a null-terminated C string.
180 *
181 * The new text value is freshly palloc'd with a full-size VARHDR.
182 */
183text *
184cstring_to_text(const char *s)
185{
186 return cstring_to_text_with_len(s, strlen(s));
187}
188
189/*
190 * cstring_to_text_with_len
191 *
192 * Same as cstring_to_text except the caller specifies the string length;
193 * the string need not be null_terminated.
194 */
195text *
196cstring_to_text_with_len(const char *s, int len)
197{
198 text *result = (text *) palloc(len + VARHDRSZ);
199
200 SET_VARSIZE(result, len + VARHDRSZ);
201 memcpy(VARDATA(result), s, len);
202
203 return result;
204}
205
206/*
207 * text_to_cstring
208 *
209 * Create a palloc'd, null-terminated C string from a text value.
210 *
211 * We support being passed a compressed or toasted text value.
212 * This is a bit bogus since such values shouldn't really be referred to as
213 * "text *", but it seems useful for robustness. If we didn't handle that
214 * case here, we'd need another routine that did, anyway.
215 */
216char *
218{
219 /* must cast away the const, unfortunately */
222 char *result;
223
224 result = (char *) palloc(len + 1);
225 memcpy(result, VARDATA_ANY(tunpacked), len);
226 result[len] = '\0';
227
228 if (tunpacked != t)
230
231 return result;
232}
233
234/*
235 * text_to_cstring_buffer
236 *
237 * Copy a text value into a caller-supplied buffer of size dst_len.
238 *
239 * The text string is truncated if necessary to fit. The result is
240 * guaranteed null-terminated (unless dst_len == 0).
241 *
242 * We support being passed a compressed or toasted text value.
243 * This is a bit bogus since such values shouldn't really be referred to as
244 * "text *", but it seems useful for robustness. If we didn't handle that
245 * case here, we'd need another routine that did, anyway.
246 */
247void
248text_to_cstring_buffer(const text *src, char *dst, size_t dst_len)
249{
250 /* must cast away the const, unfortunately */
253
254 if (dst_len > 0)
255 {
256 dst_len--;
257 if (dst_len >= src_len)
259 else /* ensure truncation is encoding-safe */
262 dst[dst_len] = '\0';
263 }
264
265 if (srcunpacked != src)
267}
268
269
270/*****************************************************************************
271 * USER I/O ROUTINES *
272 *****************************************************************************/
273
274/*
275 * textin - converts cstring to internal representation
276 */
277Datum
284
285/*
286 * textout - converts internal representation to cstring
287 */
288Datum
295
296/*
297 * textrecv - converts external binary format to text
298 */
299Datum
301{
303 text *result;
304 char *str;
305 int nbytes;
306
307 str = pq_getmsgtext(buf, buf->len - buf->cursor, &nbytes);
308
309 result = cstring_to_text_with_len(str, nbytes);
310 pfree(str);
311 PG_RETURN_TEXT_P(result);
312}
313
314/*
315 * textsend - converts text to binary format
316 */
317Datum
327
328
329/*
330 * unknownin - converts cstring to internal representation
331 */
332Datum
334{
335 char *str = PG_GETARG_CSTRING(0);
336
337 /* representation is same as cstring */
339}
340
341/*
342 * unknownout - converts internal representation to cstring
343 */
344Datum
346{
347 /* representation is same as cstring */
348 char *str = PG_GETARG_CSTRING(0);
349
351}
352
353/*
354 * unknownrecv - converts external binary format to unknown
355 */
356Datum
358{
360 char *str;
361 int nbytes;
362
363 str = pq_getmsgtext(buf, buf->len - buf->cursor, &nbytes);
364 /* representation is same as cstring */
366}
367
368/*
369 * unknownsend - converts unknown to binary format
370 */
371Datum
373{
374 /* representation is same as cstring */
375 char *str = PG_GETARG_CSTRING(0);
377
381}
382
383
384/* ========== PUBLIC ROUTINES ========== */
385
386/*
387 * textlen -
388 * returns the logical length of a text*
389 * (which is less than the VARSIZE of the text*)
390 */
391Datum
393{
395
396 /* try to avoid decompressing argument */
398}
399
400/*
401 * text_length -
402 * Does the real work for textlen()
403 *
404 * This is broken out so it can be called directly by other string processing
405 * functions. Note that the argument is passed as a Datum, to indicate that
406 * it may still be in compressed form. We can avoid decompressing it at all
407 * in some cases.
408 */
409static int32
411{
412 /* fastpath when max encoding length is one */
415 else
416 {
417 text *t = DatumGetTextPP(str);
418
420 }
421}
422
423/*
424 * textoctetlen -
425 * returns the physical length of a text*
426 * (which is less than the VARSIZE of the text*)
427 */
428Datum
430{
432
433 /* We need not detoast the input at all */
435}
436
437/*
438 * textcat -
439 * takes two text* and returns a text* that is the concatenation of
440 * the two.
441 *
442 * Rewritten by Sapa, sapa@hq.icb.chel.su. 8-Jul-96.
443 * Updated by Thomas, Thomas.Lockhart@jpl.nasa.gov 1997-07-10.
444 * Allocate space for output in all cases.
445 * XXX - thomas 1997-07-10
446 */
447Datum
455
456/*
457 * text_catenate
458 * Guts of textcat(), broken out so it can be used by other functions
459 *
460 * Arguments can be in short-header form, but not compressed or out-of-line
461 */
462static text *
464{
465 text *result;
466 int len1,
467 len2,
468 len;
469 char *ptr;
470
471 len1 = VARSIZE_ANY_EXHDR(t1);
472 len2 = VARSIZE_ANY_EXHDR(t2);
473
474 /* paranoia ... probably should throw error instead? */
475 if (len1 < 0)
476 len1 = 0;
477 if (len2 < 0)
478 len2 = 0;
479
480 len = len1 + len2 + VARHDRSZ;
481 result = (text *) palloc(len);
482
483 /* Set size of result string... */
484 SET_VARSIZE(result, len);
485
486 /* Fill data field of result string... */
487 ptr = VARDATA(result);
488 if (len1 > 0)
489 memcpy(ptr, VARDATA_ANY(t1), len1);
490 if (len2 > 0)
491 memcpy(ptr + len1, VARDATA_ANY(t2), len2);
492
493 return result;
494}
495
496/*
497 * charlen_to_bytelen()
498 * Compute the number of bytes occupied by n characters starting at *p
499 *
500 * The caller shall ensure there are n complete characters. Callers achieve
501 * this by deriving "n" from regmatch_t findings from searching a wchar array.
502 * pg_mb2wchar_with_len() skips any trailing incomplete character, so regex
503 * matches will end no later than the last complete character. (The string
504 * need not be null-terminated.)
505 */
506static int
507charlen_to_bytelen(const char *p, int n)
508{
510 {
511 /* Optimization for single-byte encodings */
512 return n;
513 }
514 else
515 {
516 const char *s;
517
518 for (s = p; n > 0; n--)
519 s += pg_mblen_unbounded(s); /* caller verified encoding */
520
521 return s - p;
522 }
523}
524
525/*
526 * text_substr()
527 * Return a substring starting at the specified position.
528 * - thomas 1997-12-31
529 *
530 * Input:
531 * - string
532 * - starting position (is one-based)
533 * - string length
534 *
535 * If the starting position is zero or less, then return from the start of the string
536 * adjusting the length to be consistent with the "negative start" per SQL.
537 * If the length is less than zero, return the remaining string.
538 *
539 * Added multibyte support.
540 * - Tatsuo Ishii 1998-4-21
541 * Changed behavior if starting position is less than one to conform to SQL behavior.
542 * Formerly returned the entire string; now returns a portion.
543 * - Thomas Lockhart 1998-12-10
544 * Now uses faster TOAST-slicing interface
545 * - John Gray 2002-02-22
546 * Remove "#ifdef MULTIBYTE" and test for encoding_max_length instead. Change
547 * behaviors conflicting with SQL to meet SQL (if E = S + L < S throw
548 * error; if E < 1, return '', not entire string). Fixed MB related bug when
549 * S > LC and < LC + 4 sometimes garbage characters are returned.
550 * - Joe Conway 2002-08-10
551 */
552Datum
560
561/*
562 * text_substr_no_len -
563 * Wrapper to avoid opr_sanity failure due to
564 * one function accepting a different number of args.
565 */
566Datum
573
574/*
575 * text_substring -
576 * Does the real work for text_substr() and text_substr_no_len()
577 *
578 * This is broken out so it can be called directly by other string processing
579 * functions. Note that the argument is passed as a Datum, to indicate that
580 * it may still be in compressed/toasted form. We can avoid detoasting all
581 * of it in some cases.
582 *
583 * The result is always a freshly palloc'd datum.
584 */
585static text *
587{
589 int32 S = start; /* start position */
590 int32 S1; /* adjusted start position */
591 int32 L1; /* adjusted substring length */
592 int32 E; /* end position, exclusive */
593
594 /*
595 * SQL99 says S can be zero or negative (which we don't document), but we
596 * still must fetch from the start of the string.
597 * https://www.postgresql.org/message-id/170905442373.643.11536838320909376197%40wrigleys.postgresql.org
598 */
599 S1 = Max(S, 1);
600
601 /* life is easy if the encoding max length is 1 */
602 if (eml == 1)
603 {
604 if (length_not_specified) /* special case - get length to end of
605 * string */
606 L1 = -1;
607 else if (length < 0)
608 {
609 /* SQL99 says to throw an error for E < S, i.e., negative length */
612 errmsg("negative substring length not allowed")));
613 L1 = -1; /* silence stupider compilers */
614 }
615 else if (pg_add_s32_overflow(S, length, &E))
616 {
617 /*
618 * L could be large enough for S + L to overflow, in which case
619 * the substring must run to end of string.
620 */
621 L1 = -1;
622 }
623 else
624 {
625 /*
626 * A zero or negative value for the end position can happen if the
627 * start was negative or one. SQL99 says to return a zero-length
628 * string.
629 */
630 if (E < 1)
631 return cstring_to_text("");
632
633 L1 = E - S1;
634 }
635
636 /*
637 * If the start position is past the end of the string, SQL99 says to
638 * return a zero-length string -- DatumGetTextPSlice() will do that
639 * for us. We need only convert S1 to zero-based starting position.
640 */
641 return DatumGetTextPSlice(str, S1 - 1, L1);
642 }
643 else if (eml > 1)
644 {
645 /*
646 * When encoding max length is > 1, we can't get LC without
647 * detoasting, so we'll grab a conservatively large slice now and go
648 * back later to do the right thing
649 */
653 int32 slice_len;
654 text *slice;
655 int32 E1;
656 int32 i;
657 char *p;
658 char *s;
659 text *ret;
660
661 /*
662 * We need to start at position zero because there is no way to know
663 * in advance which byte offset corresponds to the supplied start
664 * position.
665 */
666 slice_start = 0;
667
668 if (length_not_specified) /* special case - get length to end of
669 * string */
670 E = slice_size = L1 = -1;
671 else if (length < 0)
672 {
673 /* SQL99 says to throw an error for E < S, i.e., negative length */
676 errmsg("negative substring length not allowed")));
677 E = slice_size = L1 = -1; /* silence stupider compilers */
678 }
679 else if (pg_add_s32_overflow(S, length, &E))
680 {
681 /*
682 * L could be large enough for S + L to overflow, in which case
683 * the substring must run to end of string.
684 */
685 slice_size = L1 = -1;
686 }
687 else
688 {
689 /*
690 * Ending at position 1, exclusive, obviously yields an empty
691 * string. A zero or negative value can happen if the start was
692 * negative or one. SQL99 says to return a zero-length string.
693 */
694 if (E <= 1)
695 return cstring_to_text("");
696
697 /*
698 * if E is past the end of the string, the tuple toaster will
699 * truncate the length for us
700 */
701 L1 = E - S1;
702
703 /*
704 * Total slice size in bytes can't be any longer than the
705 * inclusive end position times the encoding max length. If that
706 * overflows, we can just use -1.
707 */
708 if (pg_mul_s32_overflow(E - 1, eml, &slice_size))
709 slice_size = -1;
710 }
711
712 /*
713 * If we're working with an untoasted source, no need to do an extra
714 * copying step.
715 */
719 else
720 slice = (text *) DatumGetPointer(str);
721
722 /* see if we got back an empty string */
723 slice_len = VARSIZE_ANY_EXHDR(slice);
724 if (slice_len == 0)
725 {
726 if (slice != (text *) DatumGetPointer(str))
727 pfree(slice);
728 return cstring_to_text("");
729 }
730
731 /*
732 * Now we can get the actual length of the slice in MB characters,
733 * stopping at the end of the substring. Continuing beyond the
734 * substring end could find an incomplete character attributable
735 * solely to DatumGetTextPSlice() chopping in the middle of a
736 * character, and it would be superfluous work at best.
737 */
739 (slice_size == -1 ?
740 pg_mbstrlen_with_len(VARDATA_ANY(slice), slice_len) :
741 pg_mbcharcliplen_chars(VARDATA_ANY(slice), slice_len, E - 1));
742
743 /*
744 * Check that the start position wasn't > slice_strlen. If so, SQL99
745 * says to return a zero-length string.
746 */
747 if (S1 > slice_strlen)
748 {
749 if (slice != (text *) DatumGetPointer(str))
750 pfree(slice);
751 return cstring_to_text("");
752 }
753
754 /*
755 * Adjust L1 and E1 now that we know the slice string length. Again
756 * remember that S1 is one based, and slice_start is zero based.
757 */
758 if (L1 > -1)
759 E1 = Min(S1 + L1, slice_start + 1 + slice_strlen);
760 else
762
763 /*
764 * Find the start position in the slice; remember S1 is not zero based
765 */
766 p = VARDATA_ANY(slice);
767 for (i = 0; i < S1 - 1; i++)
768 p += pg_mblen_unbounded(p);
769
770 /* hang onto a pointer to our start position */
771 s = p;
772
773 /*
774 * Count the actual bytes used by the substring of the requested
775 * length.
776 */
777 for (i = S1; i < E1; i++)
778 p += pg_mblen_unbounded(p);
779
780 ret = (text *) palloc(VARHDRSZ + (p - s));
781 SET_VARSIZE(ret, VARHDRSZ + (p - s));
782 memcpy(VARDATA(ret), s, (p - s));
783
784 if (slice != (text *) DatumGetPointer(str))
785 pfree(slice);
786
787 return ret;
788 }
789 else
790 elog(ERROR, "invalid backend encoding: encoding max length < 1");
791
792 /* not reached: suppress compiler warning */
793 return NULL;
794}
795
796/*
797 * pg_mbcharcliplen_chars -
798 * Mirror pg_mbcharcliplen(), except return value unit is chars, not bytes.
799 *
800 * This mirrors all the dubious historical behavior, so it's static to
801 * discourage proliferation. The assertions are specific to the one caller.
802 */
803static int
804pg_mbcharcliplen_chars(const char *mbstr, int len, int limit)
805{
806 int nch = 0;
807 int l;
808
809 Assert(len > 0);
810 Assert(limit > 0);
812
813 while (len > 0 && *mbstr)
814 {
816 nch++;
817 if (nch == limit)
818 break;
819 len -= l;
820 mbstr += l;
821 }
822 return nch;
823}
824
825/*
826 * textoverlay
827 * Replace specified substring of first string with second
828 *
829 * The SQL standard defines OVERLAY() in terms of substring and concatenation.
830 * This code is a direct implementation of what the standard says.
831 */
832Datum
834{
837 int sp = PG_GETARG_INT32(2); /* substring start position */
838 int sl = PG_GETARG_INT32(3); /* substring length */
839
841}
842
843Datum
845{
848 int sp = PG_GETARG_INT32(2); /* substring start position */
849 int sl;
850
851 sl = text_length(PointerGetDatum(t2)); /* defaults to length(t2) */
853}
854
855static text *
857{
858 text *result;
859 text *s1;
860 text *s2;
861 int sp_pl_sl;
862
863 /*
864 * Check for possible integer-overflow cases. For negative sp, throw a
865 * "substring length" error because that's what should be expected
866 * according to the spec's definition of OVERLAY().
867 */
868 if (sp <= 0)
871 errmsg("negative substring length not allowed")));
875 errmsg("integer out of range")));
876
877 s1 = text_substring(PointerGetDatum(t1), 1, sp - 1, false);
879 result = text_catenate(s1, t2);
880 result = text_catenate(result, s2);
881
882 return result;
883}
884
885/*
886 * textpos -
887 * Return the position of the specified substring.
888 * Implements the SQL POSITION() function.
889 * Ref: A Guide To The SQL Standard, Date & Darwen, 1997
890 * - thomas 1997-07-27
891 */
892Datum
900
901/*
902 * text_position -
903 * Does the real work for textpos()
904 *
905 * Inputs:
906 * t1 - string to be searched
907 * t2 - pattern to match within t1
908 * Result:
909 * Character index of the first matched char, starting from 1,
910 * or 0 if no match.
911 *
912 * This is broken out so it can be called directly by other string processing
913 * functions.
914 */
915static int
917{
919 int result;
920
922
923 /* Empty needle always matches at position 1 */
924 if (VARSIZE_ANY_EXHDR(t2) < 1)
925 return 1;
926
927 /* Otherwise, can't match if haystack is shorter than needle */
929 pg_newlocale_from_collation(collid)->deterministic)
930 return 0;
931
933 /* don't need greedy mode here */
934 state.greedy = false;
935
937 result = 0;
938 else
941 return result;
942}
943
944
945/*
946 * text_position_setup, text_position_next, text_position_cleanup -
947 * Component steps of text_position()
948 *
949 * These are broken out so that a string can be efficiently searched for
950 * multiple occurrences of the same pattern. text_position_next may be
951 * called multiple times, and it advances to the next match on each call.
952 * text_position_get_match_ptr() and text_position_get_match_pos() return
953 * a pointer or 1-based character position of the last match, respectively.
954 *
955 * The "state" variable is normally just a local variable in the caller.
956 *
957 * NOTE: text_position_next skips over the matched portion. For example,
958 * searching for "xx" in "xxx" returns only one match, not two.
959 */
960
961static void
963{
964 int len1 = VARSIZE_ANY_EXHDR(t1);
965 int len2 = VARSIZE_ANY_EXHDR(t2);
966
968
970
971 /*
972 * Most callers need greedy mode, but some might want to unset this to
973 * optimize.
974 */
975 state->greedy = true;
976
977 Assert(len2 > 0);
978
979 /*
980 * Even with a multi-byte encoding, we perform the search using the raw
981 * byte sequence, ignoring multibyte issues. For UTF-8, that works fine,
982 * because in UTF-8 the byte sequence of one character cannot contain
983 * another character. For other multi-byte encodings, we do the search
984 * initially as a simple byte search, ignoring multibyte issues, but
985 * verify afterwards that the match we found is at a character boundary,
986 * and continue the search if it was a false match.
987 */
989 state->is_multibyte_char_in_char = false;
990 else if (GetDatabaseEncoding() == PG_UTF8)
991 state->is_multibyte_char_in_char = false;
992 else
993 state->is_multibyte_char_in_char = true;
994
995 state->str1 = VARDATA_ANY(t1);
996 state->str2 = VARDATA_ANY(t2);
997 state->len1 = len1;
998 state->len2 = len2;
999 state->last_match = NULL;
1000 state->refpoint = state->str1;
1001 state->refpos = 0;
1002
1003 /*
1004 * Prepare the skip table for Boyer-Moore-Horspool searching. In these
1005 * notes we use the terminology that the "haystack" is the string to be
1006 * searched (t1) and the "needle" is the pattern being sought (t2).
1007 *
1008 * If the needle is empty or bigger than the haystack then there is no
1009 * point in wasting cycles initializing the table. We also choose not to
1010 * use B-M-H for needles of length 1, since the skip table can't possibly
1011 * save anything in that case.
1012 *
1013 * (With nondeterministic collations, the search is already
1014 * multibyte-aware, so we don't need this.)
1015 */
1016 if (len1 >= len2 && len2 > 1 && state->locale->deterministic)
1017 {
1018 int searchlength = len1 - len2;
1019 int skiptablemask;
1020 int last;
1021 int i;
1022 const char *str2 = state->str2;
1023
1024 /*
1025 * First we must determine how much of the skip table to use. The
1026 * declaration of TextPositionState allows up to 256 elements, but for
1027 * short search problems we don't really want to have to initialize so
1028 * many elements --- it would take too long in comparison to the
1029 * actual search time. So we choose a useful skip table size based on
1030 * the haystack length minus the needle length. The closer the needle
1031 * length is to the haystack length the less useful skipping becomes.
1032 *
1033 * Note: since we use bit-masking to select table elements, the skip
1034 * table size MUST be a power of 2, and so the mask must be 2^N-1.
1035 */
1036 if (searchlength < 16)
1037 skiptablemask = 3;
1038 else if (searchlength < 64)
1039 skiptablemask = 7;
1040 else if (searchlength < 128)
1041 skiptablemask = 15;
1042 else if (searchlength < 512)
1043 skiptablemask = 31;
1044 else if (searchlength < 2048)
1045 skiptablemask = 63;
1046 else if (searchlength < 4096)
1047 skiptablemask = 127;
1048 else
1049 skiptablemask = 255;
1050 state->skiptablemask = skiptablemask;
1051
1052 /*
1053 * Initialize the skip table. We set all elements to the needle
1054 * length, since this is the correct skip distance for any character
1055 * not found in the needle.
1056 */
1057 for (i = 0; i <= skiptablemask; i++)
1058 state->skiptable[i] = len2;
1059
1060 /*
1061 * Now examine the needle. For each character except the last one,
1062 * set the corresponding table element to the appropriate skip
1063 * distance. Note that when two characters share the same skip table
1064 * entry, the one later in the needle must determine the skip
1065 * distance.
1066 */
1067 last = len2 - 1;
1068
1069 for (i = 0; i < last; i++)
1070 state->skiptable[(unsigned char) str2[i] & skiptablemask] = last - i;
1071 }
1072}
1073
1074/*
1075 * Advance to the next match, starting from the end of the previous match
1076 * (or the beginning of the string, on first call). Returns true if a match
1077 * is found.
1078 *
1079 * Note that this refuses to match an empty-string needle. Most callers
1080 * will have handled that case specially and we'll never see it here.
1081 */
1082static bool
1084{
1085 int needle_len = state->len2;
1086 char *start_ptr;
1087 char *matchptr;
1088
1089 if (needle_len <= 0)
1090 return false; /* result for empty pattern */
1091
1092 /* Start from the point right after the previous match. */
1093 if (state->last_match)
1094 start_ptr = state->last_match + state->last_match_len;
1095 else
1096 start_ptr = state->str1;
1097
1098retry:
1100
1101 if (!matchptr)
1102 return false;
1103
1104 /*
1105 * Found a match for the byte sequence. If this is a multibyte encoding,
1106 * where one character's byte sequence can appear inside a longer
1107 * multi-byte character, we need to verify that the match was at a
1108 * character boundary, not in the middle of a multi-byte character.
1109 */
1110 if (state->is_multibyte_char_in_char && state->locale->deterministic)
1111 {
1112 const char *haystack_end = state->str1 + state->len1;
1113
1114 /* Walk one character at a time, until we reach the match. */
1115
1116 /* the search should never move backwards. */
1117 Assert(state->refpoint <= matchptr);
1118
1119 while (state->refpoint < matchptr)
1120 {
1121 /* step to next character. */
1122 state->refpoint += pg_mblen_range(state->refpoint, haystack_end);
1123 state->refpos++;
1124
1125 /*
1126 * If we stepped over the match's start position, then it was a
1127 * false positive, where the byte sequence appeared in the middle
1128 * of a multi-byte character. Skip it, and continue the search at
1129 * the next character boundary.
1130 */
1131 if (state->refpoint > matchptr)
1132 {
1133 start_ptr = state->refpoint;
1134 goto retry;
1135 }
1136 }
1137 }
1138
1139 state->last_match = matchptr;
1140 state->last_match_len = state->last_match_len_tmp;
1141 return true;
1142}
1143
1144/*
1145 * Subroutine of text_position_next(). This searches for the raw byte
1146 * sequence, ignoring any multi-byte encoding issues. Returns the first
1147 * match starting at 'start_ptr', or NULL if no match is found.
1148 */
1149static char *
1151{
1152 int haystack_len = state->len1;
1153 int needle_len = state->len2;
1154 int skiptablemask = state->skiptablemask;
1155 const char *haystack = state->str1;
1156 const char *needle = state->str2;
1157 const char *haystack_end = &haystack[haystack_len];
1158 const char *hptr;
1159
1161 Assert(needle_len > 0);
1162
1163 state->last_match_len_tmp = needle_len;
1164
1165 if (!state->locale->deterministic)
1166 {
1167 /*
1168 * With a nondeterministic collation, we have to use an unoptimized
1169 * route. We walk through the haystack and see if at each position
1170 * there is a substring of the remaining string that is equal to the
1171 * needle under the given collation.
1172 *
1173 * Note, the found substring could have a different length than the
1174 * needle. Callers that want to skip over the found string need to
1175 * read the length of the found substring from last_match_len rather
1176 * than just using the length of their needle.
1177 *
1178 * Most callers will require "greedy" semantics, meaning that we need
1179 * to find the longest such substring, not the shortest. For callers
1180 * that don't need greedy semantics, we can finish on the first match.
1181 *
1182 * This loop depends on the assumption that the needle is nonempty and
1183 * any matching substring must also be nonempty. (Even if the
1184 * collation would accept an empty match, returning one would send
1185 * callers that search for successive matches into an infinite loop.)
1186 */
1187 const char *result_hptr = NULL;
1188
1189 hptr = start_ptr;
1190 while (hptr < haystack_end)
1191 {
1192 const char *test_end;
1193
1194 /*
1195 * First check the common case that there is a match in the
1196 * haystack of exactly the length of the needle.
1197 */
1198 if (!state->greedy &&
1201 return (char *) hptr;
1202
1203 /*
1204 * Else check if any of the non-empty substrings starting at hptr
1205 * compare equal to the needle.
1206 */
1207 test_end = hptr;
1208 do
1209 {
1211 if (pg_strncoll(hptr, (test_end - hptr), needle, needle_len, state->locale) == 0)
1212 {
1213 state->last_match_len_tmp = (test_end - hptr);
1214 result_hptr = hptr;
1215 if (!state->greedy)
1216 break;
1217 }
1218 } while (test_end < haystack_end);
1219
1220 if (result_hptr)
1221 break;
1222
1224 }
1225
1226 return (char *) result_hptr;
1227 }
1228 else if (needle_len == 1)
1229 {
1230 /* No point in using B-M-H for a one-character needle */
1231 char nchar = *needle;
1232
1233 hptr = start_ptr;
1234 while (hptr < haystack_end)
1235 {
1236 if (*hptr == nchar)
1237 return (char *) hptr;
1238 hptr++;
1239 }
1240 }
1241 else
1242 {
1243 const char *needle_last = &needle[needle_len - 1];
1244
1245 /* Start at startpos plus the length of the needle */
1246 hptr = start_ptr + needle_len - 1;
1247 while (hptr < haystack_end)
1248 {
1249 /* Match the needle scanning *backward* */
1250 const char *nptr;
1251 const char *p;
1252
1253 nptr = needle_last;
1254 p = hptr;
1255 while (*nptr == *p)
1256 {
1257 /* Matched it all? If so, return 1-based position */
1258 if (nptr == needle)
1259 return (char *) p;
1260 nptr--, p--;
1261 }
1262
1263 /*
1264 * No match, so use the haystack char at hptr to decide how far to
1265 * advance. If the needle had any occurrence of that character
1266 * (or more precisely, one sharing the same skiptable entry)
1267 * before its last character, then we advance far enough to align
1268 * the last such needle character with that haystack position.
1269 * Otherwise we can advance by the whole needle length.
1270 */
1271 hptr += state->skiptable[(unsigned char) *hptr & skiptablemask];
1272 }
1273 }
1274
1275 return 0; /* not found */
1276}
1277
1278/*
1279 * Return a pointer to the current match.
1280 *
1281 * The returned pointer points into the original haystack string.
1282 */
1283static char *
1285{
1286 return state->last_match;
1287}
1288
1289/*
1290 * Return the offset of the current match.
1291 *
1292 * The offset is in characters, 1-based.
1293 */
1294static int
1296{
1297 /* Convert the byte position to char position. */
1298 state->refpos += pg_mbstrlen_with_len(state->refpoint,
1299 state->last_match - state->refpoint);
1300 state->refpoint = state->last_match;
1301 return state->refpos + 1;
1302}
1303
1304/*
1305 * Reset search state to the initial state installed by text_position_setup.
1306 *
1307 * The next call to text_position_next will search from the beginning
1308 * of the string.
1309 */
1310static void
1312{
1313 state->last_match = NULL;
1314 state->refpoint = state->str1;
1315 state->refpos = 0;
1316}
1317
1318static void
1320{
1321 /* no cleanup needed */
1322}
1323
1324
1325static void
1327{
1328 if (!OidIsValid(collid))
1329 {
1330 /*
1331 * This typically means that the parser could not resolve a conflict
1332 * of implicit collations, so report it that way.
1333 */
1334 ereport(ERROR,
1336 errmsg("could not determine which collation to use for string comparison"),
1337 errhint("Use the COLLATE clause to set the collation explicitly.")));
1338 }
1339}
1340
1341/*
1342 * varstr_cmp()
1343 *
1344 * Comparison function for text strings with given lengths, using the
1345 * appropriate locale. Returns an integer less than, equal to, or greater than
1346 * zero, indicating whether arg1 is less than, equal to, or greater than arg2.
1347 *
1348 * Note: many functions that depend on this are marked leakproof; therefore,
1349 * avoid reporting the actual contents of the input when throwing errors.
1350 * All errors herein should be things that can't happen except on corrupt
1351 * data, anyway; otherwise we will have trouble with indexing strings that
1352 * would cause them.
1353 */
1354int
1355varstr_cmp(const char *arg1, int len1, const char *arg2, int len2, Oid collid)
1356{
1357 int result;
1359
1361
1363
1364 if (mylocale->collate_is_c)
1365 {
1366 result = memcmp(arg1, arg2, Min(len1, len2));
1367 if ((result == 0) && (len1 != len2))
1368 result = (len1 < len2) ? -1 : 1;
1369 }
1370 else
1371 {
1372 /*
1373 * memcmp() can't tell us which of two unequal strings sorts first,
1374 * but it's a cheap way to tell if they're equal. Testing shows that
1375 * memcmp() followed by strcoll() is only trivially slower than
1376 * strcoll() by itself, so we don't lose much if this doesn't work out
1377 * very often, and if it does - for example, because there are many
1378 * equal strings in the input - then we win big by avoiding expensive
1379 * collation-aware comparisons.
1380 */
1381 if (len1 == len2 && memcmp(arg1, arg2, len1) == 0)
1382 return 0;
1383
1384 result = pg_strncoll(arg1, len1, arg2, len2, mylocale);
1385
1386 /* Break tie if necessary. */
1387 if (result == 0 && mylocale->deterministic)
1388 {
1389 result = memcmp(arg1, arg2, Min(len1, len2));
1390 if ((result == 0) && (len1 != len2))
1391 result = (len1 < len2) ? -1 : 1;
1392 }
1393 }
1394
1395 return result;
1396}
1397
1398/* text_cmp()
1399 * Internal comparison function for text strings.
1400 * Returns -1, 0 or 1
1401 */
1402static int
1404{
1405 char *a1p,
1406 *a2p;
1407 int len1,
1408 len2;
1409
1410 a1p = VARDATA_ANY(arg1);
1411 a2p = VARDATA_ANY(arg2);
1412
1413 len1 = VARSIZE_ANY_EXHDR(arg1);
1414 len2 = VARSIZE_ANY_EXHDR(arg2);
1415
1416 return varstr_cmp(a1p, len1, a2p, len2, collid);
1417}
1418
1419/*
1420 * Comparison functions for text strings.
1421 *
1422 * Note: btree indexes need these routines not to leak memory; therefore,
1423 * be careful to free working copies of toasted datums. Most places don't
1424 * need to be so careful.
1425 */
1426
1427Datum
1429{
1432 bool result;
1433
1435
1437
1438 if (mylocale->deterministic)
1439 {
1442 Size len1,
1443 len2;
1444
1445 /*
1446 * Since we only care about equality or not-equality, we can avoid all
1447 * the expense of strcoll() here, and just do bitwise comparison. In
1448 * fact, we don't even have to do a bitwise comparison if we can show
1449 * the lengths of the strings are unequal; which might save us from
1450 * having to detoast one or both values.
1451 */
1452 len1 = toast_raw_datum_size(arg1);
1453 len2 = toast_raw_datum_size(arg2);
1454 if (len1 != len2)
1455 result = false;
1456 else
1457 {
1460
1462 len1 - VARHDRSZ) == 0);
1463
1466 }
1467 }
1468 else
1469 {
1472
1473 result = (text_cmp(arg1, arg2, collid) == 0);
1474
1477 }
1478
1479 PG_RETURN_BOOL(result);
1480}
1481
1482Datum
1484{
1487 bool result;
1488
1490
1492
1493 if (mylocale->deterministic)
1494 {
1497 Size len1,
1498 len2;
1499
1500 /* See comment in texteq() */
1501 len1 = toast_raw_datum_size(arg1);
1502 len2 = toast_raw_datum_size(arg2);
1503 if (len1 != len2)
1504 result = true;
1505 else
1506 {
1509
1511 len1 - VARHDRSZ) != 0);
1512
1515 }
1516 }
1517 else
1518 {
1521
1522 result = (text_cmp(arg1, arg2, collid) != 0);
1523
1526 }
1527
1528 PG_RETURN_BOOL(result);
1529}
1530
1531Datum
1533{
1536 bool result;
1537
1538 result = (text_cmp(arg1, arg2, PG_GET_COLLATION()) < 0);
1539
1542
1543 PG_RETURN_BOOL(result);
1544}
1545
1546Datum
1548{
1551 bool result;
1552
1553 result = (text_cmp(arg1, arg2, PG_GET_COLLATION()) <= 0);
1554
1557
1558 PG_RETURN_BOOL(result);
1559}
1560
1561Datum
1563{
1566 bool result;
1567
1568 result = (text_cmp(arg1, arg2, PG_GET_COLLATION()) > 0);
1569
1572
1573 PG_RETURN_BOOL(result);
1574}
1575
1576Datum
1578{
1581 bool result;
1582
1583 result = (text_cmp(arg1, arg2, PG_GET_COLLATION()) >= 0);
1584
1587
1588 PG_RETURN_BOOL(result);
1589}
1590
1591Datum
1593{
1598 bool result;
1599 Size len1,
1600 len2;
1601
1603
1605
1606 if (!mylocale->deterministic)
1607 ereport(ERROR,
1609 errmsg("nondeterministic collations are not supported for substring searches")));
1610
1611 len1 = toast_raw_datum_size(arg1);
1612 len2 = toast_raw_datum_size(arg2);
1613 if (len2 > len1)
1614 result = false;
1615 else
1616 {
1617 text *targ1 = text_substring(arg1, 1, len2, false);
1619
1621 VARSIZE_ANY_EXHDR(targ2)) == 0);
1622
1625 }
1626
1627 PG_RETURN_BOOL(result);
1628}
1629
1630Datum
1632{
1635 int32 result;
1636
1637 result = text_cmp(arg1, arg2, PG_GET_COLLATION());
1638
1641
1642 PG_RETURN_INT32(result);
1643}
1644
1645Datum
1647{
1649 Oid collid = ssup->ssup_collation;
1650 MemoryContext oldcontext;
1651
1652 oldcontext = MemoryContextSwitchTo(ssup->ssup_cxt);
1653
1654 /* Use generic string SortSupport */
1656
1657 MemoryContextSwitchTo(oldcontext);
1658
1660}
1661
1662/*
1663 * Generic sortsupport interface for character type's operator classes.
1664 * Includes locale support, and support for BpChar semantics (i.e. removing
1665 * trailing spaces before comparison).
1666 *
1667 * Relies on the assumption that text, VarChar, and BpChar all have the
1668 * same representation.
1669 */
1670void
1672{
1673 bool abbreviate = ssup->abbreviate;
1674 bool collate_c = false;
1676 pg_locale_t locale;
1677
1679
1681
1682 /*
1683 * If possible, set ssup->comparator to a function which can be used to
1684 * directly compare two datums. If we can do this, we'll avoid the
1685 * overhead of a trip through the fmgr layer for every comparison, which
1686 * can be substantial.
1687 *
1688 * Most typically, we'll set the comparator to varlenafastcmp_locale,
1689 * which uses strcoll() to perform comparisons. We use that for the
1690 * BpChar case too, but type NAME uses namefastcmp_locale. However, if
1691 * LC_COLLATE = C, we can make things quite a bit faster with
1692 * varstrfastcmp_c, bpcharfastcmp_c, or namefastcmp_c, all of which use
1693 * memcmp() rather than strcoll().
1694 */
1695 if (locale->collate_is_c)
1696 {
1697 if (typid == BPCHAROID)
1699 else if (typid == NAMEOID)
1700 {
1701 ssup->comparator = namefastcmp_c;
1702 /* Not supporting abbreviation with type NAME, for now */
1703 abbreviate = false;
1704 }
1705 else
1707
1708 collate_c = true;
1709 }
1710 else
1711 {
1712 /*
1713 * We use varlenafastcmp_locale except for type NAME.
1714 */
1715 if (typid == NAMEOID)
1716 {
1718 /* Not supporting abbreviation with type NAME, for now */
1719 abbreviate = false;
1720 }
1721 else
1723
1724 /*
1725 * Unfortunately, it seems that abbreviation for non-C collations is
1726 * broken on many common platforms; see pg_strxfrm_enabled().
1727 *
1728 * Even apart from the risk of broken locales, it's possible that
1729 * there are platforms where the use of abbreviated keys should be
1730 * disabled at compile time. For example, macOS's strxfrm()
1731 * implementation is known to not effectively concentrate a
1732 * significant amount of entropy from the original string in earlier
1733 * transformed blobs. It's possible that other supported platforms
1734 * are similarly encumbered. So, if we ever get past disabling this
1735 * categorically, we may still want or need to disable it for
1736 * particular platforms.
1737 */
1738 if (!pg_strxfrm_enabled(locale))
1739 abbreviate = false;
1740 }
1741
1742 /*
1743 * If we're using abbreviated keys, or if we're using a locale-aware
1744 * comparison, we need to initialize a VarStringSortSupport object. Both
1745 * cases will make use of the temporary buffers we initialize here for
1746 * scratch space (and to detect requirement for BpChar semantics from
1747 * caller), and the abbreviation case requires additional state.
1748 */
1749 if (abbreviate || !collate_c)
1750 {
1752 sss->buf1 = palloc(TEXTBUFLEN);
1753 sss->buflen1 = TEXTBUFLEN;
1754 sss->buf2 = palloc(TEXTBUFLEN);
1755 sss->buflen2 = TEXTBUFLEN;
1756 /* Start with invalid values */
1757 sss->last_len1 = -1;
1758 sss->last_len2 = -1;
1759 /* Initialize */
1760 sss->last_returned = 0;
1761 if (collate_c)
1762 sss->locale = NULL;
1763 else
1764 sss->locale = locale;
1765
1766 /*
1767 * To avoid somehow confusing a strxfrm() blob and an original string,
1768 * constantly keep track of the variety of data that buf1 and buf2
1769 * currently contain.
1770 *
1771 * Comparisons may be interleaved with conversion calls. Frequently,
1772 * conversions and comparisons are batched into two distinct phases,
1773 * but the correctness of caching cannot hinge upon this. For
1774 * comparison caching, buffer state is only trusted if cache_blob is
1775 * found set to false, whereas strxfrm() caching only trusts the state
1776 * when cache_blob is found set to true.
1777 *
1778 * Arbitrarily initialize cache_blob to true.
1779 */
1780 sss->cache_blob = true;
1781 sss->collate_c = collate_c;
1782 sss->typid = typid;
1783 ssup->ssup_extra = sss;
1784
1785 /*
1786 * If possible, plan to use the abbreviated keys optimization. The
1787 * core code may switch back to authoritative comparator should
1788 * abbreviation be aborted.
1789 */
1790 if (abbreviate)
1791 {
1792 sss->prop_card = 0.20;
1793 initHyperLogLog(&sss->abbr_card, 10);
1794 initHyperLogLog(&sss->full_card, 10);
1795 ssup->abbrev_full_comparator = ssup->comparator;
1799 }
1800 }
1801}
1802
1803/*
1804 * sortsupport comparison func (for C locale case)
1805 */
1806static int
1808{
1811 char *a1p,
1812 *a2p;
1813 int len1,
1814 len2,
1815 result;
1816
1817 a1p = VARDATA_ANY(arg1);
1818 a2p = VARDATA_ANY(arg2);
1819
1820 len1 = VARSIZE_ANY_EXHDR(arg1);
1821 len2 = VARSIZE_ANY_EXHDR(arg2);
1822
1823 result = memcmp(a1p, a2p, Min(len1, len2));
1824 if ((result == 0) && (len1 != len2))
1825 result = (len1 < len2) ? -1 : 1;
1826
1827 /* We can't afford to leak memory here. */
1828 if (PointerGetDatum(arg1) != x)
1829 pfree(arg1);
1830 if (PointerGetDatum(arg2) != y)
1831 pfree(arg2);
1832
1833 return result;
1834}
1835
1836/*
1837 * sortsupport comparison func (for BpChar C locale case)
1838 *
1839 * BpChar outsources its sortsupport to this module. Specialization for the
1840 * varstr_sortsupport BpChar case, modeled on
1841 * internal_bpchar_pattern_compare().
1842 */
1843static int
1845{
1848 char *a1p,
1849 *a2p;
1850 int len1,
1851 len2,
1852 result;
1853
1854 a1p = VARDATA_ANY(arg1);
1855 a2p = VARDATA_ANY(arg2);
1856
1859
1860 result = memcmp(a1p, a2p, Min(len1, len2));
1861 if ((result == 0) && (len1 != len2))
1862 result = (len1 < len2) ? -1 : 1;
1863
1864 /* We can't afford to leak memory here. */
1865 if (PointerGetDatum(arg1) != x)
1866 pfree(arg1);
1867 if (PointerGetDatum(arg2) != y)
1868 pfree(arg2);
1869
1870 return result;
1871}
1872
1873/*
1874 * sortsupport comparison func (for NAME C locale case)
1875 */
1876static int
1878{
1881
1883}
1884
1885/*
1886 * sortsupport comparison func (for locale case with all varlena types)
1887 */
1888static int
1890{
1893 char *a1p,
1894 *a2p;
1895 int len1,
1896 len2,
1897 result;
1898
1899 a1p = VARDATA_ANY(arg1);
1900 a2p = VARDATA_ANY(arg2);
1901
1902 len1 = VARSIZE_ANY_EXHDR(arg1);
1903 len2 = VARSIZE_ANY_EXHDR(arg2);
1904
1905 result = varstrfastcmp_locale(a1p, len1, a2p, len2, ssup);
1906
1907 /* We can't afford to leak memory here. */
1908 if (PointerGetDatum(arg1) != x)
1909 pfree(arg1);
1910 if (PointerGetDatum(arg2) != y)
1911 pfree(arg2);
1912
1913 return result;
1914}
1915
1916/*
1917 * sortsupport comparison func (for locale case with NAME type)
1918 */
1919static int
1921{
1924
1927 ssup);
1928}
1929
1930/*
1931 * sortsupport comparison func for locale cases
1932 */
1933static int
1934varstrfastcmp_locale(char *a1p, int len1, char *a2p, int len2, SortSupport ssup)
1935{
1937 int result;
1938 bool arg1_match;
1939
1940 /* Fast pre-check for equality, as discussed in varstr_cmp() */
1941 if (len1 == len2 && memcmp(a1p, a2p, len1) == 0)
1942 {
1943 /*
1944 * No change in buf1 or buf2 contents, so avoid changing last_len1 or
1945 * last_len2. Existing contents of buffers might still be used by
1946 * next call.
1947 *
1948 * It's fine to allow the comparison of BpChar padding bytes here,
1949 * even though that implies that the memcmp() will usually be
1950 * performed for BpChar callers (though multibyte characters could
1951 * still prevent that from occurring). The memcmp() is still very
1952 * cheap, and BpChar's funny semantics have us remove trailing spaces
1953 * (not limited to padding), so we need make no distinction between
1954 * padding space characters and "real" space characters.
1955 */
1956 return 0;
1957 }
1958
1959 if (sss->typid == BPCHAROID)
1960 {
1961 /* Get true number of bytes, ignoring trailing spaces */
1962 len1 = bpchartruelen(a1p, len1);
1963 len2 = bpchartruelen(a2p, len2);
1964 }
1965
1966 if (len1 >= sss->buflen1)
1967 {
1968 sss->buflen1 = Max(len1 + 1, Min(sss->buflen1 * 2, MaxAllocSize));
1969 sss->buf1 = repalloc(sss->buf1, sss->buflen1);
1970 }
1971 if (len2 >= sss->buflen2)
1972 {
1973 sss->buflen2 = Max(len2 + 1, Min(sss->buflen2 * 2, MaxAllocSize));
1974 sss->buf2 = repalloc(sss->buf2, sss->buflen2);
1975 }
1976
1977 /*
1978 * We're likely to be asked to compare the same strings repeatedly, and
1979 * memcmp() is so much cheaper than strcoll() that it pays to try to cache
1980 * comparisons, even though in general there is no reason to think that
1981 * that will work out (every string datum may be unique). Caching does
1982 * not slow things down measurably when it doesn't work out, and can speed
1983 * things up by rather a lot when it does. In part, this is because the
1984 * memcmp() compares data from cachelines that are needed in L1 cache even
1985 * when the last comparison's result cannot be reused.
1986 */
1987 arg1_match = true;
1988 if (len1 != sss->last_len1 || memcmp(sss->buf1, a1p, len1) != 0)
1989 {
1990 arg1_match = false;
1991 memcpy(sss->buf1, a1p, len1);
1992 sss->buf1[len1] = '\0';
1993 sss->last_len1 = len1;
1994 }
1995
1996 /*
1997 * If we're comparing the same two strings as last time, we can return the
1998 * same answer without calling strcoll() again. This is more likely than
1999 * it seems (at least with moderate to low cardinality sets), because
2000 * quicksort compares the same pivot against many values.
2001 */
2002 if (len2 != sss->last_len2 || memcmp(sss->buf2, a2p, len2) != 0)
2003 {
2004 memcpy(sss->buf2, a2p, len2);
2005 sss->buf2[len2] = '\0';
2006 sss->last_len2 = len2;
2007 }
2008 else if (arg1_match && !sss->cache_blob)
2009 {
2010 /* Use result cached following last actual strcoll() call */
2011 return sss->last_returned;
2012 }
2013
2014 result = pg_strcoll(sss->buf1, sss->buf2, sss->locale);
2015
2016 /* Break tie if necessary. */
2017 if (result == 0 && sss->locale->deterministic)
2018 result = strcmp(sss->buf1, sss->buf2);
2019
2020 /* Cache result, perhaps saving an expensive strcoll() call next time */
2021 sss->cache_blob = false;
2022 sss->last_returned = result;
2023 return result;
2024}
2025
2026/*
2027 * Conversion routine for sortsupport. Converts original to abbreviated key
2028 * representation. Our encoding strategy is simple -- pack the first 8 bytes
2029 * of a strxfrm() blob into a Datum (on little-endian machines, the 8 bytes are
2030 * stored in reverse order), and treat it as an unsigned integer. When the "C"
2031 * locale is used just memcpy() from original instead.
2032 */
2033static Datum
2035{
2036 const size_t max_prefix_bytes = sizeof(Datum);
2040
2041 /* working state */
2042 Datum res;
2043 char *pres;
2044 int len;
2045 uint32 hash;
2046
2047 pres = (char *) &res;
2048 /* memset(), so any non-overwritten bytes are NUL */
2051
2052 /* Get number of bytes, ignoring trailing spaces */
2053 if (sss->typid == BPCHAROID)
2055
2056 /*
2057 * If we're using the C collation, use memcpy(), rather than strxfrm(), to
2058 * abbreviate keys. The full comparator for the C locale is also
2059 * memcmp(). This should be faster than strxfrm().
2060 */
2061 if (sss->collate_c)
2063 else
2064 {
2065 Size bsize;
2066
2067 /*
2068 * We're not using the C collation, so fall back on strxfrm or ICU
2069 * analogs.
2070 */
2071
2072 /* By convention, we use buffer 1 to store and NUL-terminate */
2073 if (len >= sss->buflen1)
2074 {
2075 sss->buflen1 = Max(len + 1, Min(sss->buflen1 * 2, MaxAllocSize));
2076 sss->buf1 = repalloc(sss->buf1, sss->buflen1);
2077 }
2078
2079 /* Might be able to reuse strxfrm() blob from last call */
2080 if (sss->last_len1 == len && sss->cache_blob &&
2081 memcmp(sss->buf1, authoritative_data, len) == 0)
2082 {
2083 memcpy(pres, sss->buf2, Min(max_prefix_bytes, sss->last_len2));
2084 /* No change affecting cardinality, so no hashing required */
2085 goto done;
2086 }
2087
2089
2090 /*
2091 * pg_strxfrm() and pg_strxfrm_prefix expect NUL-terminated strings.
2092 */
2093 sss->buf1[len] = '\0';
2094 sss->last_len1 = len;
2095
2096 if (pg_strxfrm_prefix_enabled(sss->locale))
2097 {
2098 if (sss->buflen2 < max_prefix_bytes)
2099 {
2100 sss->buflen2 = Max(max_prefix_bytes,
2101 Min(sss->buflen2 * 2, MaxAllocSize));
2102 sss->buf2 = repalloc(sss->buf2, sss->buflen2);
2103 }
2104
2105 bsize = pg_strxfrm_prefix(sss->buf2, sss->buf1,
2106 max_prefix_bytes, sss->locale);
2107 sss->last_len2 = bsize;
2108 }
2109 else
2110 {
2111 /*
2112 * Loop: Call pg_strxfrm(), possibly enlarge buffer, and try
2113 * again. The pg_strxfrm() function leaves the result buffer
2114 * content undefined if the result did not fit, so we need to
2115 * retry until everything fits, even though we only need the first
2116 * few bytes in the end.
2117 */
2118 for (;;)
2119 {
2120 bsize = pg_strxfrm(sss->buf2, sss->buf1, sss->buflen2,
2121 sss->locale);
2122
2123 sss->last_len2 = bsize;
2124 if (bsize < sss->buflen2)
2125 break;
2126
2127 /*
2128 * Grow buffer and retry.
2129 */
2130 sss->buflen2 = Max(bsize + 1,
2131 Min(sss->buflen2 * 2, MaxAllocSize));
2132 sss->buf2 = repalloc(sss->buf2, sss->buflen2);
2133 }
2134 }
2135
2136 /*
2137 * Every Datum byte is always compared. This is safe because the
2138 * strxfrm() blob is itself NUL terminated, leaving no danger of
2139 * misinterpreting any NUL bytes not intended to be interpreted as
2140 * logically representing termination.
2141 */
2143 }
2144
2145 /*
2146 * Maintain approximate cardinality of both abbreviated keys and original,
2147 * authoritative keys using HyperLogLog. Used as cheap insurance against
2148 * the worst case, where we do many string transformations for no saving
2149 * in full strcoll()-based comparisons. These statistics are used by
2150 * varstr_abbrev_abort().
2151 *
2152 * First, Hash key proper, or a significant fraction of it. Mix in length
2153 * in order to compensate for cases where differences are past
2154 * PG_CACHE_LINE_SIZE bytes, so as to limit the overhead of hashing.
2155 */
2156 hash = DatumGetUInt32(hash_any((unsigned char *) authoritative_data,
2158
2159 if (len > PG_CACHE_LINE_SIZE)
2161
2162 addHyperLogLog(&sss->full_card, hash);
2163
2164 /* Hash abbreviated key */
2165 {
2166 uint32 tmp;
2167
2168 tmp = DatumGetUInt32(res) ^ (uint32) (DatumGetUInt64(res) >> 32);
2170 }
2171
2172 addHyperLogLog(&sss->abbr_card, hash);
2173
2174 /* Cache result, perhaps saving an expensive strxfrm() call next time */
2175 sss->cache_blob = true;
2176done:
2177
2178 /*
2179 * Byteswap on little-endian machines.
2180 *
2181 * This is needed so that ssup_datum_unsigned_cmp() (an unsigned integer
2182 * 3-way comparator) works correctly on all platforms. If we didn't do
2183 * this, the comparator would have to call memcmp() with a pair of
2184 * pointers to the first byte of each abbreviated key, which is slower.
2185 */
2186 res = DatumBigEndianToNative(res);
2187
2188 /* Don't leak memory here */
2189 if (PointerGetDatum(authoritative) != original)
2191
2192 return res;
2193}
2194
2195/*
2196 * Callback for estimating effectiveness of abbreviated key optimization, using
2197 * heuristic rules. Returns value indicating if the abbreviation optimization
2198 * should be aborted, based on its projected effectiveness.
2199 */
2200static bool
2201varstr_abbrev_abort(int memtupcount, SortSupport ssup)
2202{
2204 double abbrev_distinct,
2206
2207 Assert(ssup->abbreviate);
2208
2209 /* Have a little patience */
2210 if (memtupcount < 100)
2211 return false;
2212
2214 key_distinct = estimateHyperLogLog(&sss->full_card);
2215
2216 /*
2217 * Clamp cardinality estimates to at least one distinct value. While
2218 * NULLs are generally disregarded, if only NULL values were seen so far,
2219 * that might misrepresent costs if we failed to clamp.
2220 */
2221 if (abbrev_distinct < 1.0)
2222 abbrev_distinct = 1.0;
2223
2224 if (key_distinct < 1.0)
2225 key_distinct = 1.0;
2226
2227 /*
2228 * In the worst case all abbreviated keys are identical, while at the same
2229 * time there are differences within full key strings not captured in
2230 * abbreviations.
2231 */
2232 if (trace_sort)
2233 {
2234 double norm_abbrev_card = abbrev_distinct / (double) memtupcount;
2235
2236 elog(LOG, "varstr_abbrev: abbrev_distinct after %d: %f "
2237 "(key_distinct: %f, norm_abbrev_card: %f, prop_card: %f)",
2239 sss->prop_card);
2240 }
2241
2242 /*
2243 * If the number of distinct abbreviated keys approximately matches the
2244 * number of distinct authoritative original keys, that's reason enough to
2245 * proceed. We can win even with a very low cardinality set if most
2246 * tie-breakers only memcmp(). This is by far the most important
2247 * consideration.
2248 *
2249 * While comparisons that are resolved at the abbreviated key level are
2250 * considerably cheaper than tie-breakers resolved with memcmp(), both of
2251 * those two outcomes are so much cheaper than a full strcoll() once
2252 * sorting is underway that it doesn't seem worth it to weigh abbreviated
2253 * cardinality against the overall size of the set in order to more
2254 * accurately model costs. Assume that an abbreviated comparison, and an
2255 * abbreviated comparison with a cheap memcmp()-based authoritative
2256 * resolution are equivalent.
2257 */
2258 if (abbrev_distinct > key_distinct * sss->prop_card)
2259 {
2260 /*
2261 * When we have exceeded 10,000 tuples, decay required cardinality
2262 * aggressively for next call.
2263 *
2264 * This is useful because the number of comparisons required on
2265 * average increases at a linearithmic rate, and at roughly 10,000
2266 * tuples that factor will start to dominate over the linear costs of
2267 * string transformation (this is a conservative estimate). The decay
2268 * rate is chosen to be a little less aggressive than halving -- which
2269 * (since we're called at points at which memtupcount has doubled)
2270 * would never see the cost model actually abort past the first call
2271 * following a decay. This decay rate is mostly a precaution against
2272 * a sudden, violent swing in how well abbreviated cardinality tracks
2273 * full key cardinality. The decay also serves to prevent a marginal
2274 * case from being aborted too late, when too much has already been
2275 * invested in string transformation.
2276 *
2277 * It's possible for sets of several million distinct strings with
2278 * mere tens of thousands of distinct abbreviated keys to still
2279 * benefit very significantly. This will generally occur provided
2280 * each abbreviated key is a proxy for a roughly uniform number of the
2281 * set's full keys. If it isn't so, we hope to catch that early and
2282 * abort. If it isn't caught early, by the time the problem is
2283 * apparent it's probably not worth aborting.
2284 */
2285 if (memtupcount > 10000)
2286 sss->prop_card *= 0.65;
2287
2288 return false;
2289 }
2290
2291 /*
2292 * Abort abbreviation strategy.
2293 *
2294 * The worst case, where all abbreviated keys are identical while all
2295 * original strings differ will typically only see a regression of about
2296 * 10% in execution time for small to medium sized lists of strings.
2297 * Whereas on modern CPUs where cache stalls are the dominant cost, we can
2298 * often expect very large improvements, particularly with sets of strings
2299 * of moderately high to high abbreviated cardinality. There is little to
2300 * lose but much to gain, which our strategy reflects.
2301 */
2302 if (trace_sort)
2303 elog(LOG, "varstr_abbrev: aborted abbreviation at %d "
2304 "(abbrev_distinct: %f, key_distinct: %f, prop_card: %f)",
2305 memtupcount, abbrev_distinct, key_distinct, sss->prop_card);
2306
2307 return true;
2308}
2309
2310/*
2311 * Generic equalimage support function for character type's operator classes.
2312 * Disables the use of deduplication with nondeterministic collations.
2313 */
2314Datum
2316{
2317#ifdef NOT_USED
2318 Oid opcintype = PG_GETARG_OID(0);
2319#endif
2321 pg_locale_t locale;
2322
2324
2326
2328}
2329
2330Datum
2332{
2335 text *result;
2336
2337 result = ((text_cmp(arg1, arg2, PG_GET_COLLATION()) > 0) ? arg1 : arg2);
2338
2339 PG_RETURN_TEXT_P(result);
2340}
2341
2342Datum
2344{
2347 text *result;
2348
2349 result = ((text_cmp(arg1, arg2, PG_GET_COLLATION()) < 0) ? arg1 : arg2);
2350
2351 PG_RETURN_TEXT_P(result);
2352}
2353
2354
2355/*
2356 * Cross-type comparison functions for types text and name.
2357 */
2358
2359Datum
2361{
2364 size_t len1 = strlen(NameStr(*arg1));
2365 size_t len2 = VARSIZE_ANY_EXHDR(arg2);
2367 bool result;
2368
2370
2371 if (collid == C_COLLATION_OID)
2372 result = (len1 == len2 &&
2373 memcmp(NameStr(*arg1), VARDATA_ANY(arg2), len1) == 0);
2374 else
2375 result = (varstr_cmp(NameStr(*arg1), len1,
2376 VARDATA_ANY(arg2), len2,
2377 collid) == 0);
2378
2380
2381 PG_RETURN_BOOL(result);
2382}
2383
2384Datum
2386{
2389 size_t len1 = VARSIZE_ANY_EXHDR(arg1);
2390 size_t len2 = strlen(NameStr(*arg2));
2392 bool result;
2393
2395
2396 if (collid == C_COLLATION_OID)
2397 result = (len1 == len2 &&
2398 memcmp(VARDATA_ANY(arg1), NameStr(*arg2), len1) == 0);
2399 else
2400 result = (varstr_cmp(VARDATA_ANY(arg1), len1,
2401 NameStr(*arg2), len2,
2402 collid) == 0);
2403
2405
2406 PG_RETURN_BOOL(result);
2407}
2408
2409Datum
2411{
2414 size_t len1 = strlen(NameStr(*arg1));
2415 size_t len2 = VARSIZE_ANY_EXHDR(arg2);
2417 bool result;
2418
2420
2421 if (collid == C_COLLATION_OID)
2422 result = !(len1 == len2 &&
2423 memcmp(NameStr(*arg1), VARDATA_ANY(arg2), len1) == 0);
2424 else
2425 result = !(varstr_cmp(NameStr(*arg1), len1,
2426 VARDATA_ANY(arg2), len2,
2427 collid) == 0);
2428
2430
2431 PG_RETURN_BOOL(result);
2432}
2433
2434Datum
2436{
2439 size_t len1 = VARSIZE_ANY_EXHDR(arg1);
2440 size_t len2 = strlen(NameStr(*arg2));
2442 bool result;
2443
2445
2446 if (collid == C_COLLATION_OID)
2447 result = !(len1 == len2 &&
2448 memcmp(VARDATA_ANY(arg1), NameStr(*arg2), len1) == 0);
2449 else
2450 result = !(varstr_cmp(VARDATA_ANY(arg1), len1,
2451 NameStr(*arg2), len2,
2452 collid) == 0);
2453
2455
2456 PG_RETURN_BOOL(result);
2457}
2458
2459Datum
2461{
2464 int32 result;
2465
2466 result = varstr_cmp(NameStr(*arg1), strlen(NameStr(*arg1)),
2469
2471
2472 PG_RETURN_INT32(result);
2473}
2474
2475Datum
2477{
2480 int32 result;
2481
2485
2487
2488 PG_RETURN_INT32(result);
2489}
2490
2491#define CmpCall(cmpfunc) \
2492 DatumGetInt32(DirectFunctionCall2Coll(cmpfunc, \
2493 PG_GET_COLLATION(), \
2494 PG_GETARG_DATUM(0), \
2495 PG_GETARG_DATUM(1)))
2496
2497Datum
2502
2503Datum
2508
2509Datum
2514
2515Datum
2520
2521Datum
2526
2527Datum
2532
2533Datum
2538
2539Datum
2544
2545#undef CmpCall
2546
2547
2548/*
2549 * The following operators support character-by-character comparison
2550 * of text datums, to allow building indexes suitable for LIKE clauses.
2551 * Note that the regular texteq/textne comparison operators, and regular
2552 * support functions 1 and 2 with "C" collation are assumed to be
2553 * compatible with these!
2554 */
2555
2556static int
2558{
2559 int result;
2560 int len1,
2561 len2;
2562
2563 len1 = VARSIZE_ANY_EXHDR(arg1);
2564 len2 = VARSIZE_ANY_EXHDR(arg2);
2565
2566 result = memcmp(VARDATA_ANY(arg1), VARDATA_ANY(arg2), Min(len1, len2));
2567 if (result != 0)
2568 return result;
2569 else if (len1 < len2)
2570 return -1;
2571 else if (len1 > len2)
2572 return 1;
2573 else
2574 return 0;
2575}
2576
2577
2578Datum
2580{
2583 int result;
2584
2586
2589
2590 PG_RETURN_BOOL(result < 0);
2591}
2592
2593
2594Datum
2596{
2599 int result;
2600
2602
2605
2606 PG_RETURN_BOOL(result <= 0);
2607}
2608
2609
2610Datum
2612{
2615 int result;
2616
2618
2621
2622 PG_RETURN_BOOL(result >= 0);
2623}
2624
2625
2626Datum
2628{
2631 int result;
2632
2634
2637
2638 PG_RETURN_BOOL(result > 0);
2639}
2640
2641
2642Datum
2644{
2647 int result;
2648
2650
2653
2654 PG_RETURN_INT32(result);
2655}
2656
2657
2658Datum
2660{
2662 MemoryContext oldcontext;
2663
2664 oldcontext = MemoryContextSwitchTo(ssup->ssup_cxt);
2665
2666 /* Use generic string SortSupport, forcing "C" collation */
2668
2669 MemoryContextSwitchTo(oldcontext);
2670
2672}
2673
2674
2675/* text_name()
2676 * Converts a text type to a Name type.
2677 */
2678Datum
2680{
2681 text *s = PG_GETARG_TEXT_PP(0);
2682 Name result;
2683 int len;
2684
2686
2687 /* Truncate oversize input */
2688 if (len >= NAMEDATALEN)
2690
2691 /* We use palloc0 here to ensure result is zero-padded */
2692 result = (Name) palloc0(NAMEDATALEN);
2693 memcpy(NameStr(*result), VARDATA_ANY(s), len);
2694
2695 PG_RETURN_NAME(result);
2696}
2697
2698/* name_text()
2699 * Converts a Name type to a text type.
2700 */
2701Datum
2708
2709
2710/*
2711 * textToQualifiedNameList - convert a text object to list of names
2712 *
2713 * This implements the input parsing needed by nextval() and other
2714 * functions that take a text parameter representing a qualified name.
2715 * We split the name at dots, downcase if not double-quoted, and
2716 * truncate names if they're too long.
2717 */
2718List *
2720{
2721 char *rawname;
2722 List *result = NIL;
2723 List *namelist;
2724 ListCell *l;
2725
2726 /* Convert to C string (handles possible detoasting). */
2727 /* Note we rely on being able to modify rawname below. */
2729
2731 ereport(ERROR,
2733 errmsg("invalid name syntax")));
2734
2735 if (namelist == NIL)
2736 ereport(ERROR,
2738 errmsg("invalid name syntax")));
2739
2740 foreach(l, namelist)
2741 {
2742 char *curname = (char *) lfirst(l);
2743
2744 result = lappend(result, makeString(pstrdup(curname)));
2745 }
2746
2747 pfree(rawname);
2749
2750 return result;
2751}
2752
2753/*
2754 * SplitIdentifierString --- parse a string containing identifiers
2755 *
2756 * This is the guts of textToQualifiedNameList, and is exported for use in
2757 * other situations such as parsing GUC variables. In the GUC case, it's
2758 * important to avoid memory leaks, so the API is designed to minimize the
2759 * amount of stuff that needs to be allocated and freed.
2760 *
2761 * Inputs:
2762 * rawstring: the input string; must be overwritable! On return, it's
2763 * been modified to contain the separated identifiers.
2764 * separator: the separator punctuation expected between identifiers
2765 * (typically '.' or ','). Whitespace may also appear around
2766 * identifiers.
2767 * Outputs:
2768 * namelist: filled with a palloc'd list of pointers to identifiers within
2769 * rawstring. Caller should list_free() this even on error return.
2770 *
2771 * Returns true if okay, false if there is a syntax error in the string.
2772 *
2773 * Note that an empty string is considered okay here, though not in
2774 * textToQualifiedNameList.
2775 */
2776bool
2778 List **namelist)
2779{
2780 char *nextp = rawstring;
2781 bool done = false;
2782
2783 *namelist = NIL;
2784
2785 while (scanner_isspace(*nextp))
2786 nextp++; /* skip leading whitespace */
2787
2788 if (*nextp == '\0')
2789 return true; /* empty string represents empty list */
2790
2791 /* At the top of the loop, we are at start of a new identifier. */
2792 do
2793 {
2794 char *curname;
2795 char *endp;
2796
2797 if (*nextp == '"')
2798 {
2799 /* Quoted name --- collapse quote-quote pairs, no downcasing */
2800 curname = nextp + 1;
2801 for (;;)
2802 {
2803 endp = strchr(nextp + 1, '"');
2804 if (endp == NULL)
2805 return false; /* mismatched quotes */
2806 if (endp[1] != '"')
2807 break; /* found end of quoted name */
2808 /* Collapse adjacent quotes into one quote, and look again */
2809 memmove(endp, endp + 1, strlen(endp));
2810 nextp = endp;
2811 }
2812 /* endp now points at the terminating quote */
2813 nextp = endp + 1;
2814 }
2815 else
2816 {
2817 /* Unquoted name --- extends to separator or whitespace */
2818 char *downname;
2819 int len;
2820
2821 curname = nextp;
2822 while (*nextp && *nextp != separator &&
2824 nextp++;
2825 endp = nextp;
2826 if (curname == nextp)
2827 return false; /* empty unquoted name not allowed */
2828
2829 /*
2830 * Downcase the identifier, using same code as main lexer does.
2831 *
2832 * XXX because we want to overwrite the input in-place, we cannot
2833 * support a downcasing transformation that increases the string
2834 * length. This is not a problem given the current implementation
2835 * of downcase_truncate_identifier, but we'll probably have to do
2836 * something about this someday.
2837 */
2838 len = endp - curname;
2841 strncpy(curname, downname, len); /* strncpy is required here */
2842 pfree(downname);
2843 }
2844
2845 while (scanner_isspace(*nextp))
2846 nextp++; /* skip trailing whitespace */
2847
2848 if (*nextp == separator)
2849 {
2850 nextp++;
2851 while (scanner_isspace(*nextp))
2852 nextp++; /* skip leading whitespace for next */
2853 /* we expect another name, so done remains false */
2854 }
2855 else if (*nextp == '\0')
2856 done = true;
2857 else
2858 return false; /* invalid syntax */
2859
2860 /* Now safe to overwrite separator with a null */
2861 *endp = '\0';
2862
2863 /* Truncate name if it's overlength */
2865
2866 /*
2867 * Finished isolating current name --- add it to list
2868 */
2870
2871 /* Loop back if we didn't reach end of string */
2872 } while (!done);
2873
2874 return true;
2875}
2876
2877
2878/*
2879 * SplitDirectoriesString --- parse a string containing file/directory names
2880 *
2881 * This works fine on file names too; the function name is historical.
2882 *
2883 * This is similar to SplitIdentifierString, except that the parsing
2884 * rules are meant to handle pathnames instead of identifiers: there is
2885 * no downcasing, embedded spaces are allowed, the max length is MAXPGPATH-1,
2886 * and we apply canonicalize_path() to each extracted string. Because of the
2887 * last, the returned strings are separately palloc'd rather than being
2888 * pointers into rawstring --- but we still scribble on rawstring.
2889 *
2890 * Inputs:
2891 * rawstring: the input string; must be modifiable!
2892 * separator: the separator punctuation expected between directories
2893 * (typically ',' or ';'). Whitespace may also appear around
2894 * directories.
2895 * Outputs:
2896 * namelist: filled with a palloc'd list of directory names.
2897 * Caller should list_free_deep() this even on error return.
2898 *
2899 * Returns true if okay, false if there is a syntax error in the string.
2900 *
2901 * Note that an empty string is considered okay here.
2902 */
2903bool
2905 List **namelist)
2906{
2907 char *nextp = rawstring;
2908 bool done = false;
2909
2910 *namelist = NIL;
2911
2912 while (scanner_isspace(*nextp))
2913 nextp++; /* skip leading whitespace */
2914
2915 if (*nextp == '\0')
2916 return true; /* empty string represents empty list */
2917
2918 /* At the top of the loop, we are at start of a new directory. */
2919 do
2920 {
2921 char *curname;
2922 char *endp;
2923
2924 if (*nextp == '"')
2925 {
2926 /* Quoted name --- collapse quote-quote pairs */
2927 curname = nextp + 1;
2928 for (;;)
2929 {
2930 endp = strchr(nextp + 1, '"');
2931 if (endp == NULL)
2932 return false; /* mismatched quotes */
2933 if (endp[1] != '"')
2934 break; /* found end of quoted name */
2935 /* Collapse adjacent quotes into one quote, and look again */
2936 memmove(endp, endp + 1, strlen(endp));
2937 nextp = endp;
2938 }
2939 /* endp now points at the terminating quote */
2940 nextp = endp + 1;
2941 }
2942 else
2943 {
2944 /* Unquoted name --- extends to separator or end of string */
2945 curname = endp = nextp;
2946 while (*nextp && *nextp != separator)
2947 {
2948 /* trailing whitespace should not be included in name */
2949 if (!scanner_isspace(*nextp))
2950 endp = nextp + 1;
2951 nextp++;
2952 }
2953 if (curname == endp)
2954 return false; /* empty unquoted name not allowed */
2955 }
2956
2957 while (scanner_isspace(*nextp))
2958 nextp++; /* skip trailing whitespace */
2959
2960 if (*nextp == separator)
2961 {
2962 nextp++;
2963 while (scanner_isspace(*nextp))
2964 nextp++; /* skip leading whitespace for next */
2965 /* we expect another name, so done remains false */
2966 }
2967 else if (*nextp == '\0')
2968 done = true;
2969 else
2970 return false; /* invalid syntax */
2971
2972 /* Now safe to overwrite separator with a null */
2973 *endp = '\0';
2974
2975 /* Truncate path if it's overlength */
2976 if (strlen(curname) >= MAXPGPATH)
2977 curname[MAXPGPATH - 1] = '\0';
2978
2979 /*
2980 * Finished isolating current name --- add it to list
2981 */
2985
2986 /* Loop back if we didn't reach end of string */
2987 } while (!done);
2988
2989 return true;
2990}
2991
2992
2993/*
2994 * SplitGUCList --- parse a string containing identifiers or file names
2995 *
2996 * This is used to split the value of a GUC_LIST_QUOTE GUC variable, without
2997 * presuming whether the elements will be taken as identifiers or file names.
2998 * We assume the input has already been through flatten_set_variable_args(),
2999 * so that we need never downcase (if appropriate, that was done already).
3000 * Nor do we ever truncate, since we don't know the correct max length.
3001 * We disallow embedded whitespace for simplicity (it shouldn't matter,
3002 * because any embedded whitespace should have led to double-quoting).
3003 * Otherwise the API is identical to SplitIdentifierString.
3004 *
3005 * XXX it's annoying to have so many copies of this string-splitting logic.
3006 * However, it's not clear that having one function with a bunch of option
3007 * flags would be much better.
3008 *
3009 * XXX there is a version of this function in src/bin/pg_dump/dumputils.c.
3010 * Be sure to update that if you have to change this.
3011 *
3012 * Inputs:
3013 * rawstring: the input string; must be overwritable! On return, it's
3014 * been modified to contain the separated identifiers.
3015 * separator: the separator punctuation expected between identifiers
3016 * (typically '.' or ','). Whitespace may also appear around
3017 * identifiers.
3018 * Outputs:
3019 * namelist: filled with a palloc'd list of pointers to identifiers within
3020 * rawstring. Caller should list_free() this even on error return.
3021 *
3022 * Returns true if okay, false if there is a syntax error in the string.
3023 */
3024bool
3026 List **namelist)
3027{
3028 char *nextp = rawstring;
3029 bool done = false;
3030
3031 *namelist = NIL;
3032
3033 while (scanner_isspace(*nextp))
3034 nextp++; /* skip leading whitespace */
3035
3036 if (*nextp == '\0')
3037 return true; /* empty string represents empty list */
3038
3039 /* At the top of the loop, we are at start of a new identifier. */
3040 do
3041 {
3042 char *curname;
3043 char *endp;
3044
3045 if (*nextp == '"')
3046 {
3047 /* Quoted name --- collapse quote-quote pairs */
3048 curname = nextp + 1;
3049 for (;;)
3050 {
3051 endp = strchr(nextp + 1, '"');
3052 if (endp == NULL)
3053 return false; /* mismatched quotes */
3054 if (endp[1] != '"')
3055 break; /* found end of quoted name */
3056 /* Collapse adjacent quotes into one quote, and look again */
3057 memmove(endp, endp + 1, strlen(endp));
3058 nextp = endp;
3059 }
3060 /* endp now points at the terminating quote */
3061 nextp = endp + 1;
3062 }
3063 else
3064 {
3065 /* Unquoted name --- extends to separator or whitespace */
3066 curname = nextp;
3067 while (*nextp && *nextp != separator &&
3069 nextp++;
3070 endp = nextp;
3071 if (curname == nextp)
3072 return false; /* empty unquoted name not allowed */
3073 }
3074
3075 while (scanner_isspace(*nextp))
3076 nextp++; /* skip trailing whitespace */
3077
3078 if (*nextp == separator)
3079 {
3080 nextp++;
3081 while (scanner_isspace(*nextp))
3082 nextp++; /* skip leading whitespace for next */
3083 /* we expect another name, so done remains false */
3084 }
3085 else if (*nextp == '\0')
3086 done = true;
3087 else
3088 return false; /* invalid syntax */
3089
3090 /* Now safe to overwrite separator with a null */
3091 *endp = '\0';
3092
3093 /*
3094 * Finished isolating current name --- add it to list
3095 */
3097
3098 /* Loop back if we didn't reach end of string */
3099 } while (!done);
3100
3101 return true;
3102}
3103
3104/*
3105 * appendStringInfoText
3106 *
3107 * Append a text to str.
3108 * Like appendStringInfoString(str, text_to_cstring(t)) but faster.
3109 */
3110static void
3115
3116/*
3117 * replace_text
3118 * replace all occurrences of 'old_sub_str' in 'orig_str'
3119 * with 'new_sub_str' to form 'new_str'
3120 *
3121 * returns 'orig_str' if 'old_sub_str' == '' or 'orig_str' == ''
3122 * otherwise returns 'new_str'
3123 */
3124Datum
3126{
3130 int src_text_len;
3133 text *ret_text;
3134 int chunk_len;
3135 char *curr_ptr;
3136 char *start_ptr;
3138 bool found;
3139
3142
3143 /* Return unmodified source string if empty source or pattern */
3144 if (src_text_len < 1 || from_sub_text_len < 1)
3145 {
3147 }
3148
3150
3151 found = text_position_next(&state);
3152
3153 /* When the from_sub_text is not found, there is nothing to do. */
3154 if (!found)
3155 {
3158 }
3161
3163
3164 do
3165 {
3167
3168 /* copy the data skipped over by last text_position_next() */
3171
3173
3174 start_ptr = curr_ptr + state.last_match_len;
3175
3176 found = text_position_next(&state);
3177 if (found)
3179 }
3180 while (found);
3181
3182 /* copy trailing data */
3185
3187
3189 pfree(str.data);
3190
3192}
3193
3194/*
3195 * check_replace_text_has_escape
3196 *
3197 * Returns 0 if text contains no backslashes that need processing.
3198 * Returns 1 if text contains backslashes, but not regexp submatch specifiers.
3199 * Returns 2 if text contains regexp submatch specifiers (\1 .. \9).
3200 */
3201static int
3203{
3204 int result = 0;
3205 const char *p = VARDATA_ANY(replace_text);
3206 const char *p_end = p + VARSIZE_ANY_EXHDR(replace_text);
3207
3208 while (p < p_end)
3209 {
3210 /* Find next escape char, if any. */
3211 p = memchr(p, '\\', p_end - p);
3212 if (p == NULL)
3213 break;
3214 p++;
3215 /* Note: a backslash at the end doesn't require extra processing. */
3216 if (p < p_end)
3217 {
3218 if (*p >= '1' && *p <= '9')
3219 return 2; /* Found a submatch specifier, so done */
3220 result = 1; /* Found some other sequence, keep looking */
3221 p++;
3222 }
3223 }
3224 return result;
3225}
3226
3227/*
3228 * appendStringInfoRegexpSubstr
3229 *
3230 * Append replace_text to str, substituting regexp back references for
3231 * \n escapes. start_ptr is the start of the match in the source string,
3232 * at logical character position data_pos.
3233 */
3234static void
3236 regmatch_t *pmatch,
3237 char *start_ptr, int data_pos)
3238{
3239 const char *p = VARDATA_ANY(replace_text);
3240 const char *p_end = p + VARSIZE_ANY_EXHDR(replace_text);
3241
3242 while (p < p_end)
3243 {
3244 const char *chunk_start = p;
3245 int so;
3246 int eo;
3247
3248 /* Find next escape char, if any. */
3249 p = memchr(p, '\\', p_end - p);
3250 if (p == NULL)
3251 p = p_end;
3252
3253 /* Copy the text we just scanned over, if any. */
3254 if (p > chunk_start)
3256
3257 /* Done if at end of string, else advance over escape char. */
3258 if (p >= p_end)
3259 break;
3260 p++;
3261
3262 if (p >= p_end)
3263 {
3264 /* Escape at very end of input. Treat same as unexpected char */
3266 break;
3267 }
3268
3269 if (*p >= '1' && *p <= '9')
3270 {
3271 /* Use the back reference of regexp. */
3272 int idx = *p - '0';
3273
3274 so = pmatch[idx].rm_so;
3275 eo = pmatch[idx].rm_eo;
3276 p++;
3277 }
3278 else if (*p == '&')
3279 {
3280 /* Use the entire matched string. */
3281 so = pmatch[0].rm_so;
3282 eo = pmatch[0].rm_eo;
3283 p++;
3284 }
3285 else if (*p == '\\')
3286 {
3287 /* \\ means transfer one \ to output. */
3289 p++;
3290 continue;
3291 }
3292 else
3293 {
3294 /*
3295 * If escape char is not followed by any expected char, just treat
3296 * it as ordinary data to copy. (XXX would it be better to throw
3297 * an error?)
3298 */
3300 continue;
3301 }
3302
3303 if (so >= 0 && eo >= 0)
3304 {
3305 /*
3306 * Copy the text that is back reference of regexp. Note so and eo
3307 * are counted in characters not bytes.
3308 */
3309 char *chunk_start;
3310 int chunk_len;
3311
3312 Assert(so >= data_pos);
3317 }
3318 }
3319}
3320
3321/*
3322 * replace_text_regexp
3323 *
3324 * replace substring(s) in src_text that match pattern with replace_text.
3325 * The replace_text can contain backslash markers to substitute
3326 * (parts of) the matched text.
3327 *
3328 * cflags: regexp compile flags.
3329 * collation: collation to use.
3330 * search_start: the character (not byte) offset in src_text at which to
3331 * begin searching.
3332 * n: if 0, replace all matches; if > 0, replace only the N'th match.
3333 */
3334text *
3337 int cflags, Oid collation,
3338 int search_start, int n)
3339{
3340 text *ret_text;
3341 regex_t *re;
3343 int nmatches = 0;
3345 regmatch_t pmatch[10]; /* main match, plus \1 to \9 */
3346 int nmatch = lengthof(pmatch);
3347 pg_wchar *data;
3348 size_t data_len;
3349 int data_pos;
3350 char *start_ptr;
3351 int escape_status;
3352
3354
3355 /* Convert data string to wide characters. */
3356 data = (pg_wchar *) palloc((src_text_len + 1) * sizeof(pg_wchar));
3358
3359 /* Check whether replace_text has escapes, especially regexp submatches. */
3361
3362 /* If no regexp submatches, we can use REG_NOSUB. */
3363 if (escape_status < 2)
3364 {
3365 cflags |= REG_NOSUB;
3366 /* Also tell pg_regexec we only want the whole-match location. */
3367 nmatch = 1;
3368 }
3369
3370 /* Prepare the regexp. */
3371 re = RE_compile_and_cache(pattern_text, cflags, collation);
3372
3373 /* start_ptr points to the data_pos'th character of src_text */
3374 start_ptr = (char *) VARDATA_ANY(src_text);
3375 data_pos = 0;
3376
3377 while (search_start <= data_len)
3378 {
3379 int regexec_result;
3380
3382
3384 data,
3385 data_len,
3386 search_start,
3387 NULL, /* no details */
3388 nmatch,
3389 pmatch,
3390 0);
3391
3393 break;
3394
3395 if (regexec_result != REG_OKAY)
3396 {
3397 char errMsg[100];
3398
3399 pg_regerror(regexec_result, re, errMsg, sizeof(errMsg));
3400 ereport(ERROR,
3402 errmsg("regular expression failed: %s", errMsg)));
3403 }
3404
3405 /*
3406 * Count matches, and decide whether to replace this match.
3407 */
3408 nmatches++;
3409 if (n > 0 && nmatches != n)
3410 {
3411 /*
3412 * No, so advance search_start, but not start_ptr/data_pos. (Thus,
3413 * we treat the matched text as if it weren't matched, and copy it
3414 * to the output later.)
3415 */
3416 search_start = pmatch[0].rm_eo;
3417 if (pmatch[0].rm_so == pmatch[0].rm_eo)
3418 search_start++;
3419 continue;
3420 }
3421
3422 /*
3423 * Copy the text to the left of the match position. Note we are given
3424 * character not byte indexes.
3425 */
3426 if (pmatch[0].rm_so - data_pos > 0)
3427 {
3428 int chunk_len;
3429
3431 pmatch[0].rm_so - data_pos);
3433
3434 /*
3435 * Advance start_ptr over that text, to avoid multiple rescans of
3436 * it if the replace_text contains multiple back-references.
3437 */
3439 data_pos = pmatch[0].rm_so;
3440 }
3441
3442 /*
3443 * Copy the replace_text, processing escapes if any are present.
3444 */
3445 if (escape_status > 0)
3448 else
3450
3451 /* Advance start_ptr and data_pos over the matched text. */
3453 pmatch[0].rm_eo - data_pos);
3454 data_pos = pmatch[0].rm_eo;
3455
3456 /*
3457 * If we only want to replace one occurrence, we're done.
3458 */
3459 if (n > 0)
3460 break;
3461
3462 /*
3463 * Advance search position. Normally we start the next search at the
3464 * end of the previous match; but if the match was of zero length, we
3465 * have to advance by one character, or we'd just find the same match
3466 * again.
3467 */
3468 search_start = data_pos;
3469 if (pmatch[0].rm_so == pmatch[0].rm_eo)
3470 search_start++;
3471 }
3472
3473 /*
3474 * Copy the text to the right of the last match.
3475 */
3476 if (data_pos < data_len)
3477 {
3478 int chunk_len;
3479
3482 }
3483
3485 pfree(buf.data);
3486 pfree(data);
3487
3488 return ret_text;
3489}
3490
3491/*
3492 * split_part
3493 * parse input string based on provided field separator
3494 * return N'th item (1 based, negative counts from end)
3495 */
3496Datum
3498{
3501 int fldnum = PG_GETARG_INT32(2);
3502 int inputstring_len;
3503 int fldsep_len;
3505 char *start_ptr;
3506 char *end_ptr;
3508 bool found;
3509
3510 /* field number is 1 based */
3511 if (fldnum == 0)
3512 ereport(ERROR,
3514 errmsg("field position must not be zero")));
3515
3518
3519 /* return empty string for empty input string */
3520 if (inputstring_len < 1)
3522
3523 /* handle empty field separator */
3524 if (fldsep_len < 1)
3525 {
3526 /* if first or last field, return input string, else empty string */
3527 if (fldnum == 1 || fldnum == -1)
3529 else
3531 }
3532
3533 /* find the first field separator */
3535
3536 found = text_position_next(&state);
3537
3538 /* special case if fldsep not found at all */
3539 if (!found)
3540 {
3542 /* if first or last field, return input string, else empty string */
3543 if (fldnum == 1 || fldnum == -1)
3545 else
3547 }
3548
3549 /*
3550 * take care of a negative field number (i.e. count from the right) by
3551 * converting to a positive field number; we need total number of fields
3552 */
3553 if (fldnum < 0)
3554 {
3555 /* we found a fldsep, so there are at least two fields */
3556 int numfields = 2;
3557
3558 while (text_position_next(&state))
3559 numfields++;
3560
3561 /* special case of last field does not require an extra pass */
3562 if (fldnum == -1)
3563 {
3564 start_ptr = text_position_get_match_ptr(&state) + state.last_match_len;
3568 end_ptr - start_ptr));
3569 }
3570
3571 /* else, convert fldnum to positive notation */
3572 fldnum += numfields + 1;
3573
3574 /* if nonexistent field, return empty string */
3575 if (fldnum <= 0)
3576 {
3579 }
3580
3581 /* reset to pointing at first match, but now with positive fldnum */
3583 found = text_position_next(&state);
3584 Assert(found);
3585 }
3586
3587 /* identify bounds of first field */
3590
3591 while (found && --fldnum > 0)
3592 {
3593 /* identify bounds of next field */
3594 start_ptr = end_ptr + state.last_match_len;
3595 found = text_position_next(&state);
3596 if (found)
3598 }
3599
3601
3602 if (fldnum > 0)
3603 {
3604 /* N'th field separator not found */
3605 /* if last field requested, return it, else empty string */
3606 if (fldnum == 1)
3607 {
3609
3612 }
3613 else
3615 }
3616 else
3617 {
3618 /* non-last field requested */
3620 }
3621
3623}
3624
3625/*
3626 * Convenience function to return true when two text params are equal.
3627 */
3628static bool
3636
3637/*
3638 * text_to_array
3639 * parse input string and return text array of elements,
3640 * based on provided field separator
3641 */
3642Datum
3644{
3646
3647 /* For array output, tstate should start as all zeroes */
3648 memset(&tstate, 0, sizeof(tstate));
3649
3650 if (!split_text(fcinfo, &tstate))
3652
3653 if (tstate.astate == NULL)
3655
3658}
3659
3660/*
3661 * text_to_array_null
3662 * parse input string and return text array of elements,
3663 * based on provided field separator and null string
3664 *
3665 * This is a separate entry point only to prevent the regression tests from
3666 * complaining about different argument sets for the same internal function.
3667 */
3668Datum
3670{
3671 return text_to_array(fcinfo);
3672}
3673
3674/*
3675 * text_to_table
3676 * parse input string and return table of elements,
3677 * based on provided field separator
3678 */
3679Datum
3681{
3682 ReturnSetInfo *rsi = (ReturnSetInfo *) fcinfo->resultinfo;
3684
3685 tstate.astate = NULL;
3687 tstate.tupstore = rsi->setResult;
3688 tstate.tupdesc = rsi->setDesc;
3689
3690 (void) split_text(fcinfo, &tstate);
3691
3692 return (Datum) 0;
3693}
3694
3695/*
3696 * text_to_table_null
3697 * parse input string and return table of elements,
3698 * based on provided field separator and null string
3699 *
3700 * This is a separate entry point only to prevent the regression tests from
3701 * complaining about different argument sets for the same internal function.
3702 */
3703Datum
3705{
3706 return text_to_table(fcinfo);
3707}
3708
3709/*
3710 * Common code for text_to_array, text_to_array_null, text_to_table
3711 * and text_to_table_null functions.
3712 *
3713 * These are not strict so we have to test for null inputs explicitly.
3714 * Returns false if result is to be null, else returns true.
3715 *
3716 * Note that if the result is valid but empty (zero elements), we return
3717 * without changing *tstate --- caller must handle that case, too.
3718 */
3719static bool
3721{
3723 text *fldsep;
3725 Oid collation = PG_GET_COLLATION();
3726 int inputstring_len;
3727 int fldsep_len;
3728 char *start_ptr;
3730
3731 /* when input string is NULL, then result is NULL too */
3732 if (PG_ARGISNULL(0))
3733 return false;
3734
3736
3737 /* fldsep can be NULL */
3738 if (!PG_ARGISNULL(1))
3740 else
3741 fldsep = NULL;
3742
3743 /* null_string can be NULL or omitted */
3744 if (PG_NARGS() > 2 && !PG_ARGISNULL(2))
3746 else
3747 null_string = NULL;
3748
3749 if (fldsep != NULL)
3750 {
3751 /*
3752 * Normal case with non-null fldsep. Use the text_position machinery
3753 * to search for occurrences of fldsep.
3754 */
3756
3759
3760 /* return empty set for empty input string */
3761 if (inputstring_len < 1)
3762 return true;
3763
3764 /* empty field separator: return input string as a one-element set */
3765 if (fldsep_len < 1)
3766 {
3768 null_string, collation);
3769 return true;
3770 }
3771
3773
3775
3776 for (;;)
3777 {
3778 bool found;
3779 char *end_ptr;
3780 int chunk_len;
3781
3783
3784 found = text_position_next(&state);
3785 if (!found)
3786 {
3787 /* fetch last field */
3789 end_ptr = NULL; /* not used, but some compilers complain */
3790 }
3791 else
3792 {
3793 /* fetch non-last field */
3796 }
3797
3798 /* build a temp text datum to pass to split_text_accum_result */
3800
3801 /* stash away this field */
3803 null_string, collation);
3804
3806
3807 if (!found)
3808 break;
3809
3810 start_ptr = end_ptr + state.last_match_len;
3811 }
3812
3814 }
3815 else
3816 {
3817 const char *end_ptr;
3818
3819 /*
3820 * When fldsep is NULL, each character in the input string becomes a
3821 * separate element in the result set. The separator is effectively
3822 * the space between characters.
3823 */
3825
3828
3829 while (inputstring_len > 0)
3830 {
3832
3834
3835 /* build a temp text datum to pass to split_text_accum_result */
3837
3838 /* stash away this field */
3840 null_string, collation);
3841
3843
3846 }
3847 }
3848
3849 return true;
3850}
3851
3852/*
3853 * Add text item to result set (table or array).
3854 *
3855 * This is also responsible for checking to see if the item matches
3856 * the null_string, in which case we should emit NULL instead.
3857 */
3858static void
3862 Oid collation)
3863{
3864 bool is_null = false;
3865
3866 if (null_string && text_isequal(field_value, null_string, collation))
3867 is_null = true;
3868
3869 if (tstate->tupstore)
3870 {
3871 Datum values[1];
3872 bool nulls[1];
3873
3875 nulls[0] = is_null;
3876
3877 tuplestore_putvalues(tstate->tupstore,
3878 tstate->tupdesc,
3879 values,
3880 nulls);
3881 }
3882 else
3883 {
3884 tstate->astate = accumArrayResult(tstate->astate,
3886 is_null,
3887 TEXTOID,
3889 }
3890}
3891
3892/*
3893 * array_to_text
3894 * concatenate Cstring representation of input array elements
3895 * using provided field separator
3896 */
3897Datum
3905
3906/*
3907 * array_to_text_null
3908 * concatenate Cstring representation of input array elements
3909 * using provided field separator and null string
3910 *
3911 * This version is not strict so we have to test for null inputs explicitly.
3912 */
3913Datum
3915{
3916 ArrayType *v;
3917 char *fldsep;
3918 char *null_string;
3919
3920 /* returns NULL when first or second parameter is NULL */
3921 if (PG_ARGISNULL(0) || PG_ARGISNULL(1))
3923
3924 v = PG_GETARG_ARRAYTYPE_P(0);
3926
3927 /* NULL null string is passed through as a null pointer */
3928 if (!PG_ARGISNULL(2))
3930 else
3931 null_string = NULL;
3932
3934}
3935
3936/*
3937 * common code for array_to_text and array_to_text_null functions
3938 */
3939static text *
3941 const char *fldsep, const char *null_string)
3942{
3943 text *result;
3944 int nitems,
3945 *dims,
3946 ndims;
3947 Oid element_type;
3948 int typlen;
3949 bool typbyval;
3950 char typalign;
3951 uint8 typalignby;
3953 bool printed = false;
3954 char *p;
3955 bits8 *bitmap;
3956 int bitmask;
3957 int i;
3959
3960 ndims = ARR_NDIM(v);
3961 dims = ARR_DIMS(v);
3962 nitems = ArrayGetNItems(ndims, dims);
3963
3964 /* if there are no elements, return an empty string */
3965 if (nitems == 0)
3966 return cstring_to_text_with_len("", 0);
3967
3968 element_type = ARR_ELEMTYPE(v);
3970
3971 /*
3972 * We arrange to look up info about element type, including its output
3973 * conversion proc, only once per series of calls, assuming the element
3974 * type doesn't change underneath us.
3975 */
3976 my_extra = (ArrayMetaState *) fcinfo->flinfo->fn_extra;
3977 if (my_extra == NULL)
3978 {
3979 fcinfo->flinfo->fn_extra = MemoryContextAlloc(fcinfo->flinfo->fn_mcxt,
3980 sizeof(ArrayMetaState));
3981 my_extra = (ArrayMetaState *) fcinfo->flinfo->fn_extra;
3982 my_extra->element_type = ~element_type;
3983 }
3984
3985 if (my_extra->element_type != element_type)
3986 {
3987 /*
3988 * Get info about element type, including its output conversion proc
3989 */
3990 get_type_io_data(element_type, IOFunc_output,
3991 &my_extra->typlen, &my_extra->typbyval,
3992 &my_extra->typalign, &my_extra->typdelim,
3993 &my_extra->typioparam, &my_extra->typiofunc);
3994 fmgr_info_cxt(my_extra->typiofunc, &my_extra->proc,
3995 fcinfo->flinfo->fn_mcxt);
3996 my_extra->element_type = element_type;
3997 }
3998 typlen = my_extra->typlen;
3999 typbyval = my_extra->typbyval;
4000 typalign = my_extra->typalign;
4001 typalignby = typalign_to_alignby(typalign);
4002
4003 p = ARR_DATA_PTR(v);
4004 bitmap = ARR_NULLBITMAP(v);
4005 bitmask = 1;
4006
4007 for (i = 0; i < nitems; i++)
4008 {
4010 char *value;
4011
4012 /* Get source element, checking for NULL */
4013 if (bitmap && (*bitmap & bitmask) == 0)
4014 {
4015 /* if null_string is NULL, we just ignore null elements */
4016 if (null_string != NULL)
4017 {
4018 if (printed)
4020 else
4022 printed = true;
4023 }
4024 }
4025 else
4026 {
4027 itemvalue = fetch_att(p, typbyval, typlen);
4028
4030
4031 if (printed)
4032 appendStringInfo(&buf, "%s%s", fldsep, value);
4033 else
4035 printed = true;
4036
4037 p = att_addlength_pointer(p, typlen, p);
4038 p = (char *) att_nominal_alignby(p, typalignby);
4039 }
4040
4041 /* advance bitmap pointer if any */
4042 if (bitmap)
4043 {
4044 bitmask <<= 1;
4045 if (bitmask == 0x100)
4046 {
4047 bitmap++;
4048 bitmask = 1;
4049 }
4050 }
4051 }
4052
4053 result = cstring_to_text_with_len(buf.data, buf.len);
4054 pfree(buf.data);
4055
4056 return result;
4057}
4058
4059/*
4060 * Workhorse for to_bin, to_oct, and to_hex. Note that base must be > 1 and <=
4061 * 16.
4062 */
4063static inline text *
4065{
4066 const char *digits = "0123456789abcdef";
4067
4068 /* We size the buffer for to_bin's longest possible return value. */
4069 char buf[sizeof(uint64) * BITS_PER_BYTE];
4070 char *const end = buf + sizeof(buf);
4071 char *ptr = end;
4072
4073 Assert(base > 1);
4074 Assert(base <= 16);
4075
4076 do
4077 {
4078 *--ptr = digits[value % base];
4079 value /= base;
4080 } while (ptr > buf && value);
4081
4082 return cstring_to_text_with_len(ptr, end - ptr);
4083}
4084
4085/*
4086 * Convert an integer to a string containing a base-2 (binary) representation
4087 * of the number.
4088 */
4089Datum
4096Datum
4103
4104/*
4105 * Convert an integer to a string containing a base-8 (oct) representation of
4106 * the number.
4107 */
4108Datum
4115Datum
4122
4123/*
4124 * Convert an integer to a string containing a base-16 (hex) representation of
4125 * the number.
4126 */
4127Datum
4134Datum
4141
4142/*
4143 * Return the size of a datum, possibly compressed
4144 *
4145 * Works on any data type
4146 */
4147Datum
4149{
4151 int32 result;
4152 int typlen;
4153
4154 /* On first call, get the input type's typlen, and save at *fn_extra */
4155 if (fcinfo->flinfo->fn_extra == NULL)
4156 {
4157 /* Lookup the datatype of the supplied argument */
4158 Oid argtypeid = get_fn_expr_argtype(fcinfo->flinfo, 0);
4159
4160 typlen = get_typlen(argtypeid);
4161 if (typlen == 0) /* should not happen */
4162 elog(ERROR, "cache lookup failed for type %u", argtypeid);
4163
4164 fcinfo->flinfo->fn_extra = MemoryContextAlloc(fcinfo->flinfo->fn_mcxt,
4165 sizeof(int));
4166 *((int *) fcinfo->flinfo->fn_extra) = typlen;
4167 }
4168 else
4169 typlen = *((int *) fcinfo->flinfo->fn_extra);
4170
4171 if (typlen == -1)
4172 {
4173 /* varlena type, possibly toasted */
4174 result = toast_datum_size(value);
4175 }
4176 else if (typlen == -2)
4177 {
4178 /* cstring */
4179 result = strlen(DatumGetCString(value)) + 1;
4180 }
4181 else
4182 {
4183 /* ordinary fixed-width type */
4184 result = typlen;
4185 }
4186
4187 PG_RETURN_INT32(result);
4188}
4189
4190/*
4191 * Return the compression method stored in the compressed attribute. Return
4192 * NULL for non varlena type or uncompressed data.
4193 */
4194Datum
4196{
4197 int typlen;
4198 char *result;
4200
4201 /* On first call, get the input type's typlen, and save at *fn_extra */
4202 if (fcinfo->flinfo->fn_extra == NULL)
4203 {
4204 /* Lookup the datatype of the supplied argument */
4205 Oid argtypeid = get_fn_expr_argtype(fcinfo->flinfo, 0);
4206
4207 typlen = get_typlen(argtypeid);
4208 if (typlen == 0) /* should not happen */
4209 elog(ERROR, "cache lookup failed for type %u", argtypeid);
4210
4211 fcinfo->flinfo->fn_extra = MemoryContextAlloc(fcinfo->flinfo->fn_mcxt,
4212 sizeof(int));
4213 *((int *) fcinfo->flinfo->fn_extra) = typlen;
4214 }
4215 else
4216 typlen = *((int *) fcinfo->flinfo->fn_extra);
4217
4218 if (typlen != -1)
4220
4221 /* get the compression method id stored in the compressed varlena */
4226
4227 /* convert compression method id to compression method name */
4228 switch (cmid)
4229 {
4231 result = "pglz";
4232 break;
4234 result = "lz4";
4235 break;
4236 default:
4237 elog(ERROR, "invalid compression method id %d", cmid);
4238 }
4239
4241}
4242
4243/*
4244 * Return the chunk_id of the on-disk TOASTed value. Return NULL if the value
4245 * is un-TOASTed or not on-disk.
4246 */
4247Datum
4249{
4250 int typlen;
4251 varlena *attr;
4252 varatt_external toast_pointer;
4253
4254 /* On first call, get the input type's typlen, and save at *fn_extra */
4255 if (fcinfo->flinfo->fn_extra == NULL)
4256 {
4257 /* Lookup the datatype of the supplied argument */
4258 Oid argtypeid = get_fn_expr_argtype(fcinfo->flinfo, 0);
4259
4260 typlen = get_typlen(argtypeid);
4261 if (typlen == 0) /* should not happen */
4262 elog(ERROR, "cache lookup failed for type %u", argtypeid);
4263
4264 fcinfo->flinfo->fn_extra = MemoryContextAlloc(fcinfo->flinfo->fn_mcxt,
4265 sizeof(int));
4266 *((int *) fcinfo->flinfo->fn_extra) = typlen;
4267 }
4268 else
4269 typlen = *((int *) fcinfo->flinfo->fn_extra);
4270
4271 if (typlen != -1)
4273
4275
4276 if (!VARATT_IS_EXTERNAL_ONDISK(attr))
4278
4279 VARATT_EXTERNAL_GET_POINTER(toast_pointer, attr);
4280
4281 PG_RETURN_OID(toast_pointer.va_valueid);
4282}
4283
4284/*
4285 * string_agg - Concatenates values and returns string.
4286 *
4287 * Syntax: string_agg(value text, delimiter text) RETURNS text
4288 *
4289 * Note: Any NULL values are ignored. The first-call delimiter isn't
4290 * actually used at all, and on subsequent calls the delimiter precedes
4291 * the associated value.
4292 */
4293
4294/* subroutine to initialize state */
4295static StringInfo
4297{
4299 MemoryContext aggcontext;
4300 MemoryContext oldcontext;
4301
4302 if (!AggCheckCallContext(fcinfo, &aggcontext))
4303 {
4304 /* cannot be called directly because of internal-type argument */
4305 elog(ERROR, "string_agg_transfn called in non-aggregate context");
4306 }
4307
4308 /*
4309 * Create state in aggregate context. It'll stay there across subsequent
4310 * calls.
4311 */
4312 oldcontext = MemoryContextSwitchTo(aggcontext);
4314 MemoryContextSwitchTo(oldcontext);
4315
4316 return state;
4317}
4318
4319Datum
4321{
4323
4325
4326 /* Append the value unless null, preceding it with the delimiter. */
4327 if (!PG_ARGISNULL(1))
4328 {
4330 bool isfirst = false;
4331
4332 /*
4333 * You might think we can just throw away the first delimiter, however
4334 * we must keep it as we may be a parallel worker doing partial
4335 * aggregation building a state to send to the main process. We need
4336 * to keep the delimiter of every aggregation so that the combine
4337 * function can properly join up the strings of two separately
4338 * partially aggregated results. The first delimiter is only stripped
4339 * off in the final function. To know how much to strip off the front
4340 * of the string, we store the length of the first delimiter in the
4341 * StringInfo's cursor field, which we don't otherwise need here.
4342 */
4343 if (state == NULL)
4344 {
4345 state = makeStringAggState(fcinfo);
4346 isfirst = true;
4347 }
4348
4349 if (!PG_ARGISNULL(2))
4350 {
4351 text *delim = PG_GETARG_TEXT_PP(2);
4352
4354 if (isfirst)
4355 state->cursor = VARSIZE_ANY_EXHDR(delim);
4356 }
4357
4359 }
4360
4361 /*
4362 * The transition type for string_agg() is declared to be "internal",
4363 * which is a pass-by-value type the same size as a pointer.
4364 */
4365 if (state)
4368}
4369
4370/*
4371 * string_agg_combine
4372 * Aggregate combine function for string_agg(text) and string_agg(bytea)
4373 */
4374Datum
4376{
4379 MemoryContext agg_context;
4380
4381 if (!AggCheckCallContext(fcinfo, &agg_context))
4382 elog(ERROR, "aggregate function called in non-aggregate context");
4383
4386
4387 if (state2 == NULL)
4388 {
4389 /*
4390 * NULL state2 is easy, just return state1, which we know is already
4391 * in the agg_context
4392 */
4393 if (state1 == NULL)
4396 }
4397
4398 if (state1 == NULL)
4399 {
4400 /* We must copy state2's data into the agg_context */
4402
4403 old_context = MemoryContextSwitchTo(agg_context);
4404 state1 = makeStringAggState(fcinfo);
4406 state1->cursor = state2->cursor;
4408 }
4409 else if (state2->len > 0)
4410 {
4411 /* Combine ... state1->cursor does not change in this case */
4413 }
4414
4416}
4417
4418/*
4419 * string_agg_serialize
4420 * Aggregate serialize function for string_agg(text) and string_agg(bytea)
4421 *
4422 * This is strict, so we need not handle NULL input
4423 */
4424Datum
4426{
4429 bytea *result;
4430
4431 /* cannot be called directly because of internal-type argument */
4433
4435
4437
4438 /* cursor */
4439 pq_sendint(&buf, state->cursor, 4);
4440
4441 /* data */
4442 pq_sendbytes(&buf, state->data, state->len);
4443
4444 result = pq_endtypsend(&buf);
4445
4446 PG_RETURN_BYTEA_P(result);
4447}
4448
4449/*
4450 * string_agg_deserialize
4451 * Aggregate deserial function for string_agg(text) and string_agg(bytea)
4452 *
4453 * This is strict, so we need not handle NULL input
4454 */
4455Datum
4457{
4458 bytea *sstate;
4459 StringInfo result;
4461 char *data;
4462 int datalen;
4463
4464 /* cannot be called directly because of internal-type argument */
4466
4467 sstate = PG_GETARG_BYTEA_PP(0);
4468
4469 /*
4470 * Initialize a StringInfo so that we can "receive" it using the standard
4471 * recv-function infrastructure.
4472 */
4474 VARSIZE_ANY_EXHDR(sstate));
4475
4476 result = makeStringAggState(fcinfo);
4477
4478 /* cursor */
4479 result->cursor = pq_getmsgint(&buf, 4);
4480
4481 /* data */
4482 datalen = VARSIZE_ANY_EXHDR(sstate) - 4;
4483 data = (char *) pq_getmsgbytes(&buf, datalen);
4484 appendBinaryStringInfo(result, data, datalen);
4485
4486 pq_getmsgend(&buf);
4487
4488 PG_RETURN_POINTER(result);
4489}
4490
4491Datum
4493{
4495
4496 /* cannot be called directly because of internal-type argument */
4498
4500
4501 if (state != NULL)
4502 {
4503 /* As per comment in transfn, strip data before the cursor position */
4505 state->len - state->cursor));
4506 }
4507 else
4509}
4510
4511/*
4512 * Prepare cache with fmgr info for the output functions of the datatypes of
4513 * the arguments of a concat-like function, beginning with argument "argidx".
4514 * (Arguments before that will have corresponding slots in the resulting
4515 * FmgrInfo array, but we don't fill those slots.)
4516 */
4517static FmgrInfo *
4519{
4521 int i;
4522
4523 /* We keep the info in fn_mcxt so it survives across calls */
4525 PG_NARGS() * sizeof(FmgrInfo));
4526
4527 for (i = argidx; i < PG_NARGS(); i++)
4528 {
4529 Oid valtype;
4530 Oid typOutput;
4531 bool typIsVarlena;
4532
4533 valtype = get_fn_expr_argtype(fcinfo->flinfo, i);
4534 if (!OidIsValid(valtype))
4535 elog(ERROR, "could not determine data type of concat() input");
4536
4539 }
4540
4541 fcinfo->flinfo->fn_extra = foutcache;
4542
4543 return foutcache;
4544}
4545
4546/*
4547 * Implementation of both concat() and concat_ws().
4548 *
4549 * sepstr is the separator string to place between values.
4550 * argidx identifies the first argument to concatenate (counting from zero);
4551 * note that this must be constant across any one series of calls.
4552 *
4553 * Returns NULL if result should be NULL, else text value.
4554 */
4555static text *
4557 FunctionCallInfo fcinfo)
4558{
4559 text *result;
4562 bool first_arg = true;
4563 int i;
4564
4565 /*
4566 * concat(VARIADIC some-array) is essentially equivalent to
4567 * array_to_text(), ie concat the array elements with the given separator.
4568 * So we just pass the case off to that code.
4569 */
4570 if (get_fn_expr_variadic(fcinfo->flinfo))
4571 {
4572 ArrayType *arr;
4573
4574 /* Should have just the one argument */
4575 Assert(argidx == PG_NARGS() - 1);
4576
4577 /* concat(VARIADIC NULL) is defined as NULL */
4578 if (PG_ARGISNULL(argidx))
4579 return NULL;
4580
4581 /*
4582 * Non-null argument had better be an array. We assume that any call
4583 * context that could let get_fn_expr_variadic return true will have
4584 * checked that a VARIADIC-labeled parameter actually is an array. So
4585 * it should be okay to just Assert that it's an array rather than
4586 * doing a full-fledged error check.
4587 */
4589
4590 /* OK, safe to fetch the array value */
4592
4593 /*
4594 * And serialize the array. We tell array_to_text to ignore null
4595 * elements, which matches the behavior of the loop below.
4596 */
4597 return array_to_text_internal(fcinfo, arr, sepstr, NULL);
4598 }
4599
4600 /* Normal case without explicit VARIADIC marker */
4602
4603 /* Get output function info, building it if first time through */
4604 foutcache = (FmgrInfo *) fcinfo->flinfo->fn_extra;
4605 if (foutcache == NULL)
4607
4608 for (i = argidx; i < PG_NARGS(); i++)
4609 {
4610 if (!PG_ARGISNULL(i))
4611 {
4613
4614 /* add separator if appropriate */
4615 if (first_arg)
4616 first_arg = false;
4617 else
4619
4620 /* call the appropriate type output function, append the result */
4623 }
4624 }
4625
4626 result = cstring_to_text_with_len(str.data, str.len);
4627 pfree(str.data);
4628
4629 return result;
4630}
4631
4632/*
4633 * Concatenate all arguments. NULL arguments are ignored.
4634 */
4635Datum
4637{
4638 text *result;
4639
4640 result = concat_internal("", 0, fcinfo);
4641 if (result == NULL)
4643 PG_RETURN_TEXT_P(result);
4644}
4645
4646/*
4647 * Concatenate all but first argument value with separators. The first
4648 * parameter is used as the separator. NULL arguments are ignored.
4649 */
4650Datum
4652{
4653 char *sep;
4654 text *result;
4655
4656 /* return NULL when separator is NULL */
4657 if (PG_ARGISNULL(0))
4660
4661 result = concat_internal(sep, 1, fcinfo);
4662 if (result == NULL)
4664 PG_RETURN_TEXT_P(result);
4665}
4666
4667/*
4668 * Return first n characters in the string. When n is negative,
4669 * return all but last |n| characters.
4670 */
4671Datum
4673{
4674 int n = PG_GETARG_INT32(1);
4675
4676 if (n < 0)
4677 {
4679 const char *p = VARDATA_ANY(str);
4680 int len = VARSIZE_ANY_EXHDR(str);
4681 int rlen;
4682
4683 n = pg_mbstrlen_with_len(p, len) + n;
4684 rlen = pg_mbcharcliplen(p, len, n);
4686 }
4687 else
4689}
4690
4691/*
4692 * Return last n characters in the string. When n is negative,
4693 * return all but first |n| characters.
4694 */
4695Datum
4697{
4699 const char *p = VARDATA_ANY(str);
4700 int len = VARSIZE_ANY_EXHDR(str);
4701 int n = PG_GETARG_INT32(1);
4702 int off;
4703
4704 if (n < 0)
4705 n = -n;
4706 else
4707 n = pg_mbstrlen_with_len(p, len) - n;
4708 off = pg_mbcharcliplen(p, len, n);
4709
4711}
4712
4713/*
4714 * Return reversed string
4715 */
4716Datum
4718{
4720 const char *p = VARDATA_ANY(str);
4721 int len = VARSIZE_ANY_EXHDR(str);
4722 const char *endp = p + len;
4723 text *result;
4724 char *dst;
4725
4726 result = palloc(len + VARHDRSZ);
4727 dst = (char *) VARDATA(result) + len;
4728 SET_VARSIZE(result, len + VARHDRSZ);
4729
4731 {
4732 /* multibyte version */
4733 while (p < endp)
4734 {
4735 int sz;
4736
4737 sz = pg_mblen_range(p, endp);
4738 dst -= sz;
4739 memcpy(dst, p, sz);
4740 p += sz;
4741 }
4742 }
4743 else
4744 {
4745 /* single byte version */
4746 while (p < endp)
4747 *(--dst) = *p++;
4748 }
4749
4750 PG_RETURN_TEXT_P(result);
4751}
4752
4753
4754/*
4755 * Support macros for text_format()
4756 */
4757#define TEXT_FORMAT_FLAG_MINUS 0x0001 /* is minus flag present? */
4758
4759#define ADVANCE_PARSE_POINTER(ptr,end_ptr) \
4760 do { \
4761 if (++(ptr) >= (end_ptr)) \
4762 ereport(ERROR, \
4763 (errcode(ERRCODE_INVALID_PARAMETER_VALUE), \
4764 errmsg("unterminated format() type specifier"), \
4765 errhint("For a single \"%%\" use \"%%%%\"."))); \
4766 } while (0)
4767
4768/*
4769 * Returns a formatted string
4770 */
4771Datum
4773{
4774 text *fmt;
4776 const char *cp;
4777 const char *start_ptr;
4778 const char *end_ptr;
4779 text *result;
4780 int arg;
4781 bool funcvariadic;
4782 int nargs;
4783 Datum *elements = NULL;
4784 bool *nulls = NULL;
4785 Oid element_type = InvalidOid;
4790
4791 /* When format string is null, immediately return null */
4792 if (PG_ARGISNULL(0))
4794
4795 /* If argument is marked VARIADIC, expand array into elements */
4796 if (get_fn_expr_variadic(fcinfo->flinfo))
4797 {
4798 ArrayType *arr;
4799 int16 elmlen;
4800 bool elmbyval;
4801 char elmalign;
4802 int nitems;
4803
4804 /* Should have just the one argument */
4805 Assert(PG_NARGS() == 2);
4806
4807 /* If argument is NULL, we treat it as zero-length array */
4808 if (PG_ARGISNULL(1))
4809 nitems = 0;
4810 else
4811 {
4812 /*
4813 * Non-null argument had better be an array. We assume that any
4814 * call context that could let get_fn_expr_variadic return true
4815 * will have checked that a VARIADIC-labeled parameter actually is
4816 * an array. So it should be okay to just Assert that it's an
4817 * array rather than doing a full-fledged error check.
4818 */
4820
4821 /* OK, safe to fetch the array value */
4822 arr = PG_GETARG_ARRAYTYPE_P(1);
4823
4824 /* Get info about array element type */
4825 element_type = ARR_ELEMTYPE(arr);
4826 get_typlenbyvalalign(element_type,
4827 &elmlen, &elmbyval, &elmalign);
4828
4829 /* Extract all array elements */
4830 deconstruct_array(arr, element_type, elmlen, elmbyval, elmalign,
4831 &elements, &nulls, &nitems);
4832 }
4833
4834 nargs = nitems + 1;
4835 funcvariadic = true;
4836 }
4837 else
4838 {
4839 /* Non-variadic case, we'll process the arguments individually */
4840 nargs = PG_NARGS();
4841 funcvariadic = false;
4842 }
4843
4844 /* Setup for main loop. */
4849 arg = 1; /* next argument position to print */
4850
4851 /* Scan format string, looking for conversion specifiers. */
4852 for (cp = start_ptr; cp < end_ptr; cp++)
4853 {
4854 int argpos;
4855 int widthpos;
4856 int flags;
4857 int width;
4858 Datum value;
4859 bool isNull;
4860 Oid typid;
4861
4862 /*
4863 * If it's not the start of a conversion specifier, just copy it to
4864 * the output buffer.
4865 */
4866 if (*cp != '%')
4867 {
4869 continue;
4870 }
4871
4873
4874 /* Easy case: %% outputs a single % */
4875 if (*cp == '%')
4876 {
4878 continue;
4879 }
4880
4881 /* Parse the optional portions of the format specifier */
4883 &argpos, &widthpos,
4884 &flags, &width);
4885
4886 /*
4887 * Next we should see the main conversion specifier. Whether or not
4888 * an argument position was present, it's known that at least one
4889 * character remains in the string at this point. Experience suggests
4890 * that it's worth checking that that character is one of the expected
4891 * ones before we try to fetch arguments, so as to produce the least
4892 * confusing response to a mis-formatted specifier.
4893 */
4894 if (strchr("sIL", *cp) == NULL)
4895 ereport(ERROR,
4897 errmsg("unrecognized format() type specifier \"%.*s\"",
4899 errhint("For a single \"%%\" use \"%%%%\".")));
4900
4901 /* If indirect width was specified, get its value */
4902 if (widthpos >= 0)
4903 {
4904 /* Collect the specified or next argument position */
4905 if (widthpos > 0)
4906 arg = widthpos;
4907 if (arg >= nargs)
4908 ereport(ERROR,
4910 errmsg("too few arguments for format()")));
4911
4912 /* Get the value and type of the selected argument */
4913 if (!funcvariadic)
4914 {
4916 isNull = PG_ARGISNULL(arg);
4917 typid = get_fn_expr_argtype(fcinfo->flinfo, arg);
4918 }
4919 else
4920 {
4921 value = elements[arg - 1];
4922 isNull = nulls[arg - 1];
4923 typid = element_type;
4924 }
4925 if (!OidIsValid(typid))
4926 elog(ERROR, "could not determine data type of format() input");
4927
4928 arg++;
4929
4930 /* We can treat NULL width the same as zero */
4931 if (isNull)
4932 width = 0;
4933 else if (typid == INT4OID)
4934 width = DatumGetInt32(value);
4935 else if (typid == INT2OID)
4936 width = DatumGetInt16(value);
4937 else
4938 {
4939 /* For less-usual datatypes, convert to text then to int */
4940 char *str;
4941
4942 if (typid != prev_width_type)
4943 {
4945 bool typIsVarlena;
4946
4949 prev_width_type = typid;
4950 }
4951
4953
4954 /* pg_strtoint32 will complain about bad data or overflow */
4955 width = pg_strtoint32(str);
4956
4957 pfree(str);
4958 }
4959 }
4960
4961 /* Collect the specified or next argument position */
4962 if (argpos > 0)
4963 arg = argpos;
4964 if (arg >= nargs)
4965 ereport(ERROR,
4967 errmsg("too few arguments for format()")));
4968
4969 /* Get the value and type of the selected argument */
4970 if (!funcvariadic)
4971 {
4973 isNull = PG_ARGISNULL(arg);
4974 typid = get_fn_expr_argtype(fcinfo->flinfo, arg);
4975 }
4976 else
4977 {
4978 value = elements[arg - 1];
4979 isNull = nulls[arg - 1];
4980 typid = element_type;
4981 }
4982 if (!OidIsValid(typid))
4983 elog(ERROR, "could not determine data type of format() input");
4984
4985 arg++;
4986
4987 /*
4988 * Get the appropriate typOutput function, reusing previous one if
4989 * same type as previous argument. That's particularly useful in the
4990 * variadic-array case, but often saves work even for ordinary calls.
4991 */
4992 if (typid != prev_type)
4993 {
4995 bool typIsVarlena;
4996
4999 prev_type = typid;
5000 }
5001
5002 /*
5003 * And now we can format the value.
5004 */
5005 switch (*cp)
5006 {
5007 case 's':
5008 case 'I':
5009 case 'L':
5011 value, isNull,
5012 flags, width);
5013 break;
5014 default:
5015 /* should not get here, because of previous check */
5016 ereport(ERROR,
5018 errmsg("unrecognized format() type specifier \"%.*s\"",
5020 errhint("For a single \"%%\" use \"%%%%\".")));
5021 break;
5022 }
5023 }
5024
5025 /* Don't need deconstruct_array results anymore. */
5026 if (elements != NULL)
5027 pfree(elements);
5028 if (nulls != NULL)
5029 pfree(nulls);
5030
5031 /* Generate results. */
5032 result = cstring_to_text_with_len(str.data, str.len);
5033 pfree(str.data);
5034
5035 PG_RETURN_TEXT_P(result);
5036}
5037
5038/*
5039 * Parse contiguous digits as a decimal number.
5040 *
5041 * Returns true if some digits could be parsed.
5042 * The value is returned into *value, and *ptr is advanced to the next
5043 * character to be parsed.
5044 *
5045 * Note parsing invariant: at least one character is known available before
5046 * string end (end_ptr) at entry, and this is still true at exit.
5047 */
5048static bool
5049text_format_parse_digits(const char **ptr, const char *end_ptr, int *value)
5050{
5051 bool found = false;
5052 const char *cp = *ptr;
5053 int val = 0;
5054
5055 while (*cp >= '0' && *cp <= '9')
5056 {
5057 int8 digit = (*cp - '0');
5058
5059 if (unlikely(pg_mul_s32_overflow(val, 10, &val)) ||
5061 ereport(ERROR,
5063 errmsg("number is out of range")));
5065 found = true;
5066 }
5067
5068 *ptr = cp;
5069 *value = val;
5070
5071 return found;
5072}
5073
5074/*
5075 * Parse a format specifier (generally following the SUS printf spec).
5076 *
5077 * We have already advanced over the initial '%', and we are looking for
5078 * [argpos][flags][width]type (but the type character is not consumed here).
5079 *
5080 * Inputs are start_ptr (the position after '%') and end_ptr (string end + 1).
5081 * Output parameters:
5082 * argpos: argument position for value to be printed. -1 means unspecified.
5083 * widthpos: argument position for width. Zero means the argument position
5084 * was unspecified (ie, take the next arg) and -1 means no width
5085 * argument (width was omitted or specified as a constant).
5086 * flags: bitmask of flags.
5087 * width: directly-specified width value. Zero means the width was omitted
5088 * (note it's not necessary to distinguish this case from an explicit
5089 * zero width value).
5090 *
5091 * The function result is the next character position to be parsed, ie, the
5092 * location where the type character is/should be.
5093 *
5094 * Note parsing invariant: at least one character is known available before
5095 * string end (end_ptr) at entry, and this is still true at exit.
5096 */
5097static const char *
5099 int *argpos, int *widthpos,
5100 int *flags, int *width)
5101{
5102 const char *cp = start_ptr;
5103 int n;
5104
5105 /* set defaults for output parameters */
5106 *argpos = -1;
5107 *widthpos = -1;
5108 *flags = 0;
5109 *width = 0;
5110
5111 /* try to identify first number */
5113 {
5114 if (*cp != '$')
5115 {
5116 /* Must be just a width and a type, so we're done */
5117 *width = n;
5118 return cp;
5119 }
5120 /* The number was argument position */
5121 *argpos = n;
5122 /* Explicit 0 for argument index is immediately refused */
5123 if (n == 0)
5124 ereport(ERROR,
5126 errmsg("format specifies argument 0, but arguments are numbered from 1")));
5128 }
5129
5130 /* Handle flags (only minus is supported now) */
5131 while (*cp == '-')
5132 {
5133 *flags |= TEXT_FORMAT_FLAG_MINUS;
5135 }
5136
5137 if (*cp == '*')
5138 {
5139 /* Handle indirect width */
5142 {
5143 /* number in this position must be closed by $ */
5144 if (*cp != '$')
5145 ereport(ERROR,
5147 errmsg("width argument position must be ended by \"$\"")));
5148 /* The number was width argument position */
5149 *widthpos = n;
5150 /* Explicit 0 for argument index is immediately refused */
5151 if (n == 0)
5152 ereport(ERROR,
5154 errmsg("format specifies argument 0, but arguments are numbered from 1")));
5156 }
5157 else
5158 *widthpos = 0; /* width's argument position is unspecified */
5159 }
5160 else
5161 {
5162 /* Check for direct width specification */
5164 *width = n;
5165 }
5166
5167 /* cp should now be pointing at type character */
5168 return cp;
5169}
5170
5171/*
5172 * Format a %s, %I, or %L conversion
5173 */
5174static void
5177 Datum value, bool isNull,
5178 int flags, int width)
5179{
5180 char *str;
5181
5182 /* Handle NULL arguments before trying to stringify the value. */
5183 if (isNull)
5184 {
5185 if (conversion == 's')
5186 text_format_append_string(buf, "", flags, width);
5187 else if (conversion == 'L')
5188 text_format_append_string(buf, "NULL", flags, width);
5189 else if (conversion == 'I')
5190 ereport(ERROR,
5192 errmsg("null values cannot be formatted as an SQL identifier")));
5193 return;
5194 }
5195
5196 /* Stringify. */
5198
5199 /* Escape. */
5200 if (conversion == 'I')
5201 {
5202 /* quote_identifier may or may not allocate a new string. */
5204 }
5205 else if (conversion == 'L')
5206 {
5207 char *qstr = quote_literal_cstr(str);
5208
5209 text_format_append_string(buf, qstr, flags, width);
5210 /* quote_literal_cstr() always allocates a new string */
5211 pfree(qstr);
5212 }
5213 else
5214 text_format_append_string(buf, str, flags, width);
5215
5216 /* Cleanup. */
5217 pfree(str);
5218}
5219
5220/*
5221 * Append str to buf, padding as directed by flags/width
5222 */
5223static void
5225 int flags, int width)
5226{
5227 bool align_to_left = false;
5228 int len;
5229
5230 /* fast path for typical easy case */
5231 if (width == 0)
5232 {
5234 return;
5235 }
5236
5237 if (width < 0)
5238 {
5239 /* Negative width: implicit '-' flag, then take absolute value */
5240 align_to_left = true;
5241 /* -INT_MIN is undefined */
5242 if (width <= INT_MIN)
5243 ereport(ERROR,
5245 errmsg("number is out of range")));
5246 width = -width;
5247 }
5248 else if (flags & TEXT_FORMAT_FLAG_MINUS)
5249 align_to_left = true;
5250
5251 len = pg_mbstrlen(str);
5252 if (align_to_left)
5253 {
5254 /* left justify */
5256 if (len < width)
5257 appendStringInfoSpaces(buf, width - len);
5258 }
5259 else
5260 {
5261 /* right justify */
5262 if (len < width)
5263 appendStringInfoSpaces(buf, width - len);
5265 }
5266}
5267
5268/*
5269 * text_format_nv - nonvariadic wrapper for text_format function.
5270 *
5271 * note: this wrapper is necessary to pass the sanity check in opr_sanity,
5272 * which checks that all built-in functions that share the implementing C
5273 * function take the same number of arguments.
5274 */
5275Datum
5277{
5278 return text_format(fcinfo);
5279}
5280
5281/*
5282 * Helper function for Levenshtein distance functions. Faster than memcmp(),
5283 * for this use case.
5284 */
5285static inline bool
5286rest_of_char_same(const char *s1, const char *s2, int len)
5287{
5288 while (len > 0)
5289 {
5290 len--;
5291 if (s1[len] != s2[len])
5292 return false;
5293 }
5294 return true;
5295}
5296
5297/* Expand each Levenshtein distance variant */
5298#include "levenshtein.c"
5299#define LEVENSHTEIN_LESS_EQUAL
5300#include "levenshtein.c"
5301
5302
5303/*
5304 * The following *ClosestMatch() functions can be used to determine whether a
5305 * user-provided string resembles any known valid values, which is useful for
5306 * providing hints in log messages, among other things. Use these functions
5307 * like so:
5308 *
5309 * initClosestMatch(&state, source_string, max_distance);
5310 *
5311 * for (int i = 0; i < num_valid_strings; i++)
5312 * updateClosestMatch(&state, valid_strings[i]);
5313 *
5314 * closestMatch = getClosestMatch(&state);
5315 */
5316
5317/*
5318 * Initialize the given state with the source string and maximum Levenshtein
5319 * distance to consider.
5320 */
5321void
5323{
5324 Assert(state);
5325 Assert(max_d >= 0);
5326
5327 state->source = source;
5328 state->min_d = -1;
5329 state->max_d = max_d;
5330 state->match = NULL;
5331}
5332
5333/*
5334 * If the candidate string is a closer match than the current one saved (or
5335 * there is no match saved), save it as the closest match.
5336 *
5337 * If the source or candidate string is NULL, empty, or too long, this function
5338 * takes no action. Likewise, if the Levenshtein distance exceeds the maximum
5339 * allowed or more than half the characters are different, no action is taken.
5340 */
5341void
5343{
5344 int dist;
5345
5346 Assert(state);
5347
5348 if (state->source == NULL || state->source[0] == '\0' ||
5349 candidate == NULL || candidate[0] == '\0')
5350 return;
5351
5352 /*
5353 * To avoid ERROR-ing, we check the lengths here instead of setting
5354 * 'trusted' to false in the call to varstr_levenshtein_less_equal().
5355 */
5356 if (strlen(state->source) > MAX_LEVENSHTEIN_STRLEN ||
5358 return;
5359
5361 candidate, strlen(candidate), 1, 1, 1,
5362 state->max_d, true);
5363 if (dist <= state->max_d &&
5364 dist <= strlen(state->source) / 2 &&
5365 (state->min_d == -1 || dist < state->min_d))
5366 {
5367 state->min_d = dist;
5368 state->match = candidate;
5369 }
5370}
5371
5372/*
5373 * Return the closest match. If no suitable candidates were provided via
5374 * updateClosestMatch(), return NULL.
5375 */
5376const char *
5378{
5379 Assert(state);
5380
5381 return state->match;
5382}
5383
5384
5385/*
5386 * Unicode support
5387 */
5388
5391{
5393
5394 /*
5395 * Might as well check this while we're here.
5396 */
5398 ereport(ERROR,
5400 errmsg("Unicode normalization can only be performed if server encoding is UTF8")));
5401
5402 if (pg_strcasecmp(formstr, "NFC") == 0)
5403 form = UNICODE_NFC;
5404 else if (pg_strcasecmp(formstr, "NFD") == 0)
5405 form = UNICODE_NFD;
5406 else if (pg_strcasecmp(formstr, "NFKC") == 0)
5408 else if (pg_strcasecmp(formstr, "NFKD") == 0)
5410 else
5411 ereport(ERROR,
5413 errmsg("invalid normalization form: %s", formstr)));
5414
5415 return form;
5416}
5417
5418/*
5419 * Returns version of Unicode used by Postgres in "major.minor" format (the
5420 * same format as the Unicode version reported by ICU). The third component
5421 * ("update version") never involves additions to the character repertoire and
5422 * is unimportant for most purposes.
5423 *
5424 * See: https://unicode.org/versions/
5425 */
5426Datum
5431
5432/*
5433 * Returns version of Unicode used by ICU, if enabled; otherwise NULL.
5434 */
5435Datum
5437{
5438 const char *version = pg_icu_unicode_version();
5439
5440 if (version)
5442 else
5444}
5445
5446/*
5447 * Check whether the string contains only assigned Unicode code
5448 * points. Requires that the database encoding is UTF-8.
5449 */
5450Datum
5452{
5454 unsigned char *p;
5455 int size;
5456
5458 ereport(ERROR,
5459 (errmsg("Unicode categorization can only be performed if server encoding is UTF8")));
5460
5461 /* convert to char32_t */
5463 p = (unsigned char *) VARDATA_ANY(input);
5464 for (int i = 0; i < size; i++)
5465 {
5466 char32_t uchar = utf8_to_unicode(p);
5467 int category = unicode_category(uchar);
5468
5469 if (category == PG_U_UNASSIGNED)
5470 PG_RETURN_BOOL(false);
5471
5472 p += pg_utf_mblen(p);
5473 }
5474
5475 PG_RETURN_BOOL(true);
5476}
5477
5478Datum
5480{
5484 int size;
5485 char32_t *input_chars;
5486 char32_t *output_chars;
5487 unsigned char *p;
5488 text *result;
5489 int i;
5490
5492
5493 /* convert to char32_t */
5495 input_chars = palloc((size + 1) * sizeof(char32_t));
5496 p = (unsigned char *) VARDATA_ANY(input);
5497 for (i = 0; i < size; i++)
5498 {
5500 p += pg_utf_mblen(p);
5501 }
5502 input_chars[i] = (char32_t) '\0';
5503 Assert((char *) p == VARDATA_ANY(input) + VARSIZE_ANY_EXHDR(input));
5504
5505 /* action */
5507
5508 /* convert back to UTF-8 string */
5509 size = 0;
5510 for (char32_t *wp = output_chars; *wp; wp++)
5511 {
5512 unsigned char buf[4];
5513
5515 size += pg_utf_mblen(buf);
5516 }
5517
5518 result = palloc(size + VARHDRSZ);
5519 SET_VARSIZE(result, size + VARHDRSZ);
5520
5521 p = (unsigned char *) VARDATA_ANY(result);
5522 for (char32_t *wp = output_chars; *wp; wp++)
5523 {
5524 unicode_to_utf8(*wp, p);
5525 p += pg_utf_mblen(p);
5526 }
5527 Assert((char *) p == (char *) result + size + VARHDRSZ);
5528
5529 PG_RETURN_TEXT_P(result);
5530}
5531
5532/*
5533 * Check whether the string is in the specified Unicode normalization form.
5534 *
5535 * This is done by converting the string to the specified normal form and then
5536 * comparing that to the original string. To speed that up, we also apply the
5537 * "quick check" algorithm specified in UAX #15, which can give a yes or no
5538 * answer for many strings by just scanning the string once.
5539 *
5540 * This function should generally be optimized for the case where the string
5541 * is in fact normalized. In that case, we'll end up looking at the entire
5542 * string, so it's probably not worth doing any incremental conversion etc.
5543 */
5544Datum
5546{
5550 int size;
5551 char32_t *input_chars;
5552 char32_t *output_chars;
5553 unsigned char *p;
5554 int i;
5555 UnicodeNormalizationQC quickcheck;
5556 int output_size;
5557 bool result;
5558
5560
5561 /* convert to char32_t */
5563 input_chars = palloc((size + 1) * sizeof(char32_t));
5564 p = (unsigned char *) VARDATA_ANY(input);
5565 for (i = 0; i < size; i++)
5566 {
5568 p += pg_utf_mblen(p);
5569 }
5570 input_chars[i] = (char32_t) '\0';
5571 Assert((char *) p == VARDATA_ANY(input) + VARSIZE_ANY_EXHDR(input));
5572
5573 /* quick check (see UAX #15) */
5575 if (quickcheck == UNICODE_NORM_QC_YES)
5576 PG_RETURN_BOOL(true);
5577 else if (quickcheck == UNICODE_NORM_QC_NO)
5578 PG_RETURN_BOOL(false);
5579
5580 /* normalize and compare with original */
5582
5583 output_size = 0;
5584 for (char32_t *wp = output_chars; *wp; wp++)
5585 output_size++;
5586
5587 result = (size == output_size) &&
5588 (memcmp(input_chars, output_chars, size * sizeof(char32_t)) == 0);
5589
5590 PG_RETURN_BOOL(result);
5591}
5592
5593/*
5594 * Check if first n chars are hexadecimal digits
5595 */
5596static bool
5597isxdigits_n(const char *instr, size_t n)
5598{
5599 for (size_t i = 0; i < n; i++)
5600 if (!isxdigit((unsigned char) instr[i]))
5601 return false;
5602
5603 return true;
5604}
5605
5606static unsigned int
5607hexval(unsigned char c)
5608{
5609 if (c >= '0' && c <= '9')
5610 return c - '0';
5611 if (c >= 'a' && c <= 'f')
5612 return c - 'a' + 0xA;
5613 if (c >= 'A' && c <= 'F')
5614 return c - 'A' + 0xA;
5615 elog(ERROR, "invalid hexadecimal digit");
5616 return 0; /* not reached */
5617}
5618
5619/*
5620 * Translate string with hexadecimal digits to number
5621 */
5622static unsigned int
5623hexval_n(const char *instr, size_t n)
5624{
5625 unsigned int result = 0;
5626
5627 for (size_t i = 0; i < n; i++)
5628 result += hexval(instr[i]) << (4 * (n - i - 1));
5629
5630 return result;
5631}
5632
5633/*
5634 * Replaces Unicode escape sequences by Unicode characters
5635 */
5636Datum
5638{
5640 char *instr;
5641 int len;
5643 text *result;
5644 char16_t pair_first = 0;
5646
5647 instr = VARDATA_ANY(input_text);
5649
5651
5652 while (len > 0)
5653 {
5654 if (instr[0] == '\\')
5655 {
5656 if (len >= 2 &&
5657 instr[1] == '\\')
5658 {
5659 if (pair_first)
5660 goto invalid_pair;
5661 appendStringInfoChar(&str, '\\');
5662 instr += 2;
5663 len -= 2;
5664 }
5665 else if ((len >= 5 && isxdigits_n(instr + 1, 4)) ||
5666 (len >= 6 && instr[1] == 'u' && isxdigits_n(instr + 2, 4)))
5667 {
5668 char32_t unicode;
5669 int offset = instr[1] == 'u' ? 2 : 1;
5670
5671 unicode = hexval_n(instr + offset, 4);
5672
5674 ereport(ERROR,
5676 errmsg("invalid Unicode code point: %04X", unicode));
5677
5678 if (pair_first)
5679 {
5681 {
5683 pair_first = 0;
5684 }
5685 else
5686 goto invalid_pair;
5687 }
5689 goto invalid_pair;
5690
5693 else
5694 {
5695 pg_unicode_to_server(unicode, (unsigned char *) cbuf);
5697 }
5698
5699 instr += 4 + offset;
5700 len -= 4 + offset;
5701 }
5702 else if (len >= 8 && instr[1] == '+' && isxdigits_n(instr + 2, 6))
5703 {
5704 char32_t unicode;
5705
5706 unicode = hexval_n(instr + 2, 6);
5707
5709 ereport(ERROR,
5711 errmsg("invalid Unicode code point: %04X", unicode));
5712
5713 if (pair_first)
5714 {
5716 {
5718 pair_first = 0;
5719 }
5720 else
5721 goto invalid_pair;
5722 }
5724 goto invalid_pair;
5725
5728 else
5729 {
5730 pg_unicode_to_server(unicode, (unsigned char *) cbuf);
5732 }
5733
5734 instr += 8;
5735 len -= 8;
5736 }
5737 else if (len >= 10 && instr[1] == 'U' && isxdigits_n(instr + 2, 8))
5738 {
5739 char32_t unicode;
5740
5741 unicode = hexval_n(instr + 2, 8);
5742
5744 ereport(ERROR,
5746 errmsg("invalid Unicode code point: %04X", unicode));
5747
5748 if (pair_first)
5749 {
5751 {
5753 pair_first = 0;
5754 }
5755 else
5756 goto invalid_pair;
5757 }
5759 goto invalid_pair;
5760
5763 else
5764 {
5765 pg_unicode_to_server(unicode, (unsigned char *) cbuf);
5767 }
5768
5769 instr += 10;
5770 len -= 10;
5771 }
5772 else
5773 ereport(ERROR,
5775 errmsg("invalid Unicode escape"),
5776 errhint("Unicode escapes must be \\XXXX, \\+XXXXXX, \\uXXXX, or \\UXXXXXXXX.")));
5777 }
5778 else
5779 {
5780 if (pair_first)
5781 goto invalid_pair;
5782
5783 appendStringInfoChar(&str, *instr++);
5784 len--;
5785 }
5786 }
5787
5788 /* unfinished surrogate pair? */
5789 if (pair_first)
5790 goto invalid_pair;
5791
5792 result = cstring_to_text_with_len(str.data, str.len);
5793 pfree(str.data);
5794
5795 PG_RETURN_TEXT_P(result);
5796
5798 ereport(ERROR,
5800 errmsg("invalid Unicode surrogate pair")));
5801 PG_RETURN_NULL(); /* keep compiler quiet */
5802}
Datum idx(PG_FUNCTION_ARGS)
Definition _int_op.c:262
#define ARR_NDIM(a)
Definition array.h:290
#define PG_GETARG_ARRAYTYPE_P(n)
Definition array.h:263
#define ARR_DATA_PTR(a)
Definition array.h:322
#define ARR_NULLBITMAP(a)
Definition array.h:300
#define ARR_ELEMTYPE(a)
Definition array.h:292
#define PG_RETURN_ARRAYTYPE_P(x)
Definition array.h:265
#define ARR_DIMS(a)
Definition array.h:294
ArrayBuildState * accumArrayResult(ArrayBuildState *astate, Datum dvalue, bool disnull, Oid element_type, MemoryContext rcontext)
ArrayType * construct_empty_array(Oid elmtype)
Datum makeArrayResult(ArrayBuildState *astate, MemoryContext rcontext)
void deconstruct_array(const ArrayType *array, Oid elmtype, int elmlen, bool elmbyval, char elmalign, Datum **elemsp, bool **nullsp, int *nelemsp)
int ArrayGetNItems(int ndim, const int *dims)
Definition arrayutils.c:57
static Datum values[MAXATTR]
Definition bootstrap.c:188
#define TextDatumGetCString(d)
Definition builtins.h:99
#define NameStr(name)
Definition c.h:837
#define unconstify(underlying_type, expr)
Definition c.h:1327
NameData * Name
Definition c.h:835
#define Min(x, y)
Definition c.h:1093
uint8_t uint8
Definition c.h:616
#define Max(x, y)
Definition c.h:1087
#define VARHDRSZ
Definition c.h:783
#define Assert(condition)
Definition c.h:945
int16_t int16
Definition c.h:613
int8_t int8
Definition c.h:612
uint8 bits8
Definition c.h:625
int32_t int32
Definition c.h:614
uint64_t uint64
Definition c.h:619
#define unlikely(x)
Definition c.h:432
uint32_t uint32
Definition c.h:618
#define lengthof(array)
Definition c.h:875
uint32_t char32_t
Definition c.h:1495
#define OidIsValid(objectId)
Definition c.h:860
size_t Size
Definition c.h:691
Oid collid
Size toast_datum_size(Datum value)
Definition detoast.c:601
Size toast_raw_datum_size(Datum value)
Definition detoast.c:545
#define VARATT_EXTERNAL_GET_POINTER(toast_pointer, attr)
Definition detoast.h:22
Datum arg
Definition elog.c:1322
int errcode(int sqlerrcode)
Definition elog.c:874
#define LOG
Definition elog.h:31
int errhint(const char *fmt,...) pg_attribute_printf(1
#define ERROR
Definition elog.h:39
#define elog(elevel,...)
Definition elog.h:226
#define ereport(elevel,...)
Definition elog.h:150
struct SortSupportData * SortSupport
Definition execnodes.h:60
#define palloc_object(type)
Definition fe_memutils.h:74
#define MaxAllocSize
Definition fe_memutils.h:22
void fmgr_info(Oid functionId, FmgrInfo *finfo)
Definition fmgr.c:129
Datum DirectFunctionCall2Coll(PGFunction func, Oid collation, Datum arg1, Datum arg2)
Definition fmgr.c:814
varlena * pg_detoast_datum_packed(varlena *datum)
Definition fmgr.c:1830
void fmgr_info_cxt(Oid functionId, FmgrInfo *finfo, MemoryContext mcxt)
Definition fmgr.c:139
char * OutputFunctionCall(FmgrInfo *flinfo, Datum val)
Definition fmgr.c:1684
bool get_fn_expr_variadic(FmgrInfo *flinfo)
Definition fmgr.c:2010
Oid get_fn_expr_argtype(FmgrInfo *flinfo, int argnum)
Definition fmgr.c:1876
#define PG_RETURN_VOID()
Definition fmgr.h:350
#define PG_FREE_IF_COPY(ptr, n)
Definition fmgr.h:260
#define PG_GETARG_OID(n)
Definition fmgr.h:275
#define PG_GETARG_BYTEA_PP(n)
Definition fmgr.h:309
#define PG_GETARG_TEXT_PP(n)
Definition fmgr.h:310
#define PG_RETURN_BYTEA_P(x)
Definition fmgr.h:373
#define DatumGetTextPP(X)
Definition fmgr.h:293
#define DatumGetBpCharPP(X)
Definition fmgr.h:294
#define PG_GETARG_POINTER(n)
Definition fmgr.h:277
#define PG_RETURN_CSTRING(x)
Definition fmgr.h:364
#define PG_ARGISNULL(n)
Definition fmgr.h:209
#define PG_GETARG_DATUM(n)
Definition fmgr.h:268
#define PG_NARGS()
Definition fmgr.h:203
#define PG_GETARG_CSTRING(n)
Definition fmgr.h:278
#define PG_RETURN_NULL()
Definition fmgr.h:346
#define PG_GETARG_INT64(n)
Definition fmgr.h:284
#define PG_GETARG_NAME(n)
Definition fmgr.h:279
#define PG_RETURN_TEXT_P(x)
Definition fmgr.h:374
#define DatumGetTextPSlice(X, m, n)
Definition fmgr.h:305
#define PG_RETURN_INT32(x)
Definition fmgr.h:355
#define PG_RETURN_NAME(x)
Definition fmgr.h:365
#define PG_GETARG_INT32(n)
Definition fmgr.h:269
#define PG_RETURN_DATUM(x)
Definition fmgr.h:354
#define PG_RETURN_POINTER(x)
Definition fmgr.h:363
#define PG_GET_COLLATION()
Definition fmgr.h:198
#define PG_RETURN_OID(x)
Definition fmgr.h:361
#define PG_FUNCTION_ARGS
Definition fmgr.h:193
#define PG_RETURN_BOOL(x)
Definition fmgr.h:360
void InitMaterializedSRF(FunctionCallInfo fcinfo, bits32 flags)
Definition funcapi.c:76
#define MAT_SRF_USE_EXPECTED_DESC
Definition funcapi.h:296
static Datum hash_uint32(uint32 k)
Definition hashfn.h:43
static Datum hash_any(const unsigned char *k, int keylen)
Definition hashfn.h:31
return str start
const char * str
void initHyperLogLog(hyperLogLogState *cState, uint8 bwidth)
Definition hyperloglog.c:66
double estimateHyperLogLog(hyperLogLogState *cState)
void addHyperLogLog(hyperLogLogState *cState, uint32 hash)
#define nitems(x)
Definition indent.h:31
FILE * input
long val
Definition informix.c:689
static struct @174 value
int digits
Definition informix.c:691
static bool pg_mul_s32_overflow(int32 a, int32 b, int32 *result)
Definition int.h:187
static bool pg_add_s32_overflow(int32 a, int32 b, int32 *result)
Definition int.h:151
int y
Definition isn.c:76
int x
Definition isn.c:75
int i
Definition isn.c:77
#define MAX_LEVENSHTEIN_STRLEN
Definition levenshtein.c:26
List * lappend(List *list, void *datum)
Definition list.c:339
void list_free(List *list)
Definition list.c:1546
void getTypeOutputInfo(Oid type, Oid *typOutput, bool *typIsVarlena)
Definition lsyscache.c:3129
void get_typlenbyvalalign(Oid typid, int16 *typlen, bool *typbyval, char *typalign)
Definition lsyscache.c:2491
void get_type_io_data(Oid typid, IOFuncSelector which_func, int16 *typlen, bool *typbyval, char *typalign, char *typdelim, Oid *typioparam, Oid *func)
Definition lsyscache.c:2545
int16 get_typlen(Oid typid)
Definition lsyscache.c:2417
Oid get_base_element_type(Oid typid)
Definition lsyscache.c:3054
@ IOFunc_output
Definition lsyscache.h:37
#define PG_UTF8
Definition mbprint.c:43
unsigned int pg_wchar
Definition mbprint.c:31
static char32_t utf8_to_unicode(const unsigned char *c)
Definition mbprint.c:53
int GetDatabaseEncoding(void)
Definition mbutils.c:1389
int pg_mbstrlen_with_len(const char *mbstr, int limit)
Definition mbutils.c:1185
int pg_mblen_unbounded(const char *mbstr)
Definition mbutils.c:1137
int pg_mbcharcliplen(const char *mbstr, int len, int limit)
Definition mbutils.c:1253
int pg_mblen_range(const char *mbstr, const char *end)
Definition mbutils.c:1084
int pg_mbstrlen(const char *mbstr)
Definition mbutils.c:1165
int pg_mbcliplen(const char *mbstr, int len, int limit)
Definition mbutils.c:1211
int pg_mblen_with_len(const char *mbstr, int limit)
Definition mbutils.c:1108
int pg_database_encoding_max_length(void)
Definition mbutils.c:1674
void pg_unicode_to_server(char32_t c, unsigned char *s)
Definition mbutils.c:875
int pg_mb2wchar_with_len(const char *from, pg_wchar *to, int len)
Definition mbutils.c:997
void * MemoryContextAlloc(MemoryContext context, Size size)
Definition mcxt.c:1232
char * pstrdup(const char *in)
Definition mcxt.c:1781
void * repalloc(void *pointer, Size size)
Definition mcxt.c:1632
void pfree(void *pointer)
Definition mcxt.c:1616
void * palloc0(Size size)
Definition mcxt.c:1417
void * palloc(Size size)
Definition mcxt.c:1387
MemoryContext CurrentMemoryContext
Definition mcxt.c:160
#define CHECK_FOR_INTERRUPTS()
Definition miscadmin.h:123
int AggCheckCallContext(FunctionCallInfo fcinfo, MemoryContext *aggcontext)
Definition nodeAgg.c:4609
int32 pg_strtoint32(const char *s)
Definition numutils.c:382
static char * errmsg
static MemoryContext MemoryContextSwitchTo(MemoryContext context)
Definition palloc.h:124
#define DatumBigEndianToNative(x)
Definition pg_bswap.h:145
#define BITS_PER_BYTE
#define NAMEDATALEN
#define MAXPGPATH
#define PG_CACHE_LINE_SIZE
const void size_t len
const void * data
#define lfirst(lc)
Definition pg_list.h:172
#define NIL
Definition pg_list.h:68
const char * pg_icu_unicode_version(void)
Definition pg_locale.c:1653
bool pg_strxfrm_enabled(pg_locale_t locale)
Definition pg_locale.c:1418
pg_locale_t pg_newlocale_from_collation(Oid collid)
Definition pg_locale.c:1189
int pg_strcoll(const char *arg1, const char *arg2, pg_locale_t locale)
Definition pg_locale.c:1384
bool pg_strxfrm_prefix_enabled(pg_locale_t locale)
Definition pg_locale.c:1470
int pg_strncoll(const char *arg1, ssize_t len1, const char *arg2, ssize_t len2, pg_locale_t locale)
Definition pg_locale.c:1404
size_t pg_strxfrm(char *dest, const char *src, size_t destsize, pg_locale_t locale)
Definition pg_locale.c:1434
size_t pg_strxfrm_prefix(char *dest, const char *src, size_t destsize, pg_locale_t locale)
Definition pg_locale.c:1481
static rewind_source * source
Definition pg_rewind.c:89
static char buf[DEFAULT_XLOG_SEG_SIZE]
char typalign
Definition pg_type.h:178
#define pg_utf_mblen
Definition pg_wchar.h:633
static bool is_utf16_surrogate_first(char32_t c)
Definition pg_wchar.h:525
static unsigned char * unicode_to_utf8(char32_t c, unsigned char *utf8string)
Definition pg_wchar.h:575
static bool is_utf16_surrogate_second(char32_t c)
Definition pg_wchar.h:531
static char32_t surrogate_pair_to_codepoint(char16_t first, char16_t second)
Definition pg_wchar.h:537
#define MAX_UNICODE_EQUIVALENT_STRING
Definition pg_wchar.h:329
static bool is_valid_unicode_codepoint(char32_t c)
Definition pg_wchar.h:519
int pg_strcasecmp(const char *s1, const char *s2)
void canonicalize_path(char *path)
Definition path.c:337
static uint32 DatumGetUInt32(Datum X)
Definition postgres.h:222
static uint64 DatumGetUInt64(Datum X)
Definition postgres.h:423
static bool DatumGetBool(Datum X)
Definition postgres.h:100
static Datum PointerGetDatum(const void *X)
Definition postgres.h:342
static Name DatumGetName(Datum X)
Definition postgres.h:380
static char * DatumGetCString(Datum X)
Definition postgres.h:355
uint64_t Datum
Definition postgres.h:70
static Pointer DatumGetPointer(Datum X)
Definition postgres.h:332
static int16 DatumGetInt16(Datum X)
Definition postgres.h:162
static int32 DatumGetInt32(Datum X)
Definition postgres.h:202
#define InvalidOid
unsigned int Oid
unsigned int pq_getmsgint(StringInfo msg, int b)
Definition pqformat.c:414
void pq_sendbytes(StringInfo buf, const void *data, int datalen)
Definition pqformat.c:126
void pq_sendtext(StringInfo buf, const char *str, int slen)
Definition pqformat.c:172
void pq_getmsgend(StringInfo msg)
Definition pqformat.c:634
char * pq_getmsgtext(StringInfo msg, int rawbytes, int *nbytes)
Definition pqformat.c:545
void pq_begintypsend(StringInfo buf)
Definition pqformat.c:325
const char * pq_getmsgbytes(StringInfo msg, int datalen)
Definition pqformat.c:507
bytea * pq_endtypsend(StringInfo buf)
Definition pqformat.c:345
static void pq_sendint(StringInfo buf, uint32 i, int b)
Definition pqformat.h:171
char * c
static int fb(int x)
char * s1
char * s2
char * quote_literal_cstr(const char *rawstr)
Definition quote.c:101
static unsigned hash(unsigned *uv, int n)
Definition rege_dfa.c:715
size_t pg_regerror(int errcode, const regex_t *preg, char *errbuf, size_t errbuf_size)
Definition regerror.c:60
#define REG_NOMATCH
Definition regex.h:216
#define regmatch_t
Definition regex.h:246
#define REG_OKAY
Definition regex.h:215
#define REG_NOSUB
Definition regex.h:185
#define regex_t
Definition regex.h:245
int pg_regexec(regex_t *re, const chr *string, size_t len, size_t search_start, rm_detail_t *details, size_t nmatch, regmatch_t pmatch[], int flags)
Definition regexec.c:185
regex_t * RE_compile_and_cache(text *text_re, int cflags, Oid collation)
Definition regexp.c:141
const char * quote_identifier(const char *ident)
void truncate_identifier(char *ident, int len, bool warn)
Definition scansup.c:81
char * downcase_truncate_identifier(const char *ident, int len, bool warn)
Definition scansup.c:38
bool scanner_isspace(char ch)
Definition scansup.c:105
#define S(n, x)
Definition sha1.c:73
struct StringInfoData * StringInfo
Definition string.h:15
StringInfo makeStringInfo(void)
Definition stringinfo.c:72
void appendStringInfo(StringInfo str, const char *fmt,...)
Definition stringinfo.c:145
void appendBinaryStringInfo(StringInfo str, const void *data, int datalen)
Definition stringinfo.c:281
void appendStringInfoSpaces(StringInfo str, int count)
Definition stringinfo.c:260
void appendStringInfoString(StringInfo str, const char *s)
Definition stringinfo.c:230
void appendStringInfoChar(StringInfo str, char ch)
Definition stringinfo.c:242
void initStringInfo(StringInfo str)
Definition stringinfo.c:97
#define appendStringInfoCharMacro(str, ch)
Definition stringinfo.h:231
static void initReadOnlyStringInfo(StringInfo str, char *data, int len)
Definition stringinfo.h:157
void * fn_extra
Definition fmgr.h:64
MemoryContext fn_mcxt
Definition fmgr.h:65
FmgrInfo * flinfo
Definition fmgr.h:87
Definition pg_list.h:54
TupleDesc setDesc
Definition execnodes.h:375
Tuplestorestate * setResult
Definition execnodes.h:374
int(* comparator)(Datum x, Datum y, SortSupport ssup)
Datum(* abbrev_converter)(Datum original, SortSupport ssup)
MemoryContext ssup_cxt
Definition sortsupport.h:66
int(* abbrev_full_comparator)(Datum x, Datum y, SortSupport ssup)
bool(* abbrev_abort)(int memtupcount, SortSupport ssup)
TupleDesc tupdesc
Definition varlena.c:112
ArrayBuildState * astate
Definition varlena.c:110
Tuplestorestate * tupstore
Definition varlena.c:111
bool is_multibyte_char_in_char
Definition varlena.c:55
int last_match_len_tmp
Definition varlena.c:73
char * last_match
Definition varlena.c:71
char * refpoint
Definition varlena.c:81
pg_locale_t locale
Definition varlena.c:54
pg_locale_t locale
Definition varlena.c:101
hyperLogLogState full_card
Definition varlena.c:99
hyperLogLogState abbr_card
Definition varlena.c:98
Definition c.h:832
Definition c.h:778
ToastCompressionId toast_get_compression_id(varlena *attr)
ToastCompressionId
@ TOAST_INVALID_COMPRESSION_ID
@ TOAST_LZ4_COMPRESSION_ID
@ TOAST_PGLZ_COMPRESSION_ID
int ssup_datum_unsigned_cmp(Datum x, Datum y, SortSupport ssup)
Definition tuplesort.c:3411
bool trace_sort
Definition tuplesort.c:122
void tuplestore_putvalues(Tuplestorestate *state, TupleDesc tdesc, const Datum *values, const bool *isnull)
Definition tuplestore.c:785
#define att_nominal_alignby(cur_offset, attalignby)
Definition tupmacs.h:411
#define att_addlength_pointer(cur_offset, attlen, attptr)
Definition tupmacs.h:431
static uint8 typalign_to_alignby(char typalign)
Definition tupmacs.h:302
static Datum fetch_att(const void *T, bool attbyval, int attlen)
Definition tupmacs.h:108
pg_unicode_category unicode_category(char32_t code)
@ PG_U_UNASSIGNED
UnicodeNormalizationQC unicode_is_normalized_quickcheck(UnicodeNormalizationForm form, const char32_t *input)
char32_t * unicode_normalize(UnicodeNormalizationForm form, const char32_t *input)
UnicodeNormalizationForm
@ UNICODE_NFKD
@ UNICODE_NFD
@ UNICODE_NFC
@ UNICODE_NFKC
UnicodeNormalizationQC
@ UNICODE_NORM_QC_YES
@ UNICODE_NORM_QC_NO
#define PG_UNICODE_VERSION
String * makeString(char *str)
Definition value.c:63
static bool VARATT_IS_EXTERNAL_ONDISK(const void *PTR)
Definition varatt.h:361
static Size VARSIZE_ANY(const void *PTR)
Definition varatt.h:460
static Size VARSIZE_ANY_EXHDR(const void *PTR)
Definition varatt.h:472
static bool VARATT_IS_EXTERNAL(const void *PTR)
Definition varatt.h:354
static char * VARDATA(const void *PTR)
Definition varatt.h:305
static char * VARDATA_ANY(const void *PTR)
Definition varatt.h:486
static bool VARATT_IS_COMPRESSED(const void *PTR)
Definition varatt.h:347
static void SET_VARSIZE(void *PTR, Size len)
Definition varatt.h:432
int bpchartruelen(char *s, int len)
Definition varchar.c:676
static int varstrfastcmp_locale(char *a1p, int len1, char *a2p, int len2, SortSupport ssup)
Definition varlena.c:1934
varlena VarString
Definition varlena.c:47
Datum unknownrecv(PG_FUNCTION_ARGS)
Definition varlena.c:357
Datum array_to_text(PG_FUNCTION_ARGS)
Definition varlena.c:3898
static int text_cmp(text *arg1, text *arg2, Oid collid)
Definition varlena.c:1403
Datum textsend(PG_FUNCTION_ARGS)
Definition varlena.c:318
Datum textoverlay_no_len(PG_FUNCTION_ARGS)
Definition varlena.c:844
static void text_format_string_conversion(StringInfo buf, char conversion, FmgrInfo *typOutputInfo, Datum value, bool isNull, int flags, int width)
Definition varlena.c:5175
static text * text_overlay(text *t1, text *t2, int sp, int sl)
Definition varlena.c:856
Datum text_format(PG_FUNCTION_ARGS)
Definition varlena.c:4772
Datum textlen(PG_FUNCTION_ARGS)
Definition varlena.c:392
Datum pg_column_toast_chunk_id(PG_FUNCTION_ARGS)
Definition varlena.c:4248
static void text_position_setup(text *t1, text *t2, Oid collid, TextPositionState *state)
Definition varlena.c:962
static int32 text_length(Datum str)
Definition varlena.c:410
static bool varstr_abbrev_abort(int memtupcount, SortSupport ssup)
Definition varlena.c:2201
Datum text_left(PG_FUNCTION_ARGS)
Definition varlena.c:4672
Datum string_agg_transfn(PG_FUNCTION_ARGS)
Definition varlena.c:4320
static bool text_isequal(text *txt1, text *txt2, Oid collid)
Definition varlena.c:3629
static void text_position_cleanup(TextPositionState *state)
Definition varlena.c:1319
static text * text_catenate(text *t1, text *t2)
Definition varlena.c:463
static text * concat_internal(const char *sepstr, int argidx, FunctionCallInfo fcinfo)
Definition varlena.c:4556
static void appendStringInfoText(StringInfo str, const text *t)
Definition varlena.c:3111
Datum textgtname(PG_FUNCTION_ARGS)
Definition varlena.c:2534
Datum textout(PG_FUNCTION_ARGS)
Definition varlena.c:289
Datum textcat(PG_FUNCTION_ARGS)
Definition varlena.c:448
Datum text_substr(PG_FUNCTION_ARGS)
Definition varlena.c:553
Datum text_smaller(PG_FUNCTION_ARGS)
Definition varlena.c:2343
static text * text_substring(Datum str, int32 start, int32 length, bool length_not_specified)
Definition varlena.c:586
static int check_replace_text_has_escape(const text *replace_text)
Definition varlena.c:3202
Datum text_concat_ws(PG_FUNCTION_ARGS)
Definition varlena.c:4651
static int internal_text_pattern_compare(text *arg1, text *arg2)
Definition varlena.c:2557
Datum string_agg_serialize(PG_FUNCTION_ARGS)
Definition varlena.c:4425
Datum text_ge(PG_FUNCTION_ARGS)
Definition varlena.c:1577
static int varlenafastcmp_locale(Datum x, Datum y, SortSupport ssup)
Definition varlena.c:1889
Datum array_to_text_null(PG_FUNCTION_ARGS)
Definition varlena.c:3914
static const char * text_format_parse_format(const char *start_ptr, const char *end_ptr, int *argpos, int *widthpos, int *flags, int *width)
Definition varlena.c:5098
Datum text_larger(PG_FUNCTION_ARGS)
Definition varlena.c:2331
Datum unicode_assigned(PG_FUNCTION_ARGS)
Definition varlena.c:5451
int varstr_cmp(const char *arg1, int len1, const char *arg2, int len2, Oid collid)
Definition varlena.c:1355
static char * text_position_get_match_ptr(TextPositionState *state)
Definition varlena.c:1284
static int bpcharfastcmp_c(Datum x, Datum y, SortSupport ssup)
Definition varlena.c:1844
Datum text_to_array_null(PG_FUNCTION_ARGS)
Definition varlena.c:3669
static unsigned int hexval_n(const char *instr, size_t n)
Definition varlena.c:5623
static bool rest_of_char_same(const char *s1, const char *s2, int len)
Definition varlena.c:5286
text * cstring_to_text_with_len(const char *s, int len)
Definition varlena.c:196
Datum text_to_table_null(PG_FUNCTION_ARGS)
Definition varlena.c:3704
Datum text_right(PG_FUNCTION_ARGS)
Definition varlena.c:4696
Datum textne(PG_FUNCTION_ARGS)
Definition varlena.c:1483
Datum textrecv(PG_FUNCTION_ARGS)
Definition varlena.c:300
static void text_format_append_string(StringInfo buf, const char *str, int flags, int width)
Definition varlena.c:5224
static int text_position(text *t1, text *t2, Oid collid)
Definition varlena.c:916
bool SplitDirectoriesString(char *rawstring, char separator, List **namelist)
Definition varlena.c:2904
Datum unicode_normalize_func(PG_FUNCTION_ARGS)
Definition varlena.c:5479
Datum bttext_pattern_sortsupport(PG_FUNCTION_ARGS)
Definition varlena.c:2659
static void split_text_accum_result(SplitTextOutputData *tstate, text *field_value, text *null_string, Oid collation)
Definition varlena.c:3859
Datum split_part(PG_FUNCTION_ARGS)
Definition varlena.c:3497
Datum texteqname(PG_FUNCTION_ARGS)
Definition varlena.c:2385
Datum text_substr_no_len(PG_FUNCTION_ARGS)
Definition varlena.c:567
Datum text_name(PG_FUNCTION_ARGS)
Definition varlena.c:2679
Datum text_le(PG_FUNCTION_ARGS)
Definition varlena.c:1547
const char * getClosestMatch(ClosestMatchState *state)
Definition varlena.c:5377
static void text_position_reset(TextPositionState *state)
Definition varlena.c:1311
Datum text_to_table(PG_FUNCTION_ARGS)
Definition varlena.c:3680
#define ADVANCE_PARSE_POINTER(ptr, end_ptr)
Definition varlena.c:4759
Datum textnename(PG_FUNCTION_ARGS)
Definition varlena.c:2435
static char * text_position_next_internal(char *start_ptr, TextPositionState *state)
Definition varlena.c:1150
static FmgrInfo * build_concat_foutcache(FunctionCallInfo fcinfo, int argidx)
Definition varlena.c:4518
Datum to_hex64(PG_FUNCTION_ARGS)
Definition varlena.c:4135
Datum text_to_array(PG_FUNCTION_ARGS)
Definition varlena.c:3643
Datum unicode_is_normalized(PG_FUNCTION_ARGS)
Definition varlena.c:5545
#define TEXT_FORMAT_FLAG_MINUS
Definition varlena.c:4757
static void check_collation_set(Oid collid)
Definition varlena.c:1326
bool SplitGUCList(char *rawstring, char separator, List **namelist)
Definition varlena.c:3025
static text * convert_to_base(uint64 value, int base)
Definition varlena.c:4064
Datum textoverlay(PG_FUNCTION_ARGS)
Definition varlena.c:833
static void appendStringInfoRegexpSubstr(StringInfo str, text *replace_text, regmatch_t *pmatch, char *start_ptr, int data_pos)
Definition varlena.c:3235
bool SplitIdentifierString(char *rawstring, char separator, List **namelist)
Definition varlena.c:2777
static text * array_to_text_internal(FunctionCallInfo fcinfo, ArrayType *v, const char *fldsep, const char *null_string)
Definition varlena.c:3940
Datum to_hex32(PG_FUNCTION_ARGS)
Definition varlena.c:4128
Datum text_starts_with(PG_FUNCTION_ARGS)
Definition varlena.c:1592
Datum text_gt(PG_FUNCTION_ARGS)
Definition varlena.c:1562
Datum text_reverse(PG_FUNCTION_ARGS)
Definition varlena.c:4717
Datum to_bin64(PG_FUNCTION_ARGS)
Definition varlena.c:4097
Datum texteq(PG_FUNCTION_ARGS)
Definition varlena.c:1428
Datum to_oct64(PG_FUNCTION_ARGS)
Definition varlena.c:4116
Datum text_pattern_gt(PG_FUNCTION_ARGS)
Definition varlena.c:2627
static int charlen_to_bytelen(const char *p, int n)
Definition varlena.c:507
void varstr_sortsupport(SortSupport ssup, Oid typid, Oid collid)
Definition varlena.c:1671
static int namefastcmp_c(Datum x, Datum y, SortSupport ssup)
Definition varlena.c:1877
static StringInfo makeStringAggState(FunctionCallInfo fcinfo)
Definition varlena.c:4296
Datum textlename(PG_FUNCTION_ARGS)
Definition varlena.c:2528
Datum icu_unicode_version(PG_FUNCTION_ARGS)
Definition varlena.c:5436
static int namefastcmp_locale(Datum x, Datum y, SortSupport ssup)
Definition varlena.c:1920
static Datum varstr_abbrev_convert(Datum original, SortSupport ssup)
Definition varlena.c:2034
text * cstring_to_text(const char *s)
Definition varlena.c:184
Datum text_concat(PG_FUNCTION_ARGS)
Definition varlena.c:4636
Datum text_pattern_lt(PG_FUNCTION_ARGS)
Definition varlena.c:2579
Datum text_pattern_ge(PG_FUNCTION_ARGS)
Definition varlena.c:2611
Datum btvarstrequalimage(PG_FUNCTION_ARGS)
Definition varlena.c:2315
Datum nameletext(PG_FUNCTION_ARGS)
Definition varlena.c:2504
#define CmpCall(cmpfunc)
Definition varlena.c:2491
text * replace_text_regexp(text *src_text, text *pattern_text, text *replace_text, int cflags, Oid collation, int search_start, int n)
Definition varlena.c:3335
Datum namenetext(PG_FUNCTION_ARGS)
Definition varlena.c:2410
static int text_position_get_match_pos(TextPositionState *state)
Definition varlena.c:1295
void text_to_cstring_buffer(const text *src, char *dst, size_t dst_len)
Definition varlena.c:248
Datum to_bin32(PG_FUNCTION_ARGS)
Definition varlena.c:4090
Datum to_oct32(PG_FUNCTION_ARGS)
Definition varlena.c:4109
Datum namegttext(PG_FUNCTION_ARGS)
Definition varlena.c:2510
Datum unicode_version(PG_FUNCTION_ARGS)
Definition varlena.c:5427
Datum namegetext(PG_FUNCTION_ARGS)
Definition varlena.c:2516
static UnicodeNormalizationForm unicode_norm_form_from_string(const char *formstr)
Definition varlena.c:5390
static bool text_position_next(TextPositionState *state)
Definition varlena.c:1083
Datum textoctetlen(PG_FUNCTION_ARGS)
Definition varlena.c:429
Datum textltname(PG_FUNCTION_ARGS)
Definition varlena.c:2522
Datum bttextsortsupport(PG_FUNCTION_ARGS)
Definition varlena.c:1646
Datum text_format_nv(PG_FUNCTION_ARGS)
Definition varlena.c:5276
Datum textpos(PG_FUNCTION_ARGS)
Definition varlena.c:893
static int varstrfastcmp_c(Datum x, Datum y, SortSupport ssup)
Definition varlena.c:1807
Datum bttext_pattern_cmp(PG_FUNCTION_ARGS)
Definition varlena.c:2643
static int pg_mbcharcliplen_chars(const char *mbstr, int len, int limit)
Definition varlena.c:804
Datum string_agg_finalfn(PG_FUNCTION_ARGS)
Definition varlena.c:4492
Datum unistr(PG_FUNCTION_ARGS)
Definition varlena.c:5637
static unsigned int hexval(unsigned char c)
Definition varlena.c:5607
static bool text_format_parse_digits(const char **ptr, const char *end_ptr, int *value)
Definition varlena.c:5049
Datum unknownin(PG_FUNCTION_ARGS)
Definition varlena.c:333
static bool isxdigits_n(const char *instr, size_t n)
Definition varlena.c:5597
Datum string_agg_deserialize(PG_FUNCTION_ARGS)
Definition varlena.c:4456
Datum namelttext(PG_FUNCTION_ARGS)
Definition varlena.c:2498
Datum pg_column_size(PG_FUNCTION_ARGS)
Definition varlena.c:4148
#define DatumGetVarStringPP(X)
Definition varlena.c:122
Datum pg_column_compression(PG_FUNCTION_ARGS)
Definition varlena.c:4195
Datum name_text(PG_FUNCTION_ARGS)
Definition varlena.c:2702
Datum nameeqtext(PG_FUNCTION_ARGS)
Definition varlena.c:2360
Datum bttextnamecmp(PG_FUNCTION_ARGS)
Definition varlena.c:2476
void initClosestMatch(ClosestMatchState *state, const char *source, int max_d)
Definition varlena.c:5322
Datum textin(PG_FUNCTION_ARGS)
Definition varlena.c:278
Datum string_agg_combine(PG_FUNCTION_ARGS)
Definition varlena.c:4375
Datum btnametextcmp(PG_FUNCTION_ARGS)
Definition varlena.c:2460
Datum unknownsend(PG_FUNCTION_ARGS)
Definition varlena.c:372
Datum text_pattern_le(PG_FUNCTION_ARGS)
Definition varlena.c:2595
#define TEXTBUFLEN
Definition varlena.c:119
void updateClosestMatch(ClosestMatchState *state, const char *candidate)
Definition varlena.c:5342
char * text_to_cstring(const text *t)
Definition varlena.c:217
Datum bttextcmp(PG_FUNCTION_ARGS)
Definition varlena.c:1631
Datum unknownout(PG_FUNCTION_ARGS)
Definition varlena.c:345
Datum replace_text(PG_FUNCTION_ARGS)
Definition varlena.c:3125
Datum textgename(PG_FUNCTION_ARGS)
Definition varlena.c:2540
List * textToQualifiedNameList(text *textval)
Definition varlena.c:2719
static bool split_text(FunctionCallInfo fcinfo, SplitTextOutputData *tstate)
Definition varlena.c:3720
Datum text_lt(PG_FUNCTION_ARGS)
Definition varlena.c:1532
int varstr_levenshtein_less_equal(const char *source, int slen, const char *target, int tlen, int ins_c, int del_c, int sub_c, int max_d, bool trusted)