Age Owner Branch data TLA Line data Source code
1 : : /*------------------------------------------------------------------------
2 : : *
3 : : * regress.c
4 : : * Code for various C-language functions defined as part of the
5 : : * regression tests.
6 : : *
7 : : * This code is released under the terms of the PostgreSQL License.
8 : : *
9 : : * Portions Copyright (c) 1996-2025, PostgreSQL Global Development Group
10 : : * Portions Copyright (c) 1994, Regents of the University of California
11 : : *
12 : : * src/test/regress/regress.c
13 : : *
14 : : *-------------------------------------------------------------------------
15 : : */
16 : :
17 : : #include "postgres.h"
18 : :
19 : : #include <math.h>
20 : : #include <signal.h>
21 : :
22 : : #include "access/detoast.h"
23 : : #include "access/htup_details.h"
24 : : #include "catalog/catalog.h"
25 : : #include "catalog/namespace.h"
26 : : #include "catalog/pg_operator.h"
27 : : #include "catalog/pg_type.h"
28 : : #include "commands/sequence.h"
29 : : #include "commands/trigger.h"
30 : : #include "executor/executor.h"
31 : : #include "executor/functions.h"
32 : : #include "executor/spi.h"
33 : : #include "funcapi.h"
34 : : #include "mb/pg_wchar.h"
35 : : #include "miscadmin.h"
36 : : #include "nodes/supportnodes.h"
37 : : #include "optimizer/optimizer.h"
38 : : #include "optimizer/plancat.h"
39 : : #include "parser/parse_coerce.h"
40 : : #include "port/atomics.h"
41 : : #include "postmaster/postmaster.h" /* for MAX_BACKENDS */
42 : : #include "storage/spin.h"
43 : : #include "tcop/tcopprot.h"
44 : : #include "utils/array.h"
45 : : #include "utils/builtins.h"
46 : : #include "utils/geo_decls.h"
47 : : #include "utils/memutils.h"
48 : : #include "utils/rel.h"
49 : : #include "utils/typcache.h"
50 : :
51 : : /* define our text domain for translations */
52 : : #undef TEXTDOMAIN
53 : : #define TEXTDOMAIN PG_TEXTDOMAIN("regress")
54 : :
55 : : #define EXPECT_TRUE(expr) \
56 : : do { \
57 : : if (!(expr)) \
58 : : elog(ERROR, \
59 : : "%s was unexpectedly false in file \"%s\" line %u", \
60 : : #expr, __FILE__, __LINE__); \
61 : : } while (0)
62 : :
63 : : #define EXPECT_EQ_U32(result_expr, expected_expr) \
64 : : do { \
65 : : uint32 actual_result = (result_expr); \
66 : : uint32 expected_result = (expected_expr); \
67 : : if (actual_result != expected_result) \
68 : : elog(ERROR, \
69 : : "%s yielded %u, expected %s in file \"%s\" line %u", \
70 : : #result_expr, actual_result, #expected_expr, __FILE__, __LINE__); \
71 : : } while (0)
72 : :
73 : : #define EXPECT_EQ_U64(result_expr, expected_expr) \
74 : : do { \
75 : : uint64 actual_result = (result_expr); \
76 : : uint64 expected_result = (expected_expr); \
77 : : if (actual_result != expected_result) \
78 : : elog(ERROR, \
79 : : "%s yielded " UINT64_FORMAT ", expected %s in file \"%s\" line %u", \
80 : : #result_expr, actual_result, #expected_expr, __FILE__, __LINE__); \
81 : : } while (0)
82 : :
83 : : #define LDELIM '('
84 : : #define RDELIM ')'
85 : : #define DELIM ','
86 : :
87 : : static void regress_lseg_construct(LSEG *lseg, Point *pt1, Point *pt2);
88 : :
265 tgl@sss.pgh.pa.us 89 :CBC 62 : PG_MODULE_MAGIC_EXT(
90 : : .name = "regress",
91 : : .version = PG_VERSION
92 : : );
93 : :
94 : :
95 : : /* return the point where two paths intersect, or NULL if no intersection. */
9157 96 : 7 : PG_FUNCTION_INFO_V1(interpt_pp);
97 : :
98 : : Datum
9270 99 : 2688 : interpt_pp(PG_FUNCTION_ARGS)
100 : : {
101 : 2688 : PATH *p1 = PG_GETARG_PATH_P(0);
102 : 2688 : PATH *p2 = PG_GETARG_PATH_P(1);
103 : : int i,
104 : : j;
105 : : LSEG seg1,
106 : : seg2;
107 : : bool found; /* We've found the intersection */
108 : :
10327 bruce@momjian.us 109 : 2688 : found = false; /* Haven't found it yet */
110 : :
111 [ + + + + ]: 8823 : for (i = 0; i < p1->npts - 1 && !found; i++)
112 : : {
9270 tgl@sss.pgh.pa.us 113 : 6135 : regress_lseg_construct(&seg1, &p1->p[i], &p1->p[i + 1]);
10327 bruce@momjian.us 114 [ + + + + ]: 18819 : for (j = 0; j < p2->npts - 1 && !found; j++)
115 : : {
116 : 12684 : regress_lseg_construct(&seg2, &p2->p[j], &p2->p[j + 1]);
9270 tgl@sss.pgh.pa.us 117 [ + + ]: 12684 : if (DatumGetBool(DirectFunctionCall2(lseg_intersect,
118 : : LsegPGetDatum(&seg1),
119 : : LsegPGetDatum(&seg2))))
10327 bruce@momjian.us 120 : 2682 : found = true;
121 : : }
122 : : }
123 : :
9270 tgl@sss.pgh.pa.us 124 [ + + ]: 2688 : if (!found)
125 : 6 : PG_RETURN_NULL();
126 : :
127 : : /*
128 : : * Note: DirectFunctionCall2 will kick out an error if lseg_interpt()
129 : : * returns NULL, but that should be impossible since we know the two
130 : : * segments intersect.
131 : : */
132 : 2682 : PG_RETURN_DATUM(DirectFunctionCall2(lseg_interpt,
133 : : LsegPGetDatum(&seg1),
134 : : LsegPGetDatum(&seg2)));
135 : : }
136 : :
137 : :
138 : : /* like lseg_construct, but assume space already allocated */
139 : : static void
8307 bruce@momjian.us 140 : 18819 : regress_lseg_construct(LSEG *lseg, Point *pt1, Point *pt2)
141 : : {
10327 142 : 18819 : lseg->p[0].x = pt1->x;
143 : 18819 : lseg->p[0].y = pt1->y;
144 : 18819 : lseg->p[1].x = pt2->x;
145 : 18819 : lseg->p[1].y = pt2->y;
10752 scrappy@hub.org 146 : 18819 : }
147 : :
9157 tgl@sss.pgh.pa.us 148 : 7 : PG_FUNCTION_INFO_V1(overpaid);
149 : :
150 : : Datum
9325 151 : 18 : overpaid(PG_FUNCTION_ARGS)
152 : : {
7929 153 : 18 : HeapTupleHeader tuple = PG_GETARG_HEAPTUPLEHEADER(0);
154 : : bool isnull;
155 : : int32 salary;
156 : :
9245 157 : 18 : salary = DatumGetInt32(GetAttributeByName(tuple, "salary", &isnull));
9325 158 [ - + ]: 18 : if (isnull)
9325 tgl@sss.pgh.pa.us 159 :UBC 0 : PG_RETURN_NULL();
9325 tgl@sss.pgh.pa.us 160 :CBC 18 : PG_RETURN_BOOL(salary > 699);
161 : : }
162 : :
163 : : /* New type "widget"
164 : : * This used to be "circle", but I added circle to builtins,
165 : : * so needed to make sure the names do not collide. - tgl 97/04/21
166 : : */
167 : :
168 : : typedef struct
169 : : {
170 : : Point center;
171 : : double radius;
172 : : } WIDGET;
173 : :
3184 andres@anarazel.de 174 : 10 : PG_FUNCTION_INFO_V1(widget_in);
175 : 7 : PG_FUNCTION_INFO_V1(widget_out);
176 : :
177 : : #define NARGS 3
178 : :
179 : : Datum
180 : 33 : widget_in(PG_FUNCTION_ARGS)
181 : : {
182 : 33 : char *str = PG_GETARG_CSTRING(0);
183 : : char *p,
184 : : *coord[NARGS];
185 : : int i;
186 : : WIDGET *result;
187 : :
10752 scrappy@hub.org 188 [ + + + + : 189 : for (i = 0, p = str; *p && i < NARGS && *p != RDELIM; p++)
+ + ]
189 : : {
3629 tgl@sss.pgh.pa.us 190 [ + + + + : 156 : if (*p == DELIM || (*p == LDELIM && i == 0))
+ - ]
10752 scrappy@hub.org 191 : 81 : coord[i++] = p + 1;
192 : : }
193 : :
194 : : /*
195 : : * Note: DON'T convert this error to "soft" style (errsave/ereturn). We
196 : : * want this data type to stay permanently in the hard-error world so that
197 : : * it can be used for testing that such cases still work reasonably.
198 : : */
3629 tgl@sss.pgh.pa.us 199 [ + + ]: 33 : if (i < NARGS)
200 [ + - ]: 12 : ereport(ERROR,
201 : : (errcode(ERRCODE_INVALID_TEXT_REPRESENTATION),
202 : : errmsg("invalid input syntax for type %s: \"%s\"",
203 : : "widget", str)));
204 : :
7 michael@paquier.xyz 205 :GNC 21 : result = palloc_object(WIDGET);
10752 scrappy@hub.org 206 :CBC 21 : result->center.x = atof(coord[0]);
207 : 21 : result->center.y = atof(coord[1]);
208 : 21 : result->radius = atof(coord[2]);
209 : :
3184 andres@anarazel.de 210 : 21 : PG_RETURN_POINTER(result);
211 : : }
212 : :
213 : : Datum
214 : 6 : widget_out(PG_FUNCTION_ARGS)
215 : : {
3135 bruce@momjian.us 216 : 6 : WIDGET *widget = (WIDGET *) PG_GETARG_POINTER(0);
217 : 6 : char *str = psprintf("(%g,%g,%g)",
218 : : widget->center.x, widget->center.y, widget->radius);
219 : :
3184 andres@anarazel.de 220 : 6 : PG_RETURN_CSTRING(str);
221 : : }
222 : :
9157 tgl@sss.pgh.pa.us 223 : 7 : PG_FUNCTION_INFO_V1(pt_in_widget);
224 : :
225 : : Datum
9317 226 : 6 : pt_in_widget(PG_FUNCTION_ARGS)
227 : : {
228 : 6 : Point *point = PG_GETARG_POINT_P(0);
229 : 6 : WIDGET *widget = (WIDGET *) PG_GETARG_POINTER(1);
230 : : float8 distance;
231 : :
2697 tomas.vondra@postgre 232 : 6 : distance = DatumGetFloat8(DirectFunctionCall2(point_distance,
233 : : PointPGetDatum(point),
234 : : PointPGetDatum(&widget->center)));
235 : :
236 : 6 : PG_RETURN_BOOL(distance < widget->radius);
237 : : }
238 : :
3184 andres@anarazel.de 239 : 7 : PG_FUNCTION_INFO_V1(reverse_name);
240 : :
241 : : Datum
242 : 24 : reverse_name(PG_FUNCTION_ARGS)
243 : : {
244 : 24 : char *string = PG_GETARG_CSTRING(0);
245 : : int i;
246 : : int len;
247 : : char *new_string;
248 : :
8178 tgl@sss.pgh.pa.us 249 : 24 : new_string = palloc0(NAMEDATALEN);
10011 bruce@momjian.us 250 [ + - + + ]: 168 : for (i = 0; i < NAMEDATALEN && string[i]; ++i)
251 : : ;
252 [ + - + - ]: 24 : if (i == NAMEDATALEN || !string[i])
10327 253 : 24 : --i;
254 : 24 : len = i;
255 [ + + ]: 168 : for (; i >= 0; --i)
256 : 144 : new_string[len - i] = string[i];
3184 andres@anarazel.de 257 : 24 : PG_RETURN_CSTRING(new_string);
258 : : }
259 : :
2849 tgl@sss.pgh.pa.us 260 : 7 : PG_FUNCTION_INFO_V1(trigger_return_old);
261 : :
262 : : Datum
263 : 45 : trigger_return_old(PG_FUNCTION_ARGS)
264 : : {
265 : 45 : TriggerData *trigdata = (TriggerData *) fcinfo->context;
266 : : HeapTuple tuple;
267 : :
268 [ + - - + ]: 45 : if (!CALLED_AS_TRIGGER(fcinfo))
2849 tgl@sss.pgh.pa.us 269 [ # # ]:UBC 0 : elog(ERROR, "trigger_return_old: not fired by trigger manager");
270 : :
2849 tgl@sss.pgh.pa.us 271 :CBC 45 : tuple = trigdata->tg_trigtuple;
272 : :
273 : 45 : return PointerGetDatum(tuple);
274 : : }
275 : :
276 : :
277 : : /*
278 : : * Type int44 has no real-world use, but the regression tests use it
279 : : * (under the alias "city_budget"). It's a four-element vector of int4's.
280 : : */
281 : :
282 : : /*
283 : : * int44in - converts "num, num, ..." to internal form
284 : : *
285 : : * Note: Fills any missing positions with zeroes.
286 : : */
287 : 7 : PG_FUNCTION_INFO_V1(int44in);
288 : :
289 : : Datum
290 : 6 : int44in(PG_FUNCTION_ARGS)
291 : : {
8517 292 : 6 : char *input_string = PG_GETARG_CSTRING(0);
293 : 6 : int32 *result = (int32 *) palloc(4 * sizeof(int32));
294 : : int i;
295 : :
296 : 6 : i = sscanf(input_string,
297 : : "%d, %d, %d, %d",
298 : : &result[0],
299 : : &result[1],
300 : : &result[2],
301 : : &result[3]);
302 [ + + ]: 9 : while (i < 4)
303 : 3 : result[i++] = 0;
304 : :
305 : 6 : PG_RETURN_POINTER(result);
306 : : }
307 : :
308 : : /*
309 : : * int44out - converts internal form to "num, num, ..."
310 : : */
2849 311 : 11 : PG_FUNCTION_INFO_V1(int44out);
312 : :
313 : : Datum
314 : 14 : int44out(PG_FUNCTION_ARGS)
315 : : {
8517 316 : 14 : int32 *an_array = (int32 *) PG_GETARG_POINTER(0);
2849 317 : 14 : char *result = (char *) palloc(16 * 4);
318 : :
319 : 14 : snprintf(result, 16 * 4, "%d,%d,%d,%d",
320 : : an_array[0],
321 : 14 : an_array[1],
322 : 14 : an_array[2],
323 : 14 : an_array[3]);
324 : :
8517 325 : 14 : PG_RETURN_CSTRING(result);
326 : : }
327 : :
1415 328 : 7 : PG_FUNCTION_INFO_V1(test_canonicalize_path);
329 : : Datum
330 : 66 : test_canonicalize_path(PG_FUNCTION_ARGS)
331 : : {
332 : 66 : char *path = text_to_cstring(PG_GETARG_TEXT_PP(0));
333 : :
334 : 66 : canonicalize_path(path);
335 : 66 : PG_RETURN_TEXT_P(cstring_to_text(path));
336 : : }
337 : :
4550 rhaas@postgresql.org 338 : 7 : PG_FUNCTION_INFO_V1(make_tuple_indirect);
339 : : Datum
340 : 63 : make_tuple_indirect(PG_FUNCTION_ARGS)
341 : : {
342 : 63 : HeapTupleHeader rec = PG_GETARG_HEAPTUPLEHEADER(0);
343 : : HeapTupleData tuple;
344 : : int ncolumns;
345 : : Datum *values;
346 : : bool *nulls;
347 : :
348 : : Oid tupType;
349 : : int32 tupTypmod;
350 : : TupleDesc tupdesc;
351 : :
352 : : HeapTuple newtup;
353 : :
354 : : int i;
355 : :
356 : : MemoryContext old_context;
357 : :
358 : : /* Extract type info from the tuple itself */
359 : 63 : tupType = HeapTupleHeaderGetTypeId(rec);
360 : 63 : tupTypmod = HeapTupleHeaderGetTypMod(rec);
361 : 63 : tupdesc = lookup_rowtype_tupdesc(tupType, tupTypmod);
362 : 63 : ncolumns = tupdesc->natts;
363 : :
364 : : /* Build a temporary HeapTuple control structure */
365 : 63 : tuple.t_len = HeapTupleHeaderGetDatumLength(rec);
366 : 63 : ItemPointerSetInvalid(&(tuple.t_self));
367 : 63 : tuple.t_tableOid = InvalidOid;
368 : 63 : tuple.t_data = rec;
369 : :
370 : 63 : values = (Datum *) palloc(ncolumns * sizeof(Datum));
371 : 63 : nulls = (bool *) palloc(ncolumns * sizeof(bool));
372 : :
373 : 63 : heap_deform_tuple(&tuple, tupdesc, values, nulls);
374 : :
375 : 63 : old_context = MemoryContextSwitchTo(TopTransactionContext);
376 : :
377 [ + + ]: 315 : for (i = 0; i < ncolumns; i++)
378 : : {
379 : : struct varlena *attr;
380 : : struct varlena *new_attr;
381 : : struct varatt_indirect redirect_pointer;
382 : :
383 : : /* only work on existing, not-null varlenas */
3040 andres@anarazel.de 384 [ + - ]: 252 : if (TupleDescAttr(tupdesc, i)->attisdropped ||
4550 rhaas@postgresql.org 385 [ + + ]: 252 : nulls[i] ||
547 michael@paquier.xyz 386 [ + + ]: 219 : TupleDescAttr(tupdesc, i)->attlen != -1 ||
387 [ - + ]: 156 : TupleDescAttr(tupdesc, i)->attstorage == TYPSTORAGE_PLAIN)
4550 rhaas@postgresql.org 388 : 96 : continue;
389 : :
390 : 156 : attr = (struct varlena *) DatumGetPointer(values[i]);
391 : :
392 : : /* don't recursively indirect */
393 [ - + - - ]: 156 : if (VARATT_IS_EXTERNAL_INDIRECT(attr))
4550 rhaas@postgresql.org 394 :UBC 0 : continue;
395 : :
396 : : /* copy datum, so it still lives later */
4550 rhaas@postgresql.org 397 [ - + - - ]:CBC 156 : if (VARATT_IS_EXTERNAL_ONDISK(attr))
2265 rhaas@postgresql.org 398 :UBC 0 : attr = detoast_external_attr(attr);
399 : : else
400 : : {
4550 rhaas@postgresql.org 401 :CBC 156 : struct varlena *oldattr = attr;
402 : :
403 [ - + - - : 156 : attr = palloc0(VARSIZE_ANY(oldattr));
- - - - +
+ ]
404 [ - + - - : 156 : memcpy(attr, oldattr, VARSIZE_ANY(oldattr));
- - - - +
+ ]
405 : : }
406 : :
407 : : /* build indirection Datum */
408 : 156 : new_attr = (struct varlena *) palloc0(INDIRECT_POINTER_SIZE);
409 : 156 : redirect_pointer.pointer = attr;
410 : 156 : SET_VARTAG_EXTERNAL(new_attr, VARTAG_INDIRECT);
411 : 156 : memcpy(VARDATA_EXTERNAL(new_attr), &redirect_pointer,
412 : : sizeof(redirect_pointer));
413 : :
414 : 156 : values[i] = PointerGetDatum(new_attr);
415 : : }
416 : :
417 : 63 : newtup = heap_form_tuple(tupdesc, values, nulls);
418 : 63 : pfree(values);
419 : 63 : pfree(nulls);
420 [ + - ]: 63 : ReleaseTupleDesc(tupdesc);
421 : :
422 : 63 : MemoryContextSwitchTo(old_context);
423 : :
424 : : /*
425 : : * We intentionally don't use PG_RETURN_HEAPTUPLEHEADER here, because that
426 : : * would cause the indirect toast pointers to be flattened out of the
427 : : * tuple immediately, rendering subsequent testing irrelevant. So just
428 : : * return the HeapTupleHeader pointer as-is. This violates the general
429 : : * rule that composite Datums shouldn't contain toast pointers, but so
430 : : * long as the regression test scripts don't insert the result of this
431 : : * function into a container type (record, array, etc) it should be OK.
432 : : */
4247 tgl@sss.pgh.pa.us 433 : 63 : PG_RETURN_POINTER(newtup->t_data);
434 : : }
435 : :
400 noah@leadboat.com 436 : 2 : PG_FUNCTION_INFO_V1(get_environ);
437 : :
438 : : Datum
439 : 1 : get_environ(PG_FUNCTION_ARGS)
440 : : {
441 : : #if !defined(WIN32)
442 : : extern char **environ;
443 : : #endif
444 : 1 : int nvals = 0;
445 : : ArrayType *result;
446 : : Datum *env;
447 : :
448 [ + + ]: 142 : for (char **s = environ; *s; s++)
449 : 141 : nvals++;
450 : :
451 : 1 : env = palloc(nvals * sizeof(Datum));
452 : :
453 [ + + ]: 142 : for (int i = 0; i < nvals; i++)
454 : 141 : env[i] = CStringGetTextDatum(environ[i]);
455 : :
456 : 1 : result = construct_array_builtin(env, nvals, TEXTOID);
457 : :
458 : 1 : PG_RETURN_POINTER(result);
459 : : }
460 : :
1812 tgl@sss.pgh.pa.us 461 : 2 : PG_FUNCTION_INFO_V1(regress_setenv);
462 : :
463 : : Datum
464 : 1 : regress_setenv(PG_FUNCTION_ARGS)
465 : : {
466 : 1 : char *envvar = text_to_cstring(PG_GETARG_TEXT_PP(0));
467 : 1 : char *envval = text_to_cstring(PG_GETARG_TEXT_PP(1));
468 : :
4165 noah@leadboat.com 469 [ - + ]: 1 : if (!superuser())
4165 noah@leadboat.com 470 [ # # ]:UBC 0 : elog(ERROR, "must be superuser to change environment variables");
471 : :
1812 tgl@sss.pgh.pa.us 472 [ - + ]:CBC 1 : if (setenv(envvar, envval, 1) != 0)
4165 noah@leadboat.com 473 [ # # ]:UBC 0 : elog(ERROR, "could not set environment variable: %m");
474 : :
4165 noah@leadboat.com 475 :CBC 1 : PG_RETURN_VOID();
476 : : }
477 : :
478 : : /* Sleep until no process has a given PID. */
479 : 3 : PG_FUNCTION_INFO_V1(wait_pid);
480 : :
481 : : Datum
482 : 1 : wait_pid(PG_FUNCTION_ARGS)
483 : : {
484 : 1 : int pid = PG_GETARG_INT32(0);
485 : :
486 [ - + ]: 1 : if (!superuser())
4165 noah@leadboat.com 487 [ # # ]:UBC 0 : elog(ERROR, "must be superuser to check PID liveness");
488 : :
4165 noah@leadboat.com 489 [ + + ]:CBC 4 : while (kill(pid, 0) == 0)
490 : : {
3937 491 [ - + ]: 3 : CHECK_FOR_INTERRUPTS();
4165 492 : 3 : pg_usleep(50000);
493 : : }
494 : :
495 [ - + ]: 1 : if (errno != ESRCH)
4165 noah@leadboat.com 496 [ # # ]:UBC 0 : elog(ERROR, "could not check PID %d liveness: %m", pid);
497 : :
4165 noah@leadboat.com 498 :CBC 1 : PG_RETURN_VOID();
499 : : }
500 : :
501 : : static void
4100 andres@anarazel.de 502 : 3 : test_atomic_flag(void)
503 : : {
504 : : pg_atomic_flag flag;
505 : :
506 : 3 : pg_atomic_init_flag(&flag);
2264 noah@leadboat.com 507 [ - + - - ]: 3 : EXPECT_TRUE(pg_atomic_unlocked_test_flag(&flag));
508 [ - + - - ]: 3 : EXPECT_TRUE(pg_atomic_test_set_flag(&flag));
509 [ - + - - ]: 3 : EXPECT_TRUE(!pg_atomic_unlocked_test_flag(&flag));
510 [ - + - - ]: 3 : EXPECT_TRUE(!pg_atomic_test_set_flag(&flag));
4100 andres@anarazel.de 511 : 3 : pg_atomic_clear_flag(&flag);
2264 noah@leadboat.com 512 [ - + - - ]: 3 : EXPECT_TRUE(pg_atomic_unlocked_test_flag(&flag));
513 [ - + - - ]: 3 : EXPECT_TRUE(pg_atomic_test_set_flag(&flag));
4100 andres@anarazel.de 514 : 3 : pg_atomic_clear_flag(&flag);
515 : 3 : }
516 : :
517 : : static void
518 : 3 : test_atomic_uint32(void)
519 : : {
520 : : pg_atomic_uint32 var;
521 : : uint32 expected;
522 : : int i;
523 : :
524 : 3 : pg_atomic_init_u32(&var, 0);
2264 noah@leadboat.com 525 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_read_u32(&var), 0);
4100 andres@anarazel.de 526 : 3 : pg_atomic_write_u32(&var, 3);
2264 noah@leadboat.com 527 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_read_u32(&var), 3);
528 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_fetch_add_u32(&var, pg_atomic_read_u32(&var) - 2),
529 : : 3);
530 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_fetch_sub_u32(&var, 1), 4);
531 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_sub_fetch_u32(&var, 3), 0);
532 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_add_fetch_u32(&var, 10), 10);
533 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_exchange_u32(&var, 5), 10);
534 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_exchange_u32(&var, 0), 5);
535 : :
536 : : /* test around numerical limits */
537 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_fetch_add_u32(&var, INT_MAX), 0);
538 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_fetch_add_u32(&var, INT_MAX), INT_MAX);
2286 539 : 3 : pg_atomic_fetch_add_u32(&var, 2); /* wrap to 0 */
2264 540 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_fetch_add_u32(&var, PG_INT16_MAX), 0);
541 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_fetch_add_u32(&var, PG_INT16_MAX + 1),
542 : : PG_INT16_MAX);
543 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_fetch_add_u32(&var, PG_INT16_MIN),
544 : : 2 * PG_INT16_MAX + 1);
545 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_fetch_add_u32(&var, PG_INT16_MIN - 1),
546 : : PG_INT16_MAX);
3860 bruce@momjian.us 547 : 3 : pg_atomic_fetch_add_u32(&var, 1); /* top up to UINT_MAX */
2264 noah@leadboat.com 548 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_read_u32(&var), UINT_MAX);
549 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_fetch_sub_u32(&var, INT_MAX), UINT_MAX);
550 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_read_u32(&var), (uint32) INT_MAX + 1);
551 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_sub_fetch_u32(&var, INT_MAX), 1);
4100 andres@anarazel.de 552 : 3 : pg_atomic_sub_fetch_u32(&var, 1);
1892 noah@leadboat.com 553 : 3 : expected = PG_INT16_MAX;
554 [ - + - - ]: 3 : EXPECT_TRUE(!pg_atomic_compare_exchange_u32(&var, &expected, 1));
555 : 3 : expected = PG_INT16_MAX + 1;
556 [ - + - - ]: 3 : EXPECT_TRUE(!pg_atomic_compare_exchange_u32(&var, &expected, 1));
557 : 3 : expected = PG_INT16_MIN;
558 [ - + - - ]: 3 : EXPECT_TRUE(!pg_atomic_compare_exchange_u32(&var, &expected, 1));
559 : 3 : expected = PG_INT16_MIN - 1;
560 [ - + - - ]: 3 : EXPECT_TRUE(!pg_atomic_compare_exchange_u32(&var, &expected, 1));
561 : :
562 : : /* fail exchange because of old expected */
4100 andres@anarazel.de 563 : 3 : expected = 10;
2264 noah@leadboat.com 564 [ - + - - ]: 3 : EXPECT_TRUE(!pg_atomic_compare_exchange_u32(&var, &expected, 1));
565 : :
566 : : /* CAS is allowed to fail due to interrupts, try a couple of times */
4100 andres@anarazel.de 567 [ + - ]: 6 : for (i = 0; i < 1000; i++)
568 : : {
569 : 6 : expected = 0;
570 [ + + ]: 6 : if (!pg_atomic_compare_exchange_u32(&var, &expected, 1))
571 : 3 : break;
572 : : }
573 [ - + ]: 3 : if (i == 1000)
4100 andres@anarazel.de 574 [ # # ]:UBC 0 : elog(ERROR, "atomic_compare_exchange_u32() never succeeded");
2264 noah@leadboat.com 575 [ - + - - ]:CBC 3 : EXPECT_EQ_U32(pg_atomic_read_u32(&var), 1);
4100 andres@anarazel.de 576 : 3 : pg_atomic_write_u32(&var, 0);
577 : :
578 : : /* try setting flagbits */
2264 noah@leadboat.com 579 [ - + - - ]: 3 : EXPECT_TRUE(!(pg_atomic_fetch_or_u32(&var, 1) & 1));
580 [ - + - - ]: 3 : EXPECT_TRUE(pg_atomic_fetch_or_u32(&var, 2) & 1);
581 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_read_u32(&var), 3);
582 : : /* try clearing flagbits */
583 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_fetch_and_u32(&var, ~2) & 3, 3);
584 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_fetch_and_u32(&var, ~1), 1);
585 : : /* no bits set anymore */
586 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_fetch_and_u32(&var, ~0), 0);
4100 andres@anarazel.de 587 : 3 : }
588 : :
589 : : static void
590 : 3 : test_atomic_uint64(void)
591 : : {
592 : : pg_atomic_uint64 var;
593 : : uint64 expected;
594 : : int i;
595 : :
596 : 3 : pg_atomic_init_u64(&var, 0);
2264 noah@leadboat.com 597 [ - + - - ]: 3 : EXPECT_EQ_U64(pg_atomic_read_u64(&var), 0);
4100 andres@anarazel.de 598 : 3 : pg_atomic_write_u64(&var, 3);
2264 noah@leadboat.com 599 [ - + - - ]: 3 : EXPECT_EQ_U64(pg_atomic_read_u64(&var), 3);
600 [ - + - - ]: 3 : EXPECT_EQ_U64(pg_atomic_fetch_add_u64(&var, pg_atomic_read_u64(&var) - 2),
601 : : 3);
602 [ - + - - ]: 3 : EXPECT_EQ_U64(pg_atomic_fetch_sub_u64(&var, 1), 4);
603 [ - + - - ]: 3 : EXPECT_EQ_U64(pg_atomic_sub_fetch_u64(&var, 3), 0);
604 [ - + - - ]: 3 : EXPECT_EQ_U64(pg_atomic_add_fetch_u64(&var, 10), 10);
605 [ - + - - ]: 3 : EXPECT_EQ_U64(pg_atomic_exchange_u64(&var, 5), 10);
606 [ - + - - ]: 3 : EXPECT_EQ_U64(pg_atomic_exchange_u64(&var, 0), 5);
607 : :
608 : : /* fail exchange because of old expected */
4100 andres@anarazel.de 609 : 3 : expected = 10;
2264 noah@leadboat.com 610 [ - + - - ]: 3 : EXPECT_TRUE(!pg_atomic_compare_exchange_u64(&var, &expected, 1));
611 : :
612 : : /* CAS is allowed to fail due to interrupts, try a couple of times */
4100 andres@anarazel.de 613 [ + - ]: 6 : for (i = 0; i < 100; i++)
614 : : {
615 : 6 : expected = 0;
616 [ + + ]: 6 : if (!pg_atomic_compare_exchange_u64(&var, &expected, 1))
617 : 3 : break;
618 : : }
619 [ - + ]: 3 : if (i == 100)
4100 andres@anarazel.de 620 [ # # ]:UBC 0 : elog(ERROR, "atomic_compare_exchange_u64() never succeeded");
2264 noah@leadboat.com 621 [ - + - - ]:CBC 3 : EXPECT_EQ_U64(pg_atomic_read_u64(&var), 1);
622 : :
4100 andres@anarazel.de 623 : 3 : pg_atomic_write_u64(&var, 0);
624 : :
625 : : /* try setting flagbits */
2264 noah@leadboat.com 626 [ - + - - ]: 3 : EXPECT_TRUE(!(pg_atomic_fetch_or_u64(&var, 1) & 1));
627 [ - + - - ]: 3 : EXPECT_TRUE(pg_atomic_fetch_or_u64(&var, 2) & 1);
628 [ - + - - ]: 3 : EXPECT_EQ_U64(pg_atomic_read_u64(&var), 3);
629 : : /* try clearing flagbits */
630 [ - + - - ]: 3 : EXPECT_EQ_U64((pg_atomic_fetch_and_u64(&var, ~2) & 3), 3);
631 [ - + - - ]: 3 : EXPECT_EQ_U64(pg_atomic_fetch_and_u64(&var, ~1), 1);
632 : : /* no bits set anymore */
633 [ - + - - ]: 3 : EXPECT_EQ_U64(pg_atomic_fetch_and_u64(&var, ~0), 0);
4100 andres@anarazel.de 634 : 3 : }
635 : :
636 : : /*
637 : : * Perform, fairly minimal, testing of the spinlock implementation.
638 : : *
639 : : * It's likely worth expanding these to actually test concurrency etc, but
640 : : * having some regularly run tests is better than none.
641 : : */
642 : : static void
2017 643 : 3 : test_spinlock(void)
644 : : {
645 : : /*
646 : : * Basic tests for spinlocks, as well as the underlying operations.
647 : : *
648 : : * We embed the spinlock in a struct with other members to test that the
649 : : * spinlock operations don't perform too wide writes.
650 : : */
651 : : {
652 : : struct test_lock_struct
653 : : {
654 : : char data_before[4];
655 : : slock_t lock;
656 : : char data_after[4];
657 : : } struct_w_lock;
658 : :
659 : 3 : memcpy(struct_w_lock.data_before, "abcd", 4);
660 : 3 : memcpy(struct_w_lock.data_after, "ef12", 4);
661 : :
662 : : /* test basic operations via the SpinLock* API */
663 : 3 : SpinLockInit(&struct_w_lock.lock);
664 [ - + ]: 3 : SpinLockAcquire(&struct_w_lock.lock);
665 : 3 : SpinLockRelease(&struct_w_lock.lock);
666 : :
667 : : /* test basic operations via underlying S_* API */
668 : 3 : S_INIT_LOCK(&struct_w_lock.lock);
669 [ - + ]: 3 : S_LOCK(&struct_w_lock.lock);
670 : 3 : S_UNLOCK(&struct_w_lock.lock);
671 : :
672 : : /* and that "contended" acquisition works */
673 : 3 : s_lock(&struct_w_lock.lock, "testfile", 17, "testfunc");
674 : 3 : S_UNLOCK(&struct_w_lock.lock);
675 : :
676 : : /*
677 : : * Check, using TAS directly, that a single spin cycle doesn't block
678 : : * when acquiring an already acquired lock.
679 : : */
680 : : #ifdef TAS
681 [ - + ]: 3 : S_LOCK(&struct_w_lock.lock);
682 : :
683 [ - + ]: 3 : if (!TAS(&struct_w_lock.lock))
2017 andres@anarazel.de 684 [ # # ]:UBC 0 : elog(ERROR, "acquired already held spinlock");
685 : :
686 : : #ifdef TAS_SPIN
2017 andres@anarazel.de 687 [ - + - - ]:CBC 3 : if (!TAS_SPIN(&struct_w_lock.lock))
2017 andres@anarazel.de 688 [ # # ]:UBC 0 : elog(ERROR, "acquired already held spinlock");
689 : : #endif /* defined(TAS_SPIN) */
690 : :
2017 andres@anarazel.de 691 :CBC 3 : S_UNLOCK(&struct_w_lock.lock);
692 : : #endif /* defined(TAS) */
693 : :
694 : : /*
695 : : * Verify that after all of this the non-lock contents are still
696 : : * correct.
697 : : */
698 [ - + ]: 3 : if (memcmp(struct_w_lock.data_before, "abcd", 4) != 0)
2017 andres@anarazel.de 699 [ # # ]:UBC 0 : elog(ERROR, "padding before spinlock modified");
2017 andres@anarazel.de 700 [ - + ]:CBC 3 : if (memcmp(struct_w_lock.data_after, "ef12", 4) != 0)
2017 andres@anarazel.de 701 [ # # ]:UBC 0 : elog(ERROR, "padding after spinlock modified");
702 : : }
2017 andres@anarazel.de 703 :CBC 3 : }
704 : :
4100 705 : 7 : PG_FUNCTION_INFO_V1(test_atomic_ops);
706 : : Datum
707 : 3 : test_atomic_ops(PG_FUNCTION_ARGS)
708 : : {
709 : 3 : test_atomic_flag();
710 : :
711 : 3 : test_atomic_uint32();
712 : :
713 : 3 : test_atomic_uint64();
714 : :
715 : : /*
716 : : * Arguably this shouldn't be tested as part of this function, but it's
717 : : * closely enough related that that seems ok for now.
718 : : */
2017 719 : 3 : test_spinlock();
720 : :
4100 721 : 3 : PG_RETURN_BOOL(true);
722 : : }
723 : :
3014 rhaas@postgresql.org 724 : 4 : PG_FUNCTION_INFO_V1(test_fdw_handler);
725 : : Datum
3014 rhaas@postgresql.org 726 :UBC 0 : test_fdw_handler(PG_FUNCTION_ARGS)
727 : : {
2849 tgl@sss.pgh.pa.us 728 [ # # ]: 0 : elog(ERROR, "test_fdw_handler is not implemented");
729 : : PG_RETURN_NULL();
730 : : }
731 : :
243 noah@leadboat.com 732 :CBC 7 : PG_FUNCTION_INFO_V1(is_catalog_text_unique_index_oid);
733 : : Datum
734 : 606 : is_catalog_text_unique_index_oid(PG_FUNCTION_ARGS)
735 : : {
130 peter@eisentraut.org 736 :GNC 606 : return BoolGetDatum(IsCatalogTextUniqueIndexOid(PG_GETARG_OID(0)));
737 : : }
738 : :
2502 tgl@sss.pgh.pa.us 739 :CBC 7 : PG_FUNCTION_INFO_V1(test_support_func);
740 : : Datum
741 : 36 : test_support_func(PG_FUNCTION_ARGS)
742 : : {
743 : 36 : Node *rawreq = (Node *) PG_GETARG_POINTER(0);
744 : 36 : Node *ret = NULL;
745 : :
746 [ + + ]: 36 : if (IsA(rawreq, SupportRequestSelectivity))
747 : : {
748 : : /*
749 : : * Assume that the target is int4eq; that's safe as long as we don't
750 : : * attach this to any other boolean-returning function.
751 : : */
752 : 3 : SupportRequestSelectivity *req = (SupportRequestSelectivity *) rawreq;
753 : : Selectivity s1;
754 : :
755 [ - + ]: 3 : if (req->is_join)
2502 tgl@sss.pgh.pa.us 756 :UBC 0 : s1 = join_selectivity(req->root, Int4EqualOperator,
757 : : req->args,
758 : : req->inputcollid,
759 : : req->jointype,
2502 tgl@sss.pgh.pa.us 760 :EUB : req->sjinfo);
761 : : else
2502 tgl@sss.pgh.pa.us 762 :CBC 3 : s1 = restriction_selectivity(req->root, Int4EqualOperator,
763 : : req->args,
764 : : req->inputcollid,
765 : : req->varRelid);
766 : :
767 : 3 : req->selectivity = s1;
768 : 3 : ret = (Node *) req;
769 : : }
770 : :
771 [ + + ]: 36 : if (IsA(rawreq, SupportRequestCost))
772 : : {
773 : : /* Provide some generic estimate */
774 : 9 : SupportRequestCost *req = (SupportRequestCost *) rawreq;
775 : :
776 : 9 : req->startup = 0;
777 : 9 : req->per_tuple = 2 * cpu_operator_cost;
778 : 9 : ret = (Node *) req;
779 : : }
780 : :
781 [ + + ]: 36 : if (IsA(rawreq, SupportRequestRows))
782 : : {
783 : : /*
784 : : * Assume that the target is generate_series_int4; that's safe as long
785 : : * as we don't attach this to any other set-returning function.
786 : : */
787 : 6 : SupportRequestRows *req = (SupportRequestRows *) rawreq;
788 : :
789 [ + - + - ]: 6 : if (req->node && IsA(req->node, FuncExpr)) /* be paranoid */
790 : : {
791 : 6 : List *args = ((FuncExpr *) req->node)->args;
792 : 6 : Node *arg1 = linitial(args);
793 : 6 : Node *arg2 = lsecond(args);
794 : :
795 [ + - ]: 6 : if (IsA(arg1, Const) &&
796 [ + - ]: 6 : !((Const *) arg1)->constisnull &&
797 [ + - ]: 6 : IsA(arg2, Const) &&
798 [ + - ]: 6 : !((Const *) arg2)->constisnull)
799 : : {
800 : 6 : int32 val1 = DatumGetInt32(((Const *) arg1)->constvalue);
801 : 6 : int32 val2 = DatumGetInt32(((Const *) arg2)->constvalue);
802 : :
803 : 6 : req->rows = val2 - val1 + 1;
804 : 6 : ret = (Node *) req;
805 : : }
806 : : }
807 : : }
808 : :
809 : 36 : PG_RETURN_POINTER(ret);
810 : : }
811 : :
24 tgl@sss.pgh.pa.us 812 :GNC 7 : PG_FUNCTION_INFO_V1(test_inline_in_from_support_func);
813 : : Datum
814 : 24 : test_inline_in_from_support_func(PG_FUNCTION_ARGS)
815 : : {
816 : 24 : Node *rawreq = (Node *) PG_GETARG_POINTER(0);
817 : :
818 [ + + ]: 24 : if (IsA(rawreq, SupportRequestInlineInFrom))
819 : : {
820 : : /*
821 : : * Assume that the target is foo_from_bar; that's safe as long as we
822 : : * don't attach this to any other function.
823 : : */
824 : 12 : SupportRequestInlineInFrom *req = (SupportRequestInlineInFrom *) rawreq;
825 : : StringInfoData sql;
826 : 12 : RangeTblFunction *rtfunc = req->rtfunc;
827 : 12 : FuncExpr *expr = (FuncExpr *) rtfunc->funcexpr;
828 : : Node *node;
829 : : Const *c;
830 : : char *colname;
831 : : char *tablename;
832 : : SQLFunctionParseInfoPtr pinfo;
833 : : List *raw_parsetree_list;
834 : : List *querytree_list;
835 : : Query *querytree;
836 : :
837 [ - + ]: 12 : if (list_length(expr->args) != 3)
838 : : {
24 tgl@sss.pgh.pa.us 839 [ # # ]:UNC 0 : ereport(WARNING, (errmsg("test_inline_in_from_support_func called with %d args but expected 3", list_length(expr->args))));
840 : 0 : PG_RETURN_POINTER(NULL);
841 : : }
842 : :
843 : : /* Get colname */
24 tgl@sss.pgh.pa.us 844 :GNC 12 : node = linitial(expr->args);
845 [ - + ]: 12 : if (!IsA(node, Const))
846 : : {
24 tgl@sss.pgh.pa.us 847 [ # # ]:UNC 0 : ereport(WARNING, (errmsg("test_inline_in_from_support_func called with non-Const parameters")));
848 : 0 : PG_RETURN_POINTER(NULL);
849 : : }
850 : :
24 tgl@sss.pgh.pa.us 851 :GNC 12 : c = (Const *) node;
852 [ + - - + ]: 12 : if (c->consttype != TEXTOID || c->constisnull)
853 : : {
24 tgl@sss.pgh.pa.us 854 [ # # ]:UNC 0 : ereport(WARNING, (errmsg("test_inline_in_from_support_func called with non-TEXT parameters")));
855 : 0 : PG_RETURN_POINTER(NULL);
856 : : }
24 tgl@sss.pgh.pa.us 857 :GNC 12 : colname = TextDatumGetCString(c->constvalue);
858 : :
859 : : /* Get tablename */
860 : 12 : node = lsecond(expr->args);
861 [ - + ]: 12 : if (!IsA(node, Const))
862 : : {
24 tgl@sss.pgh.pa.us 863 [ # # ]:UNC 0 : ereport(WARNING, (errmsg("test_inline_in_from_support_func called with non-Const parameters")));
864 : 0 : PG_RETURN_POINTER(NULL);
865 : : }
866 : :
24 tgl@sss.pgh.pa.us 867 :GNC 12 : c = (Const *) node;
868 [ + - - + ]: 12 : if (c->consttype != TEXTOID || c->constisnull)
869 : : {
24 tgl@sss.pgh.pa.us 870 [ # # ]:UNC 0 : ereport(WARNING, (errmsg("test_inline_in_from_support_func called with non-TEXT parameters")));
871 : 0 : PG_RETURN_POINTER(NULL);
872 : : }
24 tgl@sss.pgh.pa.us 873 :GNC 12 : tablename = TextDatumGetCString(c->constvalue);
874 : :
875 : : /* Begin constructing replacement SELECT query. */
876 : 12 : initStringInfo(&sql);
877 : 12 : appendStringInfo(&sql, "SELECT %s::text FROM %s",
878 : : quote_identifier(colname),
879 : : quote_identifier(tablename));
880 : :
881 : : /* Add filter expression if present. */
882 : 12 : node = lthird(expr->args);
883 [ + - + + ]: 12 : if (!(IsA(node, Const) && ((Const *) node)->constisnull))
884 : : {
885 : : /*
886 : : * We only filter if $3 is not constant-NULL. This is not a very
887 : : * exact implementation of the PL/pgSQL original, but it's close
888 : : * enough for demonstration purposes.
889 : : */
890 : 6 : appendStringInfo(&sql, " WHERE %s::text = $3",
891 : : quote_identifier(colname));
892 : : }
893 : :
894 : : /* Build a SQLFunctionParseInfo with the parameters of my function. */
895 : 12 : pinfo = prepare_sql_fn_parse_info(req->proc,
896 : : (Node *) expr,
897 : : expr->inputcollid);
898 : :
899 : : /* Parse the generated SQL. */
900 : 12 : raw_parsetree_list = pg_parse_query(sql.data);
901 [ - + ]: 12 : if (list_length(raw_parsetree_list) != 1)
902 : : {
24 tgl@sss.pgh.pa.us 903 [ # # ]:UNC 0 : ereport(WARNING, (errmsg("test_inline_in_from_support_func parsed to more than one node")));
904 : 0 : PG_RETURN_POINTER(NULL);
905 : : }
906 : :
907 : : /* Analyze the parse tree as if it were a SQL-language body. */
24 tgl@sss.pgh.pa.us 908 :GNC 12 : querytree_list = pg_analyze_and_rewrite_withcb(linitial(raw_parsetree_list),
909 : 12 : sql.data,
910 : : (ParserSetupHook) sql_fn_parser_setup,
911 : : pinfo, NULL);
912 [ - + ]: 12 : if (list_length(querytree_list) != 1)
913 : : {
24 tgl@sss.pgh.pa.us 914 [ # # ]:UNC 0 : ereport(WARNING, (errmsg("test_inline_in_from_support_func rewrote to more than one node")));
915 : 0 : PG_RETURN_POINTER(NULL);
916 : : }
917 : :
24 tgl@sss.pgh.pa.us 918 :GNC 12 : querytree = linitial(querytree_list);
919 [ - + ]: 12 : if (!IsA(querytree, Query))
920 : : {
24 tgl@sss.pgh.pa.us 921 [ # # ]:UNC 0 : ereport(WARNING, (errmsg("test_inline_in_from_support_func didn't parse to a Query")));
922 : 0 : PG_RETURN_POINTER(NULL);
923 : : }
924 : :
24 tgl@sss.pgh.pa.us 925 :GNC 12 : PG_RETURN_POINTER(querytree);
926 : : }
927 : :
928 : 12 : PG_RETURN_POINTER(NULL);
929 : : }
930 : :
2087 akorotkov@postgresql 931 :CBC 4 : PG_FUNCTION_INFO_V1(test_opclass_options_func);
932 : : Datum
2087 akorotkov@postgresql 933 :UBC 0 : test_opclass_options_func(PG_FUNCTION_ARGS)
934 : : {
935 : 0 : PG_RETURN_NULL();
936 : : }
937 : :
938 : : /* one-time tests for encoding infrastructure */
309 andres@anarazel.de 939 :CBC 7 : PG_FUNCTION_INFO_V1(test_enc_setup);
940 : : Datum
941 : 3 : test_enc_setup(PG_FUNCTION_ARGS)
942 : : {
943 : : /* Test pg_encoding_set_invalid() */
944 [ + + ]: 129 : for (int i = 0; i < _PG_LAST_ENCODING_; i++)
945 : : {
946 : : char buf[2],
947 : : bigbuf[16];
948 : : int len,
949 : : mblen,
950 : : valid;
951 : :
952 [ + + ]: 126 : if (pg_encoding_max_length(i) == 1)
953 : 84 : continue;
954 : 42 : pg_encoding_set_invalid(i, buf);
955 : 42 : len = strnlen(buf, 2);
956 [ - + ]: 42 : if (len != 2)
309 andres@anarazel.de 957 [ # # ]:UBC 0 : elog(WARNING,
958 : : "official invalid string for encoding \"%s\" has length %d",
959 : : pg_enc2name_tbl[i].name, len);
309 andres@anarazel.de 960 :CBC 42 : mblen = pg_encoding_mblen(i, buf);
961 [ - + ]: 42 : if (mblen != 2)
309 andres@anarazel.de 962 [ # # ]:UBC 0 : elog(WARNING,
963 : : "official invalid string for encoding \"%s\" has mblen %d",
964 : : pg_enc2name_tbl[i].name, mblen);
309 andres@anarazel.de 965 :CBC 42 : valid = pg_encoding_verifymbstr(i, buf, len);
966 [ - + ]: 42 : if (valid != 0)
309 andres@anarazel.de 967 [ # # ]:UBC 0 : elog(WARNING,
968 : : "official invalid string for encoding \"%s\" has valid prefix of length %d",
969 : : pg_enc2name_tbl[i].name, valid);
309 andres@anarazel.de 970 :CBC 42 : valid = pg_encoding_verifymbstr(i, buf, 1);
971 [ - + ]: 42 : if (valid != 0)
309 andres@anarazel.de 972 [ # # ]:UBC 0 : elog(WARNING,
973 : : "first byte of official invalid string for encoding \"%s\" has valid prefix of length %d",
974 : : pg_enc2name_tbl[i].name, valid);
309 andres@anarazel.de 975 :CBC 42 : memset(bigbuf, ' ', sizeof(bigbuf));
976 : 42 : bigbuf[0] = buf[0];
977 : 42 : bigbuf[1] = buf[1];
978 : 42 : valid = pg_encoding_verifymbstr(i, bigbuf, sizeof(bigbuf));
979 [ - + ]: 42 : if (valid != 0)
309 andres@anarazel.de 980 [ # # ]:UBC 0 : elog(WARNING,
981 : : "trailing data changed official invalid string for encoding \"%s\" to have valid prefix of length %d",
982 : : pg_enc2name_tbl[i].name, valid);
983 : : }
984 : :
309 andres@anarazel.de 985 :CBC 3 : PG_RETURN_VOID();
986 : : }
987 : :
988 : : /*
989 : : * Call an encoding conversion or verification function.
990 : : *
991 : : * Arguments:
992 : : * string bytea -- string to convert
993 : : * src_enc name -- source encoding
994 : : * dest_enc name -- destination encoding
995 : : * noError bool -- if set, don't ereport() on invalid or untranslatable
996 : : * input
997 : : *
998 : : * Result is a tuple with two attributes:
999 : : * int4 -- number of input bytes successfully converted
1000 : : * bytea -- converted string
1001 : : */
1720 heikki.linnakangas@i 1002 : 7 : PG_FUNCTION_INFO_V1(test_enc_conversion);
1003 : : Datum
1004 : 4953 : test_enc_conversion(PG_FUNCTION_ARGS)
1005 : : {
1006 : 4953 : bytea *string = PG_GETARG_BYTEA_PP(0);
1007 : 4953 : char *src_encoding_name = NameStr(*PG_GETARG_NAME(1));
1008 : 4953 : int src_encoding = pg_char_to_encoding(src_encoding_name);
1009 : 4953 : char *dest_encoding_name = NameStr(*PG_GETARG_NAME(2));
1010 : 4953 : int dest_encoding = pg_char_to_encoding(dest_encoding_name);
1011 : 4953 : bool noError = PG_GETARG_BOOL(3);
1012 : : TupleDesc tupdesc;
1013 : : char *src;
1014 : : char *dst;
1015 : : bytea *retval;
1016 : : Size srclen;
1017 : : Size dstsize;
1018 : : Oid proc;
1019 : : int convertedbytes;
1020 : : int dstlen;
1021 : : Datum values[2];
1249 peter@eisentraut.org 1022 : 4953 : bool nulls[2] = {0};
1023 : : HeapTuple tuple;
1024 : :
1720 heikki.linnakangas@i 1025 [ - + ]: 4953 : if (src_encoding < 0)
1720 heikki.linnakangas@i 1026 [ # # ]:UBC 0 : ereport(ERROR,
1027 : : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
1028 : : errmsg("invalid source encoding name \"%s\"",
1029 : : src_encoding_name)));
1720 heikki.linnakangas@i 1030 [ - + ]:CBC 4953 : if (dest_encoding < 0)
1720 heikki.linnakangas@i 1031 [ # # ]:UBC 0 : ereport(ERROR,
1032 : : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
1033 : : errmsg("invalid destination encoding name \"%s\"",
1034 : : dest_encoding_name)));
1035 : :
1036 : : /* Build a tuple descriptor for our result type */
1720 heikki.linnakangas@i 1037 [ - + ]:CBC 4953 : if (get_call_result_type(fcinfo, NULL, &tupdesc) != TYPEFUNC_COMPOSITE)
1720 heikki.linnakangas@i 1038 [ # # ]:UBC 0 : elog(ERROR, "return type must be a row type");
1720 heikki.linnakangas@i 1039 :CBC 4953 : tupdesc = BlessTupleDesc(tupdesc);
1040 : :
1041 [ - + - - : 4953 : srclen = VARSIZE_ANY_EXHDR(string);
- - - - +
+ ]
1042 [ + + ]: 4953 : src = VARDATA_ANY(string);
1043 : :
1044 [ + + ]: 4953 : if (src_encoding == dest_encoding)
1045 : : {
1046 : : /* just check that the source string is valid */
1047 : : int oklen;
1048 : :
1049 : 2073 : oklen = pg_encoding_verifymbstr(src_encoding, src, srclen);
1050 : :
1051 [ + + ]: 2073 : if (oklen == srclen)
1052 : : {
1053 : 525 : convertedbytes = oklen;
1054 : 525 : retval = string;
1055 : : }
1056 [ + + ]: 1548 : else if (!noError)
1057 : : {
1058 : 774 : report_invalid_encoding(src_encoding, src + oklen, srclen - oklen);
1059 : : }
1060 : : else
1061 : : {
1062 : : /*
1063 : : * build bytea data type structure.
1064 : : */
1065 [ - + ]: 774 : Assert(oklen < srclen);
1066 : 774 : convertedbytes = oklen;
1067 : 774 : retval = (bytea *) palloc(oklen + VARHDRSZ);
1068 : 774 : SET_VARSIZE(retval, oklen + VARHDRSZ);
1069 : 774 : memcpy(VARDATA(retval), src, oklen);
1070 : : }
1071 : : }
1072 : : else
1073 : : {
1074 : 2880 : proc = FindDefaultConversionProc(src_encoding, dest_encoding);
1075 [ - + ]: 2880 : if (!OidIsValid(proc))
1720 heikki.linnakangas@i 1076 [ # # ]:UBC 0 : ereport(ERROR,
1077 : : (errcode(ERRCODE_UNDEFINED_FUNCTION),
1078 : : errmsg("default conversion function for encoding \"%s\" to \"%s\" does not exist",
1079 : : pg_encoding_to_char(src_encoding),
1080 : : pg_encoding_to_char(dest_encoding))));
1081 : :
1720 heikki.linnakangas@i 1082 [ - + ]:CBC 2880 : if (srclen >= (MaxAllocSize / (Size) MAX_CONVERSION_GROWTH))
1720 heikki.linnakangas@i 1083 [ # # ]:UBC 0 : ereport(ERROR,
1084 : : (errcode(ERRCODE_PROGRAM_LIMIT_EXCEEDED),
1085 : : errmsg("out of memory"),
1086 : : errdetail("String of %d bytes is too long for encoding conversion.",
1087 : : (int) srclen)));
1088 : :
1720 heikki.linnakangas@i 1089 :CBC 2880 : dstsize = (Size) srclen * MAX_CONVERSION_GROWTH + 1;
1090 : 2880 : dst = MemoryContextAlloc(CurrentMemoryContext, dstsize);
1091 : :
1092 : : /* perform conversion */
1093 : 2880 : convertedbytes = pg_do_encoding_conversion_buf(proc,
1094 : : src_encoding,
1095 : : dest_encoding,
1096 : : (unsigned char *) src, srclen,
1097 : : (unsigned char *) dst, dstsize,
1098 : : noError);
1099 : 1701 : dstlen = strlen(dst);
1100 : :
1101 : : /*
1102 : : * build bytea data type structure.
1103 : : */
1104 : 1701 : retval = (bytea *) palloc(dstlen + VARHDRSZ);
1105 : 1701 : SET_VARSIZE(retval, dstlen + VARHDRSZ);
1106 : 1701 : memcpy(VARDATA(retval), dst, dstlen);
1107 : :
1108 : 1701 : pfree(dst);
1109 : : }
1110 : :
1111 : 3000 : values[0] = Int32GetDatum(convertedbytes);
1112 : 3000 : values[1] = PointerGetDatum(retval);
1113 : 3000 : tuple = heap_form_tuple(tupdesc, values, nulls);
1114 : :
1115 : 3000 : PG_RETURN_DATUM(HeapTupleGetDatum(tuple));
1116 : : }
1117 : :
1118 : : /* Provide SQL access to IsBinaryCoercible() */
1680 tgl@sss.pgh.pa.us 1119 : 7 : PG_FUNCTION_INFO_V1(binary_coercible);
1120 : : Datum
1121 : 18798 : binary_coercible(PG_FUNCTION_ARGS)
1122 : : {
1123 : 18798 : Oid srctype = PG_GETARG_OID(0);
1124 : 18798 : Oid targettype = PG_GETARG_OID(1);
1125 : :
1126 : 18798 : PG_RETURN_BOOL(IsBinaryCoercible(srctype, targettype));
1127 : : }
1128 : :
1129 : : /*
1130 : : * Sanity checks for functions in relpath.h
1131 : : */
294 andres@anarazel.de 1132 : 7 : PG_FUNCTION_INFO_V1(test_relpath);
1133 : : Datum
1134 : 3 : test_relpath(PG_FUNCTION_ARGS)
1135 : : {
1136 : : RelPathStr rpath;
1137 : :
1138 : : /*
1139 : : * Verify that PROCNUMBER_CHARS and MAX_BACKENDS stay in sync.
1140 : : * Unfortunately I don't know how to express that in a way suitable for a
1141 : : * static assert.
1142 : : */
1143 : : if ((int) ceil(log10(MAX_BACKENDS)) != PROCNUMBER_CHARS)
1144 : : elog(WARNING, "mismatch between MAX_BACKENDS and PROCNUMBER_CHARS");
1145 : :
1146 : : /* verify that the max-length relpath is generated ok */
1147 : 3 : rpath = GetRelationPath(OID_MAX, OID_MAX, OID_MAX, MAX_BACKENDS - 1,
1148 : : INIT_FORKNUM);
1149 : :
1150 [ - + ]: 3 : if (strlen(rpath.str) != REL_PATH_STR_MAXLEN)
294 andres@anarazel.de 1151 [ # # ]:UBC 0 : elog(WARNING, "maximum length relpath is if length %zu instead of %zu",
1152 : : strlen(rpath.str), REL_PATH_STR_MAXLEN);
1153 : :
294 andres@anarazel.de 1154 :CBC 3 : PG_RETURN_VOID();
1155 : : }
1156 : :
1157 : : /*
1158 : : * Simple test to verify NLS support, particularly that the PRI* macros work.
1159 : : */
2 tgl@sss.pgh.pa.us 1160 :GNC 7 : PG_FUNCTION_INFO_V1(test_translation);
1161 : : Datum
1162 : 3 : test_translation(PG_FUNCTION_ARGS)
1163 : : {
1164 : : #ifdef ENABLE_NLS
1165 : : static bool inited = false;
1166 : :
1167 : : /*
1168 : : * Ideally we'd do this bit in a _PG_init() hook. However, it seems best
1169 : : * that the Solaris hack only get applied in the nls.sql test, so it
1170 : : * doesn't risk affecting other tests that load this module.
1171 : : */
1172 [ + - ]: 3 : if (!inited)
1173 : : {
1174 : : /*
1175 : : * Solaris' built-in gettext is not bright about associating locales
1176 : : * with message catalogs that are named after just the language.
1177 : : * Apparently the customary workaround is for users to set the
1178 : : * LANGUAGE environment variable to provide a mapping. Do so here to
1179 : : * ensure that the nls.sql regression test will work.
1180 : : */
1181 : : #if defined(__sun__)
1182 : : setenv("LANGUAGE", "es_ES.UTF-8:es", 1);
1183 : : #endif
1184 : 3 : pg_bindtextdomain(TEXTDOMAIN);
1185 : 3 : inited = true;
1186 : : }
1187 : :
1188 [ + - ]: 3 : ereport(NOTICE,
1189 : : errmsg("translated PRId64 = %" PRId64, (int64) 424242424242));
1190 [ + - ]: 3 : ereport(NOTICE,
1191 : : errmsg("translated PRId32 = %" PRId32, (int32) -1234));
1192 [ + - ]: 3 : ereport(NOTICE,
1193 : : errmsg("translated PRIdMAX = %" PRIdMAX, (intmax_t) -5678));
1194 [ + - ]: 3 : ereport(NOTICE,
1195 : : errmsg("translated PRIdPTR = %" PRIdPTR, (intptr_t) 9999));
1196 : :
1197 [ + - ]: 3 : ereport(NOTICE,
1198 : : errmsg("translated PRIu64 = %" PRIu64, (uint64) 424242424242));
1199 [ + - ]: 3 : ereport(NOTICE,
1200 : : errmsg("translated PRIu32 = %" PRIu32, (uint32) 1234));
1201 [ + - ]: 3 : ereport(NOTICE,
1202 : : errmsg("translated PRIuMAX = %" PRIuMAX, (uintmax_t) 5678));
1203 [ + - ]: 3 : ereport(NOTICE,
1204 : : errmsg("translated PRIuPTR = %" PRIuPTR, (uintptr_t) 9999));
1205 : :
1206 [ + - ]: 3 : ereport(NOTICE,
1207 : : errmsg("translated PRIx64 = %" PRIx64, (uint64) 424242424242));
1208 [ + - ]: 3 : ereport(NOTICE,
1209 : : errmsg("translated PRIx32 = %" PRIx32, (uint32) 1234));
1210 [ + - ]: 3 : ereport(NOTICE,
1211 : : errmsg("translated PRIxMAX = %" PRIxMAX, (uintmax_t) 5678));
1212 [ + - ]: 3 : ereport(NOTICE,
1213 : : errmsg("translated PRIxPTR = %" PRIxPTR, (uintptr_t) 9999));
1214 : :
1215 [ + - ]: 3 : ereport(NOTICE,
1216 : : errmsg("translated PRIX64 = %" PRIX64, (uint64) 424242424242));
1217 [ + - ]: 3 : ereport(NOTICE,
1218 : : errmsg("translated PRIX32 = %" PRIX32, (uint32) 1234));
1219 [ + - ]: 3 : ereport(NOTICE,
1220 : : errmsg("translated PRIXMAX = %" PRIXMAX, (uintmax_t) 5678));
1221 [ + - ]: 3 : ereport(NOTICE,
1222 : : errmsg("translated PRIXPTR = %" PRIXPTR, (uintptr_t) 9999));
1223 : : #else
1224 : : elog(NOTICE, "NLS is not enabled");
1225 : : #endif
1226 : :
1227 : 3 : PG_RETURN_VOID();
1228 : : }
|
