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-2024, 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 "access/transam.h"
25 : : #include "access/xact.h"
26 : : #include "catalog/namespace.h"
27 : : #include "catalog/pg_operator.h"
28 : : #include "catalog/pg_type.h"
29 : : #include "commands/sequence.h"
30 : : #include "commands/trigger.h"
31 : : #include "executor/executor.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 "storage/spin.h"
42 : : #include "utils/array.h"
43 : : #include "utils/builtins.h"
44 : : #include "utils/geo_decls.h"
45 : : #include "utils/memutils.h"
46 : : #include "utils/rel.h"
47 : : #include "utils/typcache.h"
48 : :
49 : : #define EXPECT_TRUE(expr) \
50 : : do { \
51 : : if (!(expr)) \
52 : : elog(ERROR, \
53 : : "%s was unexpectedly false in file \"%s\" line %u", \
54 : : #expr, __FILE__, __LINE__); \
55 : : } while (0)
56 : :
57 : : #define EXPECT_EQ_U32(result_expr, expected_expr) \
58 : : do { \
59 : : uint32 actual_result = (result_expr); \
60 : : uint32 expected_result = (expected_expr); \
61 : : if (actual_result != expected_result) \
62 : : elog(ERROR, \
63 : : "%s yielded %u, expected %s in file \"%s\" line %u", \
64 : : #result_expr, actual_result, #expected_expr, __FILE__, __LINE__); \
65 : : } while (0)
66 : :
67 : : #define EXPECT_EQ_U64(result_expr, expected_expr) \
68 : : do { \
69 : : uint64 actual_result = (result_expr); \
70 : : uint64 expected_result = (expected_expr); \
71 : : if (actual_result != expected_result) \
72 : : elog(ERROR, \
73 : : "%s yielded " UINT64_FORMAT ", expected %s in file \"%s\" line %u", \
74 : : #result_expr, actual_result, #expected_expr, __FILE__, __LINE__); \
75 : : } while (0)
76 : :
77 : : #define LDELIM '('
78 : : #define RDELIM ')'
79 : : #define DELIM ','
80 : :
81 : : static void regress_lseg_construct(LSEG *lseg, Point *pt1, Point *pt2);
82 : :
6529 bruce@momjian.us 83 :CBC 57 : PG_MODULE_MAGIC;
84 : :
85 : :
86 : : /* return the point where two paths intersect, or NULL if no intersection. */
8546 tgl@sss.pgh.pa.us 87 : 7 : PG_FUNCTION_INFO_V1(interpt_pp);
88 : :
89 : : Datum
8659 90 : 2688 : interpt_pp(PG_FUNCTION_ARGS)
91 : : {
92 : 2688 : PATH *p1 = PG_GETARG_PATH_P(0);
93 : 2688 : PATH *p2 = PG_GETARG_PATH_P(1);
94 : : int i,
95 : : j;
96 : : LSEG seg1,
97 : : seg2;
98 : : bool found; /* We've found the intersection */
99 : :
9716 bruce@momjian.us 100 : 2688 : found = false; /* Haven't found it yet */
101 : :
102 [ + + + + ]: 8823 : for (i = 0; i < p1->npts - 1 && !found; i++)
103 : : {
8659 tgl@sss.pgh.pa.us 104 : 6135 : regress_lseg_construct(&seg1, &p1->p[i], &p1->p[i + 1]);
9716 bruce@momjian.us 105 [ + + + + ]: 18819 : for (j = 0; j < p2->npts - 1 && !found; j++)
106 : : {
107 : 12684 : regress_lseg_construct(&seg2, &p2->p[j], &p2->p[j + 1]);
8659 tgl@sss.pgh.pa.us 108 [ + + ]: 12684 : if (DatumGetBool(DirectFunctionCall2(lseg_intersect,
109 : : LsegPGetDatum(&seg1),
110 : : LsegPGetDatum(&seg2))))
9716 bruce@momjian.us 111 : 2682 : found = true;
112 : : }
113 : : }
114 : :
8659 tgl@sss.pgh.pa.us 115 [ + + ]: 2688 : if (!found)
116 : 6 : PG_RETURN_NULL();
117 : :
118 : : /*
119 : : * Note: DirectFunctionCall2 will kick out an error if lseg_interpt()
120 : : * returns NULL, but that should be impossible since we know the two
121 : : * segments intersect.
122 : : */
123 : 2682 : PG_RETURN_DATUM(DirectFunctionCall2(lseg_interpt,
124 : : LsegPGetDatum(&seg1),
125 : : LsegPGetDatum(&seg2)));
126 : : }
127 : :
128 : :
129 : : /* like lseg_construct, but assume space already allocated */
130 : : static void
7696 bruce@momjian.us 131 : 18819 : regress_lseg_construct(LSEG *lseg, Point *pt1, Point *pt2)
132 : : {
9716 133 : 18819 : lseg->p[0].x = pt1->x;
134 : 18819 : lseg->p[0].y = pt1->y;
135 : 18819 : lseg->p[1].x = pt2->x;
136 : 18819 : lseg->p[1].y = pt2->y;
10141 scrappy@hub.org 137 : 18819 : }
138 : :
8546 tgl@sss.pgh.pa.us 139 : 7 : PG_FUNCTION_INFO_V1(overpaid);
140 : :
141 : : Datum
8714 142 : 18 : overpaid(PG_FUNCTION_ARGS)
143 : : {
7318 144 : 18 : HeapTupleHeader tuple = PG_GETARG_HEAPTUPLEHEADER(0);
145 : : bool isnull;
146 : : int32 salary;
147 : :
8634 148 : 18 : salary = DatumGetInt32(GetAttributeByName(tuple, "salary", &isnull));
8714 149 [ - + ]: 18 : if (isnull)
8714 tgl@sss.pgh.pa.us 150 :UBC 0 : PG_RETURN_NULL();
8714 tgl@sss.pgh.pa.us 151 :CBC 18 : PG_RETURN_BOOL(salary > 699);
152 : : }
153 : :
154 : : /* New type "widget"
155 : : * This used to be "circle", but I added circle to builtins,
156 : : * so needed to make sure the names do not collide. - tgl 97/04/21
157 : : */
158 : :
159 : : typedef struct
160 : : {
161 : : Point center;
162 : : double radius;
163 : : } WIDGET;
164 : :
2573 andres@anarazel.de 165 : 10 : PG_FUNCTION_INFO_V1(widget_in);
166 : 7 : PG_FUNCTION_INFO_V1(widget_out);
167 : :
168 : : #define NARGS 3
169 : :
170 : : Datum
171 : 33 : widget_in(PG_FUNCTION_ARGS)
172 : : {
173 : 33 : char *str = PG_GETARG_CSTRING(0);
174 : : char *p,
175 : : *coord[NARGS];
176 : : int i;
177 : : WIDGET *result;
178 : :
10141 scrappy@hub.org 179 [ + + + + : 189 : for (i = 0, p = str; *p && i < NARGS && *p != RDELIM; p++)
+ + ]
180 : : {
3018 tgl@sss.pgh.pa.us 181 [ + + + + : 156 : if (*p == DELIM || (*p == LDELIM && i == 0))
+ - ]
10141 scrappy@hub.org 182 : 81 : coord[i++] = p + 1;
183 : : }
184 : :
185 : : /*
186 : : * Note: DON'T convert this error to "soft" style (errsave/ereturn). We
187 : : * want this data type to stay permanently in the hard-error world so that
188 : : * it can be used for testing that such cases still work reasonably.
189 : : */
3018 tgl@sss.pgh.pa.us 190 [ + + ]: 33 : if (i < NARGS)
191 [ + - ]: 12 : ereport(ERROR,
192 : : (errcode(ERRCODE_INVALID_TEXT_REPRESENTATION),
193 : : errmsg("invalid input syntax for type %s: \"%s\"",
194 : : "widget", str)));
195 : :
9854 scrappy@hub.org 196 : 21 : result = (WIDGET *) palloc(sizeof(WIDGET));
10141 197 : 21 : result->center.x = atof(coord[0]);
198 : 21 : result->center.y = atof(coord[1]);
199 : 21 : result->radius = atof(coord[2]);
200 : :
2573 andres@anarazel.de 201 : 21 : PG_RETURN_POINTER(result);
202 : : }
203 : :
204 : : Datum
205 : 6 : widget_out(PG_FUNCTION_ARGS)
206 : : {
2524 bruce@momjian.us 207 : 6 : WIDGET *widget = (WIDGET *) PG_GETARG_POINTER(0);
208 : 6 : char *str = psprintf("(%g,%g,%g)",
209 : : widget->center.x, widget->center.y, widget->radius);
210 : :
2573 andres@anarazel.de 211 : 6 : PG_RETURN_CSTRING(str);
212 : : }
213 : :
8546 tgl@sss.pgh.pa.us 214 : 7 : PG_FUNCTION_INFO_V1(pt_in_widget);
215 : :
216 : : Datum
8706 217 : 6 : pt_in_widget(PG_FUNCTION_ARGS)
218 : : {
219 : 6 : Point *point = PG_GETARG_POINT_P(0);
220 : 6 : WIDGET *widget = (WIDGET *) PG_GETARG_POINTER(1);
221 : : float8 distance;
222 : :
2086 tomas.vondra@postgre 223 : 6 : distance = DatumGetFloat8(DirectFunctionCall2(point_distance,
224 : : PointPGetDatum(point),
225 : : PointPGetDatum(&widget->center)));
226 : :
227 : 6 : PG_RETURN_BOOL(distance < widget->radius);
228 : : }
229 : :
2573 andres@anarazel.de 230 : 7 : PG_FUNCTION_INFO_V1(reverse_name);
231 : :
232 : : Datum
233 : 24 : reverse_name(PG_FUNCTION_ARGS)
234 : : {
235 : 24 : char *string = PG_GETARG_CSTRING(0);
236 : : int i;
237 : : int len;
238 : : char *new_string;
239 : :
7567 tgl@sss.pgh.pa.us 240 : 24 : new_string = palloc0(NAMEDATALEN);
9400 bruce@momjian.us 241 [ + - + + ]: 168 : for (i = 0; i < NAMEDATALEN && string[i]; ++i)
242 : : ;
243 [ + - + - ]: 24 : if (i == NAMEDATALEN || !string[i])
9716 244 : 24 : --i;
245 : 24 : len = i;
246 [ + + ]: 168 : for (; i >= 0; --i)
247 : 144 : new_string[len - i] = string[i];
2573 andres@anarazel.de 248 : 24 : PG_RETURN_CSTRING(new_string);
249 : : }
250 : :
2238 tgl@sss.pgh.pa.us 251 : 7 : PG_FUNCTION_INFO_V1(trigger_return_old);
252 : :
253 : : Datum
254 : 45 : trigger_return_old(PG_FUNCTION_ARGS)
255 : : {
256 : 45 : TriggerData *trigdata = (TriggerData *) fcinfo->context;
257 : : HeapTuple tuple;
258 : :
259 [ + - - + ]: 45 : if (!CALLED_AS_TRIGGER(fcinfo))
2238 tgl@sss.pgh.pa.us 260 [ # # ]:UBC 0 : elog(ERROR, "trigger_return_old: not fired by trigger manager");
261 : :
2238 tgl@sss.pgh.pa.us 262 :CBC 45 : tuple = trigdata->tg_trigtuple;
263 : :
264 : 45 : return PointerGetDatum(tuple);
265 : : }
266 : :
267 : : #define TTDUMMY_INFINITY 999999
268 : :
269 : : static SPIPlanPtr splan = NULL;
270 : : static bool ttoff = false;
271 : :
8546 272 : 7 : PG_FUNCTION_INFO_V1(ttdummy);
273 : :
274 : : Datum
8721 275 : 30 : ttdummy(PG_FUNCTION_ARGS)
276 : : {
277 : 30 : TriggerData *trigdata = (TriggerData *) fcinfo->context;
278 : : Trigger *trigger; /* to get trigger name */
279 : : char **args; /* arguments */
280 : : int attnum[2]; /* fnumbers of start/stop columns */
281 : : Datum oldon,
282 : : oldoff;
283 : : Datum newon,
284 : : newoff;
285 : : Datum *cvals; /* column values */
286 : : char *cnulls; /* column nulls */
287 : : char *relname; /* triggered relation name */
288 : : Relation rel; /* triggered relation */
289 : : HeapTuple trigtuple;
9699 vadim4o@yahoo.com 290 : 30 : HeapTuple newtuple = NULL;
291 : : HeapTuple rettuple;
292 : : TupleDesc tupdesc; /* tuple description */
293 : : int natts; /* # of attributes */
294 : : bool isnull; /* to know is some column NULL or not */
295 : : int ret;
296 : : int i;
297 : :
8721 tgl@sss.pgh.pa.us 298 [ + - - + ]: 30 : if (!CALLED_AS_TRIGGER(fcinfo))
8721 tgl@sss.pgh.pa.us 299 [ # # ]:UBC 0 : elog(ERROR, "ttdummy: not fired by trigger manager");
4937 tgl@sss.pgh.pa.us 300 [ - + ]:CBC 30 : if (!TRIGGER_FIRED_FOR_ROW(trigdata->tg_event))
4937 tgl@sss.pgh.pa.us 301 [ # # ]:UBC 0 : elog(ERROR, "ttdummy: must be fired for row");
4937 tgl@sss.pgh.pa.us 302 [ - + ]:CBC 30 : if (!TRIGGER_FIRED_BEFORE(trigdata->tg_event))
9595 bruce@momjian.us 303 [ # # ]:UBC 0 : elog(ERROR, "ttdummy: must be fired before event");
8721 tgl@sss.pgh.pa.us 304 [ - + ]:CBC 30 : if (TRIGGER_FIRED_BY_INSERT(trigdata->tg_event))
6282 bruce@momjian.us 305 [ # # ]:UBC 0 : elog(ERROR, "ttdummy: cannot process INSERT event");
8721 tgl@sss.pgh.pa.us 306 [ + + ]:CBC 30 : if (TRIGGER_FIRED_BY_UPDATE(trigdata->tg_event))
307 : 24 : newtuple = trigdata->tg_newtuple;
308 : :
309 : 30 : trigtuple = trigdata->tg_trigtuple;
310 : :
311 : 30 : rel = trigdata->tg_relation;
9699 vadim4o@yahoo.com 312 : 30 : relname = SPI_getrelname(rel);
313 : :
314 : : /* check if TT is OFF for this relation */
9544 bruce@momjian.us 315 [ + + ]: 30 : if (ttoff) /* OFF - nothing to do */
316 : : {
317 : 15 : pfree(relname);
8721 tgl@sss.pgh.pa.us 318 [ + + ]: 15 : return PointerGetDatum((newtuple != NULL) ? newtuple : trigtuple);
319 : : }
320 : :
321 : 15 : trigger = trigdata->tg_trigger;
322 : :
9699 vadim4o@yahoo.com 323 [ - + ]: 15 : if (trigger->tgnargs != 2)
9544 bruce@momjian.us 324 [ # # ]:UBC 0 : elog(ERROR, "ttdummy (%s): invalid (!= 2) number of arguments %d",
325 : : relname, trigger->tgnargs);
326 : :
9699 vadim4o@yahoo.com 327 :CBC 15 : args = trigger->tgargs;
328 : 15 : tupdesc = rel->rd_att;
329 : 15 : natts = tupdesc->natts;
330 : :
9544 bruce@momjian.us 331 [ + + ]: 45 : for (i = 0; i < 2; i++)
332 : : {
333 : 30 : attnum[i] = SPI_fnumber(tupdesc, args[i]);
2714 tgl@sss.pgh.pa.us 334 [ - + ]: 30 : if (attnum[i] <= 0)
2714 tgl@sss.pgh.pa.us 335 [ # # ]:UBC 0 : elog(ERROR, "ttdummy (%s): there is no attribute %s",
336 : : relname, args[i]);
9544 bruce@momjian.us 337 [ - + ]:CBC 30 : if (SPI_gettypeid(tupdesc, attnum[i]) != INT4OID)
2714 tgl@sss.pgh.pa.us 338 [ # # ]:UBC 0 : elog(ERROR, "ttdummy (%s): attribute %s must be of integer type",
339 : : relname, args[i]);
340 : : }
341 : :
9544 bruce@momjian.us 342 :CBC 15 : oldon = SPI_getbinval(trigtuple, tupdesc, attnum[0], &isnull);
9699 vadim4o@yahoo.com 343 [ - + ]: 15 : if (isnull)
9595 bruce@momjian.us 344 [ # # ]:UBC 0 : elog(ERROR, "ttdummy (%s): %s must be NOT NULL", relname, args[0]);
345 : :
9544 bruce@momjian.us 346 :CBC 15 : oldoff = SPI_getbinval(trigtuple, tupdesc, attnum[1], &isnull);
9699 vadim4o@yahoo.com 347 [ - + ]: 15 : if (isnull)
9595 bruce@momjian.us 348 [ # # ]:UBC 0 : elog(ERROR, "ttdummy (%s): %s must be NOT NULL", relname, args[1]);
349 : :
9544 bruce@momjian.us 350 [ + + ]:CBC 15 : if (newtuple != NULL) /* UPDATE */
351 : : {
352 : 12 : newon = SPI_getbinval(newtuple, tupdesc, attnum[0], &isnull);
9699 vadim4o@yahoo.com 353 [ - + ]: 12 : if (isnull)
9595 bruce@momjian.us 354 [ # # ]:UBC 0 : elog(ERROR, "ttdummy (%s): %s must be NOT NULL", relname, args[0]);
9544 bruce@momjian.us 355 :CBC 12 : newoff = SPI_getbinval(newtuple, tupdesc, attnum[1], &isnull);
9699 vadim4o@yahoo.com 356 [ - + ]: 12 : if (isnull)
9595 bruce@momjian.us 357 [ # # ]:UBC 0 : elog(ERROR, "ttdummy (%s): %s must be NOT NULL", relname, args[1]);
358 : :
9544 bruce@momjian.us 359 [ + + - + ]:CBC 12 : if (oldon != newon || oldoff != newoff)
3178 tgl@sss.pgh.pa.us 360 [ + - ]: 3 : ereport(ERROR,
361 : : (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
362 : : errmsg("ttdummy (%s): you cannot change %s and/or %s columns (use set_ttdummy)",
363 : : relname, args[0], args[1])));
364 : :
9544 bruce@momjian.us 365 [ + + ]: 9 : if (newoff != TTDUMMY_INFINITY)
366 : : {
367 : 3 : pfree(relname); /* allocated in upper executor context */
8721 tgl@sss.pgh.pa.us 368 : 3 : return PointerGetDatum(NULL);
369 : : }
370 : : }
2489 371 [ - + ]: 3 : else if (oldoff != TTDUMMY_INFINITY) /* DELETE */
372 : : {
9544 bruce@momjian.us 373 :UBC 0 : pfree(relname);
8721 tgl@sss.pgh.pa.us 374 : 0 : return PointerGetDatum(NULL);
375 : : }
376 : :
5864 tgl@sss.pgh.pa.us 377 :CBC 9 : newoff = DirectFunctionCall1(nextval, CStringGetTextDatum("ttdummy_seq"));
378 : : /* nextval now returns int64; coerce down to int32 */
379 : 9 : newoff = Int32GetDatum((int32) DatumGetInt64(newoff));
380 : :
381 : : /* Connect to SPI manager */
9699 vadim4o@yahoo.com 382 [ - + ]: 9 : if ((ret = SPI_connect()) < 0)
9595 bruce@momjian.us 383 [ # # ]:UBC 0 : elog(ERROR, "ttdummy (%s): SPI_connect returned %d", relname, ret);
384 : :
385 : : /* Fetch tuple values and nulls */
9544 bruce@momjian.us 386 :CBC 9 : cvals = (Datum *) palloc(natts * sizeof(Datum));
387 : 9 : cnulls = (char *) palloc(natts * sizeof(char));
9699 vadim4o@yahoo.com 388 [ + + ]: 45 : for (i = 0; i < natts; i++)
389 : : {
9544 bruce@momjian.us 390 [ + + ]: 36 : cvals[i] = SPI_getbinval((newtuple != NULL) ? newtuple : trigtuple,
391 : : tupdesc, i + 1, &isnull);
9699 vadim4o@yahoo.com 392 [ - + ]: 36 : cnulls[i] = (isnull) ? 'n' : ' ';
393 : : }
394 : :
395 : : /* change date column(s) */
9544 bruce@momjian.us 396 [ + + ]: 9 : if (newtuple) /* UPDATE */
397 : : {
398 : 6 : cvals[attnum[0] - 1] = newoff; /* start_date eq current date */
9699 vadim4o@yahoo.com 399 : 6 : cnulls[attnum[0] - 1] = ' ';
2489 tgl@sss.pgh.pa.us 400 : 6 : cvals[attnum[1] - 1] = TTDUMMY_INFINITY; /* stop_date eq INFINITY */
9699 vadim4o@yahoo.com 401 : 6 : cnulls[attnum[1] - 1] = ' ';
402 : : }
403 : : else
404 : : /* DELETE */
405 : : {
9544 bruce@momjian.us 406 : 3 : cvals[attnum[1] - 1] = newoff; /* stop_date eq current date */
9699 vadim4o@yahoo.com 407 : 3 : cnulls[attnum[1] - 1] = ' ';
408 : : }
409 : :
410 : : /* if there is no plan ... */
411 [ + + ]: 9 : if (splan == NULL)
412 : : {
413 : : SPIPlanPtr pplan;
414 : : Oid *ctypes;
415 : : char *query;
416 : :
417 : : /* allocate space in preparation */
418 : 3 : ctypes = (Oid *) palloc(natts * sizeof(Oid));
8941 tgl@sss.pgh.pa.us 419 : 3 : query = (char *) palloc(100 + 16 * natts);
420 : :
421 : : /*
422 : : * Construct query: INSERT INTO _relation_ VALUES ($1, ...)
423 : : */
424 : 3 : sprintf(query, "INSERT INTO %s VALUES (", relname);
9699 vadim4o@yahoo.com 425 [ + + ]: 15 : for (i = 1; i <= natts; i++)
426 : : {
8941 tgl@sss.pgh.pa.us 427 [ + + ]: 12 : sprintf(query + strlen(query), "$%d%s",
428 : : i, (i < natts) ? ", " : ")");
9699 vadim4o@yahoo.com 429 : 12 : ctypes[i - 1] = SPI_gettypeid(tupdesc, i);
430 : : }
431 : :
432 : : /* Prepare plan for query */
8941 tgl@sss.pgh.pa.us 433 : 3 : pplan = SPI_prepare(query, natts, ctypes);
9699 vadim4o@yahoo.com 434 [ - + ]: 3 : if (pplan == NULL)
2419 peter_e@gmx.net 435 [ # # ]:UBC 0 : elog(ERROR, "ttdummy (%s): SPI_prepare returned %s", relname, SPI_result_code_string(SPI_result));
436 : :
4594 tgl@sss.pgh.pa.us 437 [ - + ]:CBC 3 : if (SPI_keepplan(pplan))
4594 tgl@sss.pgh.pa.us 438 [ # # ]:UBC 0 : elog(ERROR, "ttdummy (%s): SPI_keepplan failed", relname);
439 : :
9699 vadim4o@yahoo.com 440 :CBC 3 : splan = pplan;
441 : : }
442 : :
443 : 9 : ret = SPI_execp(splan, cvals, cnulls, 0);
444 : :
445 [ - + ]: 9 : if (ret < 0)
9595 bruce@momjian.us 446 [ # # ]:UBC 0 : elog(ERROR, "ttdummy (%s): SPI_execp returned %d", relname, ret);
447 : :
448 : : /* Tuple to return to upper Executor ... */
9544 bruce@momjian.us 449 [ + + ]:CBC 9 : if (newtuple) /* UPDATE */
2714 tgl@sss.pgh.pa.us 450 : 6 : rettuple = SPI_modifytuple(rel, trigtuple, 1, &(attnum[1]), &newoff, NULL);
451 : : else /* DELETE */
9699 vadim4o@yahoo.com 452 : 3 : rettuple = trigtuple;
453 : :
9544 bruce@momjian.us 454 : 9 : SPI_finish(); /* don't forget say Bye to SPI mgr */
455 : :
456 : 9 : pfree(relname);
457 : :
8721 tgl@sss.pgh.pa.us 458 : 9 : return PointerGetDatum(rettuple);
459 : : }
460 : :
8546 461 : 7 : PG_FUNCTION_INFO_V1(set_ttdummy);
462 : :
463 : : Datum
8706 464 : 9 : set_ttdummy(PG_FUNCTION_ARGS)
465 : : {
466 : 9 : int32 on = PG_GETARG_INT32(0);
467 : :
9544 bruce@momjian.us 468 [ + + ]: 9 : if (ttoff) /* OFF currently */
469 : : {
9699 vadim4o@yahoo.com 470 [ - + ]: 3 : if (on == 0)
8706 tgl@sss.pgh.pa.us 471 :UBC 0 : PG_RETURN_INT32(0);
472 : :
473 : : /* turn ON */
9699 vadim4o@yahoo.com 474 :CBC 3 : ttoff = false;
8706 tgl@sss.pgh.pa.us 475 : 3 : PG_RETURN_INT32(0);
476 : : }
477 : :
478 : : /* ON currently */
9699 vadim4o@yahoo.com 479 [ - + ]: 6 : if (on != 0)
8706 tgl@sss.pgh.pa.us 480 :UBC 0 : PG_RETURN_INT32(1);
481 : :
482 : : /* turn OFF */
9699 vadim4o@yahoo.com 483 :CBC 6 : ttoff = true;
484 : :
8706 tgl@sss.pgh.pa.us 485 : 6 : PG_RETURN_INT32(1);
486 : : }
487 : :
488 : :
489 : : /*
490 : : * Type int44 has no real-world use, but the regression tests use it
491 : : * (under the alias "city_budget"). It's a four-element vector of int4's.
492 : : */
493 : :
494 : : /*
495 : : * int44in - converts "num, num, ..." to internal form
496 : : *
497 : : * Note: Fills any missing positions with zeroes.
498 : : */
2238 499 : 7 : PG_FUNCTION_INFO_V1(int44in);
500 : :
501 : : Datum
502 : 6 : int44in(PG_FUNCTION_ARGS)
503 : : {
7906 504 : 6 : char *input_string = PG_GETARG_CSTRING(0);
505 : 6 : int32 *result = (int32 *) palloc(4 * sizeof(int32));
506 : : int i;
507 : :
508 : 6 : i = sscanf(input_string,
509 : : "%d, %d, %d, %d",
510 : : &result[0],
511 : : &result[1],
512 : : &result[2],
513 : : &result[3]);
514 [ + + ]: 9 : while (i < 4)
515 : 3 : result[i++] = 0;
516 : :
517 : 6 : PG_RETURN_POINTER(result);
518 : : }
519 : :
520 : : /*
521 : : * int44out - converts internal form to "num, num, ..."
522 : : */
2238 523 : 11 : PG_FUNCTION_INFO_V1(int44out);
524 : :
525 : : Datum
526 : 14 : int44out(PG_FUNCTION_ARGS)
527 : : {
7906 528 : 14 : int32 *an_array = (int32 *) PG_GETARG_POINTER(0);
2238 529 : 14 : char *result = (char *) palloc(16 * 4);
530 : :
531 : 14 : snprintf(result, 16 * 4, "%d,%d,%d,%d",
532 : : an_array[0],
533 : 14 : an_array[1],
534 : 14 : an_array[2],
535 : 14 : an_array[3]);
536 : :
7906 537 : 14 : PG_RETURN_CSTRING(result);
538 : : }
539 : :
804 540 : 7 : PG_FUNCTION_INFO_V1(test_canonicalize_path);
541 : : Datum
542 : 66 : test_canonicalize_path(PG_FUNCTION_ARGS)
543 : : {
544 : 66 : char *path = text_to_cstring(PG_GETARG_TEXT_PP(0));
545 : :
546 : 66 : canonicalize_path(path);
547 : 66 : PG_RETURN_TEXT_P(cstring_to_text(path));
548 : : }
549 : :
3939 rhaas@postgresql.org 550 : 7 : PG_FUNCTION_INFO_V1(make_tuple_indirect);
551 : : Datum
552 : 63 : make_tuple_indirect(PG_FUNCTION_ARGS)
553 : : {
554 : 63 : HeapTupleHeader rec = PG_GETARG_HEAPTUPLEHEADER(0);
555 : : HeapTupleData tuple;
556 : : int ncolumns;
557 : : Datum *values;
558 : : bool *nulls;
559 : :
560 : : Oid tupType;
561 : : int32 tupTypmod;
562 : : TupleDesc tupdesc;
563 : :
564 : : HeapTuple newtup;
565 : :
566 : : int i;
567 : :
568 : : MemoryContext old_context;
569 : :
570 : : /* Extract type info from the tuple itself */
571 : 63 : tupType = HeapTupleHeaderGetTypeId(rec);
572 : 63 : tupTypmod = HeapTupleHeaderGetTypMod(rec);
573 : 63 : tupdesc = lookup_rowtype_tupdesc(tupType, tupTypmod);
574 : 63 : ncolumns = tupdesc->natts;
575 : :
576 : : /* Build a temporary HeapTuple control structure */
577 : 63 : tuple.t_len = HeapTupleHeaderGetDatumLength(rec);
578 : 63 : ItemPointerSetInvalid(&(tuple.t_self));
579 : 63 : tuple.t_tableOid = InvalidOid;
580 : 63 : tuple.t_data = rec;
581 : :
582 : 63 : values = (Datum *) palloc(ncolumns * sizeof(Datum));
583 : 63 : nulls = (bool *) palloc(ncolumns * sizeof(bool));
584 : :
585 : 63 : heap_deform_tuple(&tuple, tupdesc, values, nulls);
586 : :
587 : 63 : old_context = MemoryContextSwitchTo(TopTransactionContext);
588 : :
589 [ + + ]: 315 : for (i = 0; i < ncolumns; i++)
590 : : {
591 : : struct varlena *attr;
592 : : struct varlena *new_attr;
593 : : struct varatt_indirect redirect_pointer;
594 : :
595 : : /* only work on existing, not-null varlenas */
2429 andres@anarazel.de 596 [ + - ]: 252 : if (TupleDescAttr(tupdesc, i)->attisdropped ||
3939 rhaas@postgresql.org 597 [ + + ]: 252 : nulls[i] ||
2429 andres@anarazel.de 598 [ + + ]: 219 : TupleDescAttr(tupdesc, i)->attlen != -1)
3939 rhaas@postgresql.org 599 : 96 : continue;
600 : :
601 : 156 : attr = (struct varlena *) DatumGetPointer(values[i]);
602 : :
603 : : /* don't recursively indirect */
604 [ - + - - ]: 156 : if (VARATT_IS_EXTERNAL_INDIRECT(attr))
3939 rhaas@postgresql.org 605 :UBC 0 : continue;
606 : :
607 : : /* copy datum, so it still lives later */
3939 rhaas@postgresql.org 608 [ - + - - ]:CBC 156 : if (VARATT_IS_EXTERNAL_ONDISK(attr))
1654 rhaas@postgresql.org 609 :UBC 0 : attr = detoast_external_attr(attr);
610 : : else
611 : : {
3939 rhaas@postgresql.org 612 :CBC 156 : struct varlena *oldattr = attr;
613 : :
614 [ - + - - : 156 : attr = palloc0(VARSIZE_ANY(oldattr));
- - - - +
+ ]
615 [ - + - - : 156 : memcpy(attr, oldattr, VARSIZE_ANY(oldattr));
- - - - +
+ ]
616 : : }
617 : :
618 : : /* build indirection Datum */
619 : 156 : new_attr = (struct varlena *) palloc0(INDIRECT_POINTER_SIZE);
620 : 156 : redirect_pointer.pointer = attr;
621 : 156 : SET_VARTAG_EXTERNAL(new_attr, VARTAG_INDIRECT);
622 : 156 : memcpy(VARDATA_EXTERNAL(new_attr), &redirect_pointer,
623 : : sizeof(redirect_pointer));
624 : :
625 : 156 : values[i] = PointerGetDatum(new_attr);
626 : : }
627 : :
628 : 63 : newtup = heap_form_tuple(tupdesc, values, nulls);
629 : 63 : pfree(values);
630 : 63 : pfree(nulls);
631 [ + - ]: 63 : ReleaseTupleDesc(tupdesc);
632 : :
633 : 63 : MemoryContextSwitchTo(old_context);
634 : :
635 : : /*
636 : : * We intentionally don't use PG_RETURN_HEAPTUPLEHEADER here, because that
637 : : * would cause the indirect toast pointers to be flattened out of the
638 : : * tuple immediately, rendering subsequent testing irrelevant. So just
639 : : * return the HeapTupleHeader pointer as-is. This violates the general
640 : : * rule that composite Datums shouldn't contain toast pointers, but so
641 : : * long as the regression test scripts don't insert the result of this
642 : : * function into a container type (record, array, etc) it should be OK.
643 : : */
3636 tgl@sss.pgh.pa.us 644 : 63 : PG_RETURN_POINTER(newtup->t_data);
645 : : }
646 : :
1201 647 : 2 : PG_FUNCTION_INFO_V1(regress_setenv);
648 : :
649 : : Datum
650 : 1 : regress_setenv(PG_FUNCTION_ARGS)
651 : : {
652 : 1 : char *envvar = text_to_cstring(PG_GETARG_TEXT_PP(0));
653 : 1 : char *envval = text_to_cstring(PG_GETARG_TEXT_PP(1));
654 : :
3554 noah@leadboat.com 655 [ - + ]: 1 : if (!superuser())
3554 noah@leadboat.com 656 [ # # ]:UBC 0 : elog(ERROR, "must be superuser to change environment variables");
657 : :
1201 tgl@sss.pgh.pa.us 658 [ - + ]:CBC 1 : if (setenv(envvar, envval, 1) != 0)
3554 noah@leadboat.com 659 [ # # ]:UBC 0 : elog(ERROR, "could not set environment variable: %m");
660 : :
3554 noah@leadboat.com 661 :CBC 1 : PG_RETURN_VOID();
662 : : }
663 : :
664 : : /* Sleep until no process has a given PID. */
665 : 5 : PG_FUNCTION_INFO_V1(wait_pid);
666 : :
667 : : Datum
668 : 2 : wait_pid(PG_FUNCTION_ARGS)
669 : : {
670 : 2 : int pid = PG_GETARG_INT32(0);
671 : :
672 [ - + ]: 2 : if (!superuser())
3554 noah@leadboat.com 673 [ # # ]:UBC 0 : elog(ERROR, "must be superuser to check PID liveness");
674 : :
3554 noah@leadboat.com 675 [ + + ]:CBC 4 : while (kill(pid, 0) == 0)
676 : : {
3326 677 [ - + ]: 2 : CHECK_FOR_INTERRUPTS();
3554 678 : 2 : pg_usleep(50000);
679 : : }
680 : :
681 [ - + ]: 2 : if (errno != ESRCH)
3554 noah@leadboat.com 682 [ # # ]:UBC 0 : elog(ERROR, "could not check PID %d liveness: %m", pid);
683 : :
3554 noah@leadboat.com 684 :CBC 2 : PG_RETURN_VOID();
685 : : }
686 : :
687 : : static void
3489 andres@anarazel.de 688 : 3 : test_atomic_flag(void)
689 : : {
690 : : pg_atomic_flag flag;
691 : :
692 : 3 : pg_atomic_init_flag(&flag);
1653 noah@leadboat.com 693 [ - + - - ]: 3 : EXPECT_TRUE(pg_atomic_unlocked_test_flag(&flag));
694 [ - + - - ]: 3 : EXPECT_TRUE(pg_atomic_test_set_flag(&flag));
695 [ - + - - ]: 3 : EXPECT_TRUE(!pg_atomic_unlocked_test_flag(&flag));
696 [ - + - - ]: 3 : EXPECT_TRUE(!pg_atomic_test_set_flag(&flag));
3489 andres@anarazel.de 697 : 3 : pg_atomic_clear_flag(&flag);
1653 noah@leadboat.com 698 [ - + - - ]: 3 : EXPECT_TRUE(pg_atomic_unlocked_test_flag(&flag));
699 [ - + - - ]: 3 : EXPECT_TRUE(pg_atomic_test_set_flag(&flag));
3489 andres@anarazel.de 700 : 3 : pg_atomic_clear_flag(&flag);
701 : 3 : }
702 : :
703 : : static void
704 : 3 : test_atomic_uint32(void)
705 : : {
706 : : pg_atomic_uint32 var;
707 : : uint32 expected;
708 : : int i;
709 : :
710 : 3 : pg_atomic_init_u32(&var, 0);
1653 noah@leadboat.com 711 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_read_u32(&var), 0);
3489 andres@anarazel.de 712 : 3 : pg_atomic_write_u32(&var, 3);
1653 noah@leadboat.com 713 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_read_u32(&var), 3);
714 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_fetch_add_u32(&var, pg_atomic_read_u32(&var) - 2),
715 : : 3);
716 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_fetch_sub_u32(&var, 1), 4);
717 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_sub_fetch_u32(&var, 3), 0);
718 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_add_fetch_u32(&var, 10), 10);
719 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_exchange_u32(&var, 5), 10);
720 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_exchange_u32(&var, 0), 5);
721 : :
722 : : /* test around numerical limits */
723 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_fetch_add_u32(&var, INT_MAX), 0);
724 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_fetch_add_u32(&var, INT_MAX), INT_MAX);
1675 725 : 3 : pg_atomic_fetch_add_u32(&var, 2); /* wrap to 0 */
1653 726 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_fetch_add_u32(&var, PG_INT16_MAX), 0);
727 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_fetch_add_u32(&var, PG_INT16_MAX + 1),
728 : : PG_INT16_MAX);
729 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_fetch_add_u32(&var, PG_INT16_MIN),
730 : : 2 * PG_INT16_MAX + 1);
731 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_fetch_add_u32(&var, PG_INT16_MIN - 1),
732 : : PG_INT16_MAX);
3249 bruce@momjian.us 733 : 3 : pg_atomic_fetch_add_u32(&var, 1); /* top up to UINT_MAX */
1653 noah@leadboat.com 734 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_read_u32(&var), UINT_MAX);
735 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_fetch_sub_u32(&var, INT_MAX), UINT_MAX);
736 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_read_u32(&var), (uint32) INT_MAX + 1);
737 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_sub_fetch_u32(&var, INT_MAX), 1);
3489 andres@anarazel.de 738 : 3 : pg_atomic_sub_fetch_u32(&var, 1);
1281 noah@leadboat.com 739 : 3 : expected = PG_INT16_MAX;
740 [ - + - - ]: 3 : EXPECT_TRUE(!pg_atomic_compare_exchange_u32(&var, &expected, 1));
741 : 3 : expected = PG_INT16_MAX + 1;
742 [ - + - - ]: 3 : EXPECT_TRUE(!pg_atomic_compare_exchange_u32(&var, &expected, 1));
743 : 3 : expected = PG_INT16_MIN;
744 [ - + - - ]: 3 : EXPECT_TRUE(!pg_atomic_compare_exchange_u32(&var, &expected, 1));
745 : 3 : expected = PG_INT16_MIN - 1;
746 [ - + - - ]: 3 : EXPECT_TRUE(!pg_atomic_compare_exchange_u32(&var, &expected, 1));
747 : :
748 : : /* fail exchange because of old expected */
3489 andres@anarazel.de 749 : 3 : expected = 10;
1653 noah@leadboat.com 750 [ - + - - ]: 3 : EXPECT_TRUE(!pg_atomic_compare_exchange_u32(&var, &expected, 1));
751 : :
752 : : /* CAS is allowed to fail due to interrupts, try a couple of times */
3489 andres@anarazel.de 753 [ + - ]: 6 : for (i = 0; i < 1000; i++)
754 : : {
755 : 6 : expected = 0;
756 [ + + ]: 6 : if (!pg_atomic_compare_exchange_u32(&var, &expected, 1))
757 : 3 : break;
758 : : }
759 [ - + ]: 3 : if (i == 1000)
3489 andres@anarazel.de 760 [ # # ]:UBC 0 : elog(ERROR, "atomic_compare_exchange_u32() never succeeded");
1653 noah@leadboat.com 761 [ - + - - ]:CBC 3 : EXPECT_EQ_U32(pg_atomic_read_u32(&var), 1);
3489 andres@anarazel.de 762 : 3 : pg_atomic_write_u32(&var, 0);
763 : :
764 : : /* try setting flagbits */
1653 noah@leadboat.com 765 [ - + - - ]: 3 : EXPECT_TRUE(!(pg_atomic_fetch_or_u32(&var, 1) & 1));
766 [ - + - - ]: 3 : EXPECT_TRUE(pg_atomic_fetch_or_u32(&var, 2) & 1);
767 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_read_u32(&var), 3);
768 : : /* try clearing flagbits */
769 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_fetch_and_u32(&var, ~2) & 3, 3);
770 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_fetch_and_u32(&var, ~1), 1);
771 : : /* no bits set anymore */
772 [ - + - - ]: 3 : EXPECT_EQ_U32(pg_atomic_fetch_and_u32(&var, ~0), 0);
3489 andres@anarazel.de 773 : 3 : }
774 : :
775 : : static void
776 : 3 : test_atomic_uint64(void)
777 : : {
778 : : pg_atomic_uint64 var;
779 : : uint64 expected;
780 : : int i;
781 : :
782 : 3 : pg_atomic_init_u64(&var, 0);
1653 noah@leadboat.com 783 [ - + - - ]: 3 : EXPECT_EQ_U64(pg_atomic_read_u64(&var), 0);
3489 andres@anarazel.de 784 : 3 : pg_atomic_write_u64(&var, 3);
1653 noah@leadboat.com 785 [ - + - - ]: 3 : EXPECT_EQ_U64(pg_atomic_read_u64(&var), 3);
786 [ - + - - ]: 3 : EXPECT_EQ_U64(pg_atomic_fetch_add_u64(&var, pg_atomic_read_u64(&var) - 2),
787 : : 3);
788 [ - + - - ]: 3 : EXPECT_EQ_U64(pg_atomic_fetch_sub_u64(&var, 1), 4);
789 [ - + - - ]: 3 : EXPECT_EQ_U64(pg_atomic_sub_fetch_u64(&var, 3), 0);
790 [ - + - - ]: 3 : EXPECT_EQ_U64(pg_atomic_add_fetch_u64(&var, 10), 10);
791 [ - + - - ]: 3 : EXPECT_EQ_U64(pg_atomic_exchange_u64(&var, 5), 10);
792 [ - + - - ]: 3 : EXPECT_EQ_U64(pg_atomic_exchange_u64(&var, 0), 5);
793 : :
794 : : /* fail exchange because of old expected */
3489 andres@anarazel.de 795 : 3 : expected = 10;
1653 noah@leadboat.com 796 [ - + - - ]: 3 : EXPECT_TRUE(!pg_atomic_compare_exchange_u64(&var, &expected, 1));
797 : :
798 : : /* CAS is allowed to fail due to interrupts, try a couple of times */
3489 andres@anarazel.de 799 [ + - ]: 6 : for (i = 0; i < 100; i++)
800 : : {
801 : 6 : expected = 0;
802 [ + + ]: 6 : if (!pg_atomic_compare_exchange_u64(&var, &expected, 1))
803 : 3 : break;
804 : : }
805 [ - + ]: 3 : if (i == 100)
3489 andres@anarazel.de 806 [ # # ]:UBC 0 : elog(ERROR, "atomic_compare_exchange_u64() never succeeded");
1653 noah@leadboat.com 807 [ - + - - ]:CBC 3 : EXPECT_EQ_U64(pg_atomic_read_u64(&var), 1);
808 : :
3489 andres@anarazel.de 809 : 3 : pg_atomic_write_u64(&var, 0);
810 : :
811 : : /* try setting flagbits */
1653 noah@leadboat.com 812 [ - + - - ]: 3 : EXPECT_TRUE(!(pg_atomic_fetch_or_u64(&var, 1) & 1));
813 [ - + - - ]: 3 : EXPECT_TRUE(pg_atomic_fetch_or_u64(&var, 2) & 1);
814 [ - + - - ]: 3 : EXPECT_EQ_U64(pg_atomic_read_u64(&var), 3);
815 : : /* try clearing flagbits */
816 [ - + - - ]: 3 : EXPECT_EQ_U64((pg_atomic_fetch_and_u64(&var, ~2) & 3), 3);
817 [ - + - - ]: 3 : EXPECT_EQ_U64(pg_atomic_fetch_and_u64(&var, ~1), 1);
818 : : /* no bits set anymore */
819 [ - + - - ]: 3 : EXPECT_EQ_U64(pg_atomic_fetch_and_u64(&var, ~0), 0);
3489 andres@anarazel.de 820 : 3 : }
821 : :
822 : : /*
823 : : * Perform, fairly minimal, testing of the spinlock implementation.
824 : : *
825 : : * It's likely worth expanding these to actually test concurrency etc, but
826 : : * having some regularly run tests is better than none.
827 : : */
828 : : static void
1406 829 : 3 : test_spinlock(void)
830 : : {
831 : : /*
832 : : * Basic tests for spinlocks, as well as the underlying operations.
833 : : *
834 : : * We embed the spinlock in a struct with other members to test that the
835 : : * spinlock operations don't perform too wide writes.
836 : : */
837 : : {
838 : : struct test_lock_struct
839 : : {
840 : : char data_before[4];
841 : : slock_t lock;
842 : : char data_after[4];
843 : : } struct_w_lock;
844 : :
845 : 3 : memcpy(struct_w_lock.data_before, "abcd", 4);
846 : 3 : memcpy(struct_w_lock.data_after, "ef12", 4);
847 : :
848 : : /* test basic operations via the SpinLock* API */
849 : 3 : SpinLockInit(&struct_w_lock.lock);
850 [ - + ]: 3 : SpinLockAcquire(&struct_w_lock.lock);
851 : 3 : SpinLockRelease(&struct_w_lock.lock);
852 : :
853 : : /* test basic operations via underlying S_* API */
854 : 3 : S_INIT_LOCK(&struct_w_lock.lock);
855 [ - + ]: 3 : S_LOCK(&struct_w_lock.lock);
856 : 3 : S_UNLOCK(&struct_w_lock.lock);
857 : :
858 : : /* and that "contended" acquisition works */
859 : 3 : s_lock(&struct_w_lock.lock, "testfile", 17, "testfunc");
860 : 3 : S_UNLOCK(&struct_w_lock.lock);
861 : :
862 : : /*
863 : : * Check, using TAS directly, that a single spin cycle doesn't block
864 : : * when acquiring an already acquired lock.
865 : : */
866 : : #ifdef TAS
867 [ - + ]: 3 : S_LOCK(&struct_w_lock.lock);
868 : :
869 [ - + ]: 3 : if (!TAS(&struct_w_lock.lock))
1406 andres@anarazel.de 870 [ # # ]:UBC 0 : elog(ERROR, "acquired already held spinlock");
871 : :
872 : : #ifdef TAS_SPIN
1406 andres@anarazel.de 873 [ - + - - ]:CBC 3 : if (!TAS_SPIN(&struct_w_lock.lock))
1406 andres@anarazel.de 874 [ # # ]:UBC 0 : elog(ERROR, "acquired already held spinlock");
875 : : #endif /* defined(TAS_SPIN) */
876 : :
1406 andres@anarazel.de 877 :CBC 3 : S_UNLOCK(&struct_w_lock.lock);
878 : : #endif /* defined(TAS) */
879 : :
880 : : /*
881 : : * Verify that after all of this the non-lock contents are still
882 : : * correct.
883 : : */
884 [ - + ]: 3 : if (memcmp(struct_w_lock.data_before, "abcd", 4) != 0)
1406 andres@anarazel.de 885 [ # # ]:UBC 0 : elog(ERROR, "padding before spinlock modified");
1406 andres@anarazel.de 886 [ - + ]:CBC 3 : if (memcmp(struct_w_lock.data_after, "ef12", 4) != 0)
1406 andres@anarazel.de 887 [ # # ]:UBC 0 : elog(ERROR, "padding after spinlock modified");
888 : : }
889 : :
890 : : /*
891 : : * Ensure that allocating more than INT32_MAX emulated spinlocks works.
892 : : * That's interesting because the spinlock emulation uses a 32bit integer
893 : : * to map spinlocks onto semaphores. There've been bugs...
894 : : */
895 : : #ifndef HAVE_SPINLOCKS
896 : : {
897 : : /*
898 : : * Initialize enough spinlocks to advance counter close to wraparound.
899 : : * It's too expensive to perform acquire/release for each, as those
900 : : * may be syscalls when the spinlock emulation is used (and even just
901 : : * atomic TAS would be expensive).
902 : : */
903 : : for (uint32 i = 0; i < INT32_MAX - 100000; i++)
904 : : {
905 : : slock_t lock;
906 : :
907 : : SpinLockInit(&lock);
908 : : }
909 : :
910 : : for (uint32 i = 0; i < 200000; i++)
911 : : {
912 : : slock_t lock;
913 : :
914 : : SpinLockInit(&lock);
915 : :
916 : : SpinLockAcquire(&lock);
917 : : SpinLockRelease(&lock);
918 : : SpinLockAcquire(&lock);
919 : : SpinLockRelease(&lock);
920 : : }
921 : : }
922 : : #endif
1406 andres@anarazel.de 923 :CBC 3 : }
924 : :
925 : : /*
926 : : * Verify that performing atomic ops inside a spinlock isn't a
927 : : * problem. Realistically that's only going to be a problem when both
928 : : * --disable-spinlocks and --disable-atomics are used, but it's cheap enough
929 : : * to just always test.
930 : : *
931 : : * The test works by initializing enough atomics that we'd conflict if there
932 : : * were an overlap between a spinlock and an atomic by holding a spinlock
933 : : * while manipulating more than NUM_SPINLOCK_SEMAPHORES atomics.
934 : : *
935 : : * NUM_TEST_ATOMICS doesn't really need to be more than
936 : : * NUM_SPINLOCK_SEMAPHORES, but it seems better to test a bit more
937 : : * extensively.
938 : : */
939 : : static void
940 : 3 : test_atomic_spin_nest(void)
941 : : {
942 : : slock_t lock;
943 : : #define NUM_TEST_ATOMICS (NUM_SPINLOCK_SEMAPHORES + NUM_ATOMICS_SEMAPHORES + 27)
944 : : pg_atomic_uint32 atomics32[NUM_TEST_ATOMICS];
945 : : pg_atomic_uint64 atomics64[NUM_TEST_ATOMICS];
946 : :
947 : 3 : SpinLockInit(&lock);
948 : :
949 [ + + ]: 660 : for (int i = 0; i < NUM_TEST_ATOMICS; i++)
950 : : {
951 : 657 : pg_atomic_init_u32(&atomics32[i], 0);
952 : 657 : pg_atomic_init_u64(&atomics64[i], 0);
953 : : }
954 : :
955 : : /* just so it's not all zeroes */
956 [ + + ]: 660 : for (int i = 0; i < NUM_TEST_ATOMICS; i++)
957 : : {
958 [ - + - - ]: 657 : EXPECT_EQ_U32(pg_atomic_fetch_add_u32(&atomics32[i], i), 0);
959 [ - + - - ]: 657 : EXPECT_EQ_U64(pg_atomic_fetch_add_u64(&atomics64[i], i), 0);
960 : : }
961 : :
962 : : /* test whether we can do atomic op with lock held */
963 [ - + ]: 3 : SpinLockAcquire(&lock);
964 [ + + ]: 660 : for (int i = 0; i < NUM_TEST_ATOMICS; i++)
965 : : {
966 [ - + - - ]: 657 : EXPECT_EQ_U32(pg_atomic_fetch_sub_u32(&atomics32[i], i), i);
967 [ - + - - ]: 657 : EXPECT_EQ_U32(pg_atomic_read_u32(&atomics32[i]), 0);
968 [ - + - - ]: 657 : EXPECT_EQ_U64(pg_atomic_fetch_sub_u64(&atomics64[i], i), i);
969 [ - + - - ]: 657 : EXPECT_EQ_U64(pg_atomic_read_u64(&atomics64[i]), 0);
970 : : }
971 : 3 : SpinLockRelease(&lock);
972 : 3 : }
973 : : #undef NUM_TEST_ATOMICS
974 : :
3489 975 : 7 : PG_FUNCTION_INFO_V1(test_atomic_ops);
976 : : Datum
977 : 3 : test_atomic_ops(PG_FUNCTION_ARGS)
978 : : {
979 : 3 : test_atomic_flag();
980 : :
981 : 3 : test_atomic_uint32();
982 : :
983 : 3 : test_atomic_uint64();
984 : :
985 : : /*
986 : : * Arguably this shouldn't be tested as part of this function, but it's
987 : : * closely enough related that that seems ok for now.
988 : : */
1406 989 : 3 : test_spinlock();
990 : :
991 : 3 : test_atomic_spin_nest();
992 : :
3489 993 : 3 : PG_RETURN_BOOL(true);
994 : : }
995 : :
2403 rhaas@postgresql.org 996 : 4 : PG_FUNCTION_INFO_V1(test_fdw_handler);
997 : : Datum
2403 rhaas@postgresql.org 998 :UBC 0 : test_fdw_handler(PG_FUNCTION_ARGS)
999 : : {
2238 tgl@sss.pgh.pa.us 1000 [ # # ]: 0 : elog(ERROR, "test_fdw_handler is not implemented");
1001 : : PG_RETURN_NULL();
1002 : : }
1003 : :
1891 tgl@sss.pgh.pa.us 1004 :CBC 7 : PG_FUNCTION_INFO_V1(test_support_func);
1005 : : Datum
1006 : 30 : test_support_func(PG_FUNCTION_ARGS)
1007 : : {
1008 : 30 : Node *rawreq = (Node *) PG_GETARG_POINTER(0);
1009 : 30 : Node *ret = NULL;
1010 : :
1011 [ + + ]: 30 : if (IsA(rawreq, SupportRequestSelectivity))
1012 : : {
1013 : : /*
1014 : : * Assume that the target is int4eq; that's safe as long as we don't
1015 : : * attach this to any other boolean-returning function.
1016 : : */
1017 : 3 : SupportRequestSelectivity *req = (SupportRequestSelectivity *) rawreq;
1018 : : Selectivity s1;
1019 : :
1020 [ - + ]: 3 : if (req->is_join)
1891 tgl@sss.pgh.pa.us 1021 :UBC 0 : s1 = join_selectivity(req->root, Int4EqualOperator,
1022 : : req->args,
1023 : : req->inputcollid,
1024 : : req->jointype,
1025 : 0 : req->sjinfo);
1026 : : else
1891 tgl@sss.pgh.pa.us 1027 :CBC 3 : s1 = restriction_selectivity(req->root, Int4EqualOperator,
1028 : : req->args,
1029 : : req->inputcollid,
1030 : : req->varRelid);
1031 : :
1032 : 3 : req->selectivity = s1;
1033 : 3 : ret = (Node *) req;
1034 : : }
1035 : :
1036 [ + + ]: 30 : if (IsA(rawreq, SupportRequestCost))
1037 : : {
1038 : : /* Provide some generic estimate */
1039 : 9 : SupportRequestCost *req = (SupportRequestCost *) rawreq;
1040 : :
1041 : 9 : req->startup = 0;
1042 : 9 : req->per_tuple = 2 * cpu_operator_cost;
1043 : 9 : ret = (Node *) req;
1044 : : }
1045 : :
1046 [ + + ]: 30 : if (IsA(rawreq, SupportRequestRows))
1047 : : {
1048 : : /*
1049 : : * Assume that the target is generate_series_int4; that's safe as long
1050 : : * as we don't attach this to any other set-returning function.
1051 : : */
1052 : 6 : SupportRequestRows *req = (SupportRequestRows *) rawreq;
1053 : :
1054 [ + - + - ]: 6 : if (req->node && IsA(req->node, FuncExpr)) /* be paranoid */
1055 : : {
1056 : 6 : List *args = ((FuncExpr *) req->node)->args;
1057 : 6 : Node *arg1 = linitial(args);
1058 : 6 : Node *arg2 = lsecond(args);
1059 : :
1060 [ + - ]: 6 : if (IsA(arg1, Const) &&
1061 [ + - ]: 6 : !((Const *) arg1)->constisnull &&
1062 [ + - ]: 6 : IsA(arg2, Const) &&
1063 [ + - ]: 6 : !((Const *) arg2)->constisnull)
1064 : : {
1065 : 6 : int32 val1 = DatumGetInt32(((Const *) arg1)->constvalue);
1066 : 6 : int32 val2 = DatumGetInt32(((Const *) arg2)->constvalue);
1067 : :
1068 : 6 : req->rows = val2 - val1 + 1;
1069 : 6 : ret = (Node *) req;
1070 : : }
1071 : : }
1072 : : }
1073 : :
1074 : 30 : PG_RETURN_POINTER(ret);
1075 : : }
1076 : :
1476 akorotkov@postgresql 1077 : 4 : PG_FUNCTION_INFO_V1(test_opclass_options_func);
1078 : : Datum
1476 akorotkov@postgresql 1079 :UBC 0 : test_opclass_options_func(PG_FUNCTION_ARGS)
1080 : : {
1081 : 0 : PG_RETURN_NULL();
1082 : : }
1083 : :
1084 : : /*
1085 : : * Call an encoding conversion or verification function.
1086 : : *
1087 : : * Arguments:
1088 : : * string bytea -- string to convert
1089 : : * src_enc name -- source encoding
1090 : : * dest_enc name -- destination encoding
1091 : : * noError bool -- if set, don't ereport() on invalid or untranslatable
1092 : : * input
1093 : : *
1094 : : * Result is a tuple with two attributes:
1095 : : * int4 -- number of input bytes successfully converted
1096 : : * bytea -- converted string
1097 : : */
1109 heikki.linnakangas@i 1098 :CBC 7 : PG_FUNCTION_INFO_V1(test_enc_conversion);
1099 : : Datum
1100 : 4899 : test_enc_conversion(PG_FUNCTION_ARGS)
1101 : : {
1102 : 4899 : bytea *string = PG_GETARG_BYTEA_PP(0);
1103 : 4899 : char *src_encoding_name = NameStr(*PG_GETARG_NAME(1));
1104 : 4899 : int src_encoding = pg_char_to_encoding(src_encoding_name);
1105 : 4899 : char *dest_encoding_name = NameStr(*PG_GETARG_NAME(2));
1106 : 4899 : int dest_encoding = pg_char_to_encoding(dest_encoding_name);
1107 : 4899 : bool noError = PG_GETARG_BOOL(3);
1108 : : TupleDesc tupdesc;
1109 : : char *src;
1110 : : char *dst;
1111 : : bytea *retval;
1112 : : Size srclen;
1113 : : Size dstsize;
1114 : : Oid proc;
1115 : : int convertedbytes;
1116 : : int dstlen;
1117 : : Datum values[2];
638 peter@eisentraut.org 1118 : 4899 : bool nulls[2] = {0};
1119 : : HeapTuple tuple;
1120 : :
1109 heikki.linnakangas@i 1121 [ - + ]: 4899 : if (src_encoding < 0)
1109 heikki.linnakangas@i 1122 [ # # ]:UBC 0 : ereport(ERROR,
1123 : : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
1124 : : errmsg("invalid source encoding name \"%s\"",
1125 : : src_encoding_name)));
1109 heikki.linnakangas@i 1126 [ - + ]:CBC 4899 : if (dest_encoding < 0)
1109 heikki.linnakangas@i 1127 [ # # ]:UBC 0 : ereport(ERROR,
1128 : : (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
1129 : : errmsg("invalid destination encoding name \"%s\"",
1130 : : dest_encoding_name)));
1131 : :
1132 : : /* Build a tuple descriptor for our result type */
1109 heikki.linnakangas@i 1133 [ - + ]:CBC 4899 : if (get_call_result_type(fcinfo, NULL, &tupdesc) != TYPEFUNC_COMPOSITE)
1109 heikki.linnakangas@i 1134 [ # # ]:UBC 0 : elog(ERROR, "return type must be a row type");
1109 heikki.linnakangas@i 1135 :CBC 4899 : tupdesc = BlessTupleDesc(tupdesc);
1136 : :
1137 [ - + - - : 4899 : srclen = VARSIZE_ANY_EXHDR(string);
- - - - +
+ ]
1138 [ + + ]: 4899 : src = VARDATA_ANY(string);
1139 : :
1140 [ + + ]: 4899 : if (src_encoding == dest_encoding)
1141 : : {
1142 : : /* just check that the source string is valid */
1143 : : int oklen;
1144 : :
1145 : 2046 : oklen = pg_encoding_verifymbstr(src_encoding, src, srclen);
1146 : :
1147 [ + + ]: 2046 : if (oklen == srclen)
1148 : : {
1149 : 516 : convertedbytes = oklen;
1150 : 516 : retval = string;
1151 : : }
1152 [ + + ]: 1530 : else if (!noError)
1153 : : {
1154 : 765 : report_invalid_encoding(src_encoding, src + oklen, srclen - oklen);
1155 : : }
1156 : : else
1157 : : {
1158 : : /*
1159 : : * build bytea data type structure.
1160 : : */
1161 [ - + ]: 765 : Assert(oklen < srclen);
1162 : 765 : convertedbytes = oklen;
1163 : 765 : retval = (bytea *) palloc(oklen + VARHDRSZ);
1164 : 765 : SET_VARSIZE(retval, oklen + VARHDRSZ);
1165 : 765 : memcpy(VARDATA(retval), src, oklen);
1166 : : }
1167 : : }
1168 : : else
1169 : : {
1170 : 2853 : proc = FindDefaultConversionProc(src_encoding, dest_encoding);
1171 [ - + ]: 2853 : if (!OidIsValid(proc))
1109 heikki.linnakangas@i 1172 [ # # ]:UBC 0 : ereport(ERROR,
1173 : : (errcode(ERRCODE_UNDEFINED_FUNCTION),
1174 : : errmsg("default conversion function for encoding \"%s\" to \"%s\" does not exist",
1175 : : pg_encoding_to_char(src_encoding),
1176 : : pg_encoding_to_char(dest_encoding))));
1177 : :
1109 heikki.linnakangas@i 1178 [ - + ]:CBC 2853 : if (srclen >= (MaxAllocSize / (Size) MAX_CONVERSION_GROWTH))
1109 heikki.linnakangas@i 1179 [ # # ]:UBC 0 : ereport(ERROR,
1180 : : (errcode(ERRCODE_PROGRAM_LIMIT_EXCEEDED),
1181 : : errmsg("out of memory"),
1182 : : errdetail("String of %d bytes is too long for encoding conversion.",
1183 : : (int) srclen)));
1184 : :
1109 heikki.linnakangas@i 1185 :CBC 2853 : dstsize = (Size) srclen * MAX_CONVERSION_GROWTH + 1;
1186 : 2853 : dst = MemoryContextAlloc(CurrentMemoryContext, dstsize);
1187 : :
1188 : : /* perform conversion */
1189 : 2853 : convertedbytes = pg_do_encoding_conversion_buf(proc,
1190 : : src_encoding,
1191 : : dest_encoding,
1192 : : (unsigned char *) src, srclen,
1193 : : (unsigned char *) dst, dstsize,
1194 : : noError);
1195 : 1683 : dstlen = strlen(dst);
1196 : :
1197 : : /*
1198 : : * build bytea data type structure.
1199 : : */
1200 : 1683 : retval = (bytea *) palloc(dstlen + VARHDRSZ);
1201 : 1683 : SET_VARSIZE(retval, dstlen + VARHDRSZ);
1202 : 1683 : memcpy(VARDATA(retval), dst, dstlen);
1203 : :
1204 : 1683 : pfree(dst);
1205 : : }
1206 : :
1207 : 2964 : values[0] = Int32GetDatum(convertedbytes);
1208 : 2964 : values[1] = PointerGetDatum(retval);
1209 : 2964 : tuple = heap_form_tuple(tupdesc, values, nulls);
1210 : :
1211 : 2964 : PG_RETURN_DATUM(HeapTupleGetDatum(tuple));
1212 : : }
1213 : :
1214 : : /* Provide SQL access to IsBinaryCoercible() */
1069 tgl@sss.pgh.pa.us 1215 : 7 : PG_FUNCTION_INFO_V1(binary_coercible);
1216 : : Datum
1217 : 18678 : binary_coercible(PG_FUNCTION_ARGS)
1218 : : {
1219 : 18678 : Oid srctype = PG_GETARG_OID(0);
1220 : 18678 : Oid targettype = PG_GETARG_OID(1);
1221 : :
1222 : 18678 : PG_RETURN_BOOL(IsBinaryCoercible(srctype, targettype));
1223 : : }
|
