Age Owner Branch data TLA Line data Source code
1 : : /*-------------------------------------------------------------------------
2 : : *
3 : : * fe-protocol3.c
4 : : * functions that are specific to frontend/backend protocol version 3
5 : : *
6 : : * Portions Copyright (c) 1996-2026, PostgreSQL Global Development Group
7 : : * Portions Copyright (c) 1994, Regents of the University of California
8 : : *
9 : : *
10 : : * IDENTIFICATION
11 : : * src/interfaces/libpq/fe-protocol3.c
12 : : *
13 : : *-------------------------------------------------------------------------
14 : : */
15 : : #include "postgres_fe.h"
16 : :
17 : : #include <ctype.h>
18 : : #include <fcntl.h>
19 : : #include <limits.h>
20 : :
21 : : #ifdef WIN32
22 : : #include "win32.h"
23 : : #else
24 : : #include <unistd.h>
25 : : #include <netinet/tcp.h>
26 : : #endif
27 : :
28 : : #include "common/int.h"
29 : : #include "libpq-fe.h"
30 : : #include "libpq-int.h"
31 : : #include "mb/pg_wchar.h"
32 : : #include "port/pg_bswap.h"
33 : :
34 : : /*
35 : : * This macro lists the backend message types that could be "long" (more
36 : : * than a couple of kilobytes).
37 : : */
38 : : #define VALID_LONG_MESSAGE_TYPE(id) \
39 : : ((id) == PqMsg_CopyData || \
40 : : (id) == PqMsg_DataRow || \
41 : : (id) == PqMsg_ErrorResponse || \
42 : : (id) == PqMsg_FunctionCallResponse || \
43 : : (id) == PqMsg_NoticeResponse || \
44 : : (id) == PqMsg_NotificationResponse || \
45 : : (id) == PqMsg_RowDescription)
46 : :
47 : :
48 : : static void handleFatalError(PGconn *conn);
49 : : static void handleSyncLoss(PGconn *conn, char id, int msgLength);
50 : : static int getRowDescriptions(PGconn *conn, int msgLength);
51 : : static int getParamDescriptions(PGconn *conn, int msgLength);
52 : : static int getAnotherTuple(PGconn *conn, int msgLength);
53 : : static int getParameterStatus(PGconn *conn);
54 : : static int getBackendKeyData(PGconn *conn, int msgLength);
55 : : static int getNotify(PGconn *conn);
56 : : static int getCopyStart(PGconn *conn, ExecStatusType copytype);
57 : : static int getReadyForQuery(PGconn *conn);
58 : : static void reportErrorPosition(PQExpBuffer msg, const char *query,
59 : : int loc, int encoding);
60 : : static size_t build_startup_packet(const PGconn *conn, char *packet,
61 : : const PQEnvironmentOption *options);
62 : :
63 : :
64 : : /*
65 : : * parseInput: if appropriate, parse input data from backend
66 : : * until input is exhausted or a stopping state is reached.
67 : : * Note that this function will NOT attempt to read more data from the backend.
68 : : */
69 : : void
8316 tgl@sss.pgh.pa.us 70 :CBC 1834478 : pqParseInput3(PGconn *conn)
71 : : {
72 : : char id;
73 : : int msgLength;
74 : : int avail;
75 : :
76 : : /*
77 : : * Loop to parse successive complete messages available in the buffer.
78 : : */
79 : : for (;;)
80 : : {
81 : : /*
82 : : * Try to read a message. First get the type code and length. Return
83 : : * if not enough data.
84 : : */
85 : 7836374 : conn->inCursor = conn->inStart;
86 [ + + ]: 7836374 : if (pqGetc(&id, conn))
87 : 1358396 : return;
88 [ + + ]: 6477978 : if (pqGetInt(&msgLength, 4, conn))
89 : 2957 : return;
90 : :
91 : : /*
92 : : * Try to validate message type/length here. A length less than 4 is
93 : : * definitely broken. Large lengths should only be believed for a few
94 : : * message types.
95 : : */
96 [ - + ]: 6475021 : if (msgLength < 4)
97 : : {
8316 tgl@sss.pgh.pa.us 98 :UBC 0 : handleSyncLoss(conn, id, msgLength);
99 : 0 : return;
100 : : }
8113 tgl@sss.pgh.pa.us 101 [ + + + + :CBC 6475021 : if (msgLength > 30000 && !VALID_LONG_MESSAGE_TYPE(id))
+ + - + -
- - - - -
- - ]
102 : : {
8316 tgl@sss.pgh.pa.us 103 :UBC 0 : handleSyncLoss(conn, id, msgLength);
104 : 0 : return;
105 : : }
106 : :
107 : : /*
108 : : * Can't process if message body isn't all here yet.
109 : : */
8316 tgl@sss.pgh.pa.us 110 :CBC 6475021 : msgLength -= 4;
111 : 6475021 : avail = conn->inEnd - conn->inCursor;
112 [ + + ]: 6475021 : if (avail < msgLength)
113 : : {
114 : : /*
115 : : * Before returning, enlarge the input buffer if needed to hold
116 : : * the whole message. This is better than leaving it to
117 : : * pqReadData because we can avoid multiple cycles of realloc()
118 : : * when the message is large; also, we can implement a reasonable
119 : : * recovery strategy if we are unable to make the buffer big
120 : : * enough.
121 : : */
6499 122 [ - + ]: 63296 : if (pqCheckInBufferSpace(conn->inCursor + (size_t) msgLength,
123 : : conn))
124 : : {
125 : : /*
126 : : * Abandon the connection. There's not much else we can
127 : : * safely do; we can't just ignore the message or we could
128 : : * miss important changes to the connection state.
129 : : * pqCheckInBufferSpace() already reported the error.
130 : : */
205 heikki.linnakangas@i 131 :UBC 0 : handleFatalError(conn);
132 : : }
8316 tgl@sss.pgh.pa.us 133 :CBC 63296 : return;
134 : : }
135 : :
136 : : /*
137 : : * NOTIFY and NOTICE messages can happen in any state; always process
138 : : * them right away.
139 : : *
140 : : * Most other messages should only be processed while in BUSY state.
141 : : * (In particular, in READY state we hold off further parsing until
142 : : * the application collects the current PGresult.)
143 : : *
144 : : * However, if the state is IDLE then we got trouble; we need to deal
145 : : * with the unexpected message somehow.
146 : : *
147 : : * ParameterStatus ('S') messages are a special case: in IDLE state we
148 : : * must process 'em (this case could happen if a new value was adopted
149 : : * from config file due to SIGHUP), but otherwise we hold off until
150 : : * BUSY state.
151 : : */
936 nathan@postgresql.or 152 [ + + ]: 6411725 : if (id == PqMsg_NotificationResponse)
153 : : {
8316 tgl@sss.pgh.pa.us 154 [ - + ]: 55 : if (getNotify(conn))
8316 tgl@sss.pgh.pa.us 155 :UBC 0 : return;
156 : : }
936 nathan@postgresql.or 157 [ + + ]:CBC 6411670 : else if (id == PqMsg_NoticeResponse)
158 : : {
8316 tgl@sss.pgh.pa.us 159 [ - + ]: 12861 : if (pqGetErrorNotice3(conn, false))
8316 tgl@sss.pgh.pa.us 160 :UBC 0 : return;
161 : : }
8316 tgl@sss.pgh.pa.us 162 [ + + ]:CBC 6398809 : else if (conn->asyncStatus != PGASYNC_BUSY)
163 : : {
164 : : /* If not IDLE state, just wait ... */
165 [ + - ]: 409829 : if (conn->asyncStatus != PGASYNC_IDLE)
166 : 409829 : return;
167 : :
168 : : /*
169 : : * Unexpected message in IDLE state; need to recover somehow.
170 : : * ERROR messages are handled using the notice processor;
171 : : * ParameterStatus is handled normally; anything else is just
172 : : * dropped on the floor after displaying a suitable warning
173 : : * notice. (An ERROR is very possibly the backend telling us why
174 : : * it is about to close the connection, so we don't want to just
175 : : * discard it...)
176 : : */
936 nathan@postgresql.or 177 [ # # ]:UBC 0 : if (id == PqMsg_ErrorResponse)
178 : : {
8259 bruce@momjian.us 179 [ # # ]: 0 : if (pqGetErrorNotice3(conn, false /* treat as notice */ ))
8316 tgl@sss.pgh.pa.us 180 : 0 : return;
181 : : }
936 nathan@postgresql.or 182 [ # # ]: 0 : else if (id == PqMsg_ParameterStatus)
183 : : {
8316 tgl@sss.pgh.pa.us 184 [ # # ]: 0 : if (getParameterStatus(conn))
185 : 0 : return;
186 : : }
187 : : else
188 : : {
189 : : /* Any other case is unexpected and we summarily skip it */
8301 190 : 0 : pqInternalNotice(&conn->noticeHooks,
191 : : "message type 0x%02x arrived from server while idle",
192 : : id);
193 : : /* Discard the unexpected message */
8316 194 : 0 : conn->inCursor += msgLength;
195 : : }
196 : : }
197 : : else
198 : : {
199 : : /*
200 : : * In BUSY state, we can process everything.
201 : : */
8316 tgl@sss.pgh.pa.us 202 [ + + + + :CBC 5988980 : switch (id)
+ + + + +
+ + + + +
+ + + +
- ]
203 : : {
936 nathan@postgresql.or 204 : 336005 : case PqMsg_CommandComplete:
8316 tgl@sss.pgh.pa.us 205 [ - + ]: 336005 : if (pqGets(&conn->workBuffer, conn))
8316 tgl@sss.pgh.pa.us 206 :UBC 0 : return;
1424 tgl@sss.pgh.pa.us 207 [ + + + - ]:CBC 336005 : if (!pgHavePendingResult(conn))
208 : : {
8316 209 : 165339 : conn->result = PQmakeEmptyPGresult(conn,
210 : : PGRES_COMMAND_OK);
7581 neilc@samurai.com 211 [ - + ]: 165339 : if (!conn->result)
212 : : {
1216 peter@eisentraut.org 213 :UBC 0 : libpq_append_conn_error(conn, "out of memory");
3904 heikki.linnakangas@i 214 : 0 : pqSaveErrorResult(conn);
215 : : }
216 : : }
3904 heikki.linnakangas@i 217 [ + - ]:CBC 336005 : if (conn->result)
218 : 336005 : strlcpy(conn->result->cmdStatus, conn->workBuffer.data,
219 : : CMDSTATUS_LEN);
8316 tgl@sss.pgh.pa.us 220 : 336005 : conn->asyncStatus = PGASYNC_READY;
221 : 336005 : break;
936 nathan@postgresql.or 222 : 22920 : case PqMsg_ErrorResponse:
8316 tgl@sss.pgh.pa.us 223 [ - + ]: 22920 : if (pqGetErrorNotice3(conn, true))
8316 tgl@sss.pgh.pa.us 224 :UBC 0 : return;
8316 tgl@sss.pgh.pa.us 225 :CBC 22920 : conn->asyncStatus = PGASYNC_READY;
226 : 22920 : break;
936 nathan@postgresql.or 227 : 353213 : case PqMsg_ReadyForQuery:
8303 tgl@sss.pgh.pa.us 228 [ - + ]: 353213 : if (getReadyForQuery(conn))
8316 tgl@sss.pgh.pa.us 229 :UBC 0 : return;
1826 alvherre@alvh.no-ip. 230 [ + + ]:CBC 353213 : if (conn->pipelineStatus != PQ_PIPELINE_OFF)
231 : : {
232 : 266 : conn->result = PQmakeEmptyPGresult(conn,
233 : : PGRES_PIPELINE_SYNC);
234 [ - + ]: 266 : if (!conn->result)
235 : : {
1216 peter@eisentraut.org 236 :UBC 0 : libpq_append_conn_error(conn, "out of memory");
1826 alvherre@alvh.no-ip. 237 : 0 : pqSaveErrorResult(conn);
238 : : }
239 : : else
240 : : {
1826 alvherre@alvh.no-ip. 241 :CBC 266 : conn->pipelineStatus = PQ_PIPELINE_ON;
242 : 266 : conn->asyncStatus = PGASYNC_READY;
243 : : }
244 : : }
245 : : else
246 : : {
247 : : /* Advance the command queue and set us idle */
831 248 : 352947 : pqCommandQueueAdvance(conn, true, false);
1826 249 : 352947 : conn->asyncStatus = PGASYNC_IDLE;
250 : : }
8316 tgl@sss.pgh.pa.us 251 : 353213 : break;
936 nathan@postgresql.or 252 : 1108 : case PqMsg_EmptyQueryResponse:
1424 tgl@sss.pgh.pa.us 253 [ + - + - ]: 1108 : if (!pgHavePendingResult(conn))
254 : : {
8316 255 : 1108 : conn->result = PQmakeEmptyPGresult(conn,
256 : : PGRES_EMPTY_QUERY);
7581 neilc@samurai.com 257 [ - + ]: 1108 : if (!conn->result)
258 : : {
1216 peter@eisentraut.org 259 :UBC 0 : libpq_append_conn_error(conn, "out of memory");
3904 heikki.linnakangas@i 260 : 0 : pqSaveErrorResult(conn);
261 : : }
262 : : }
8316 tgl@sss.pgh.pa.us 263 :CBC 1108 : conn->asyncStatus = PGASYNC_READY;
264 : 1108 : break;
936 nathan@postgresql.or 265 : 4262 : case PqMsg_ParseComplete:
266 : : /* If we're doing PQprepare, we're done; else ignore */
1826 alvherre@alvh.no-ip. 267 [ + - ]: 4262 : if (conn->cmd_queue_head &&
268 [ + + ]: 4262 : conn->cmd_queue_head->queryclass == PGQUERY_PREPARE)
269 : : {
1424 tgl@sss.pgh.pa.us 270 [ + - + - ]: 1378 : if (!pgHavePendingResult(conn))
271 : : {
7818 272 : 1378 : conn->result = PQmakeEmptyPGresult(conn,
273 : : PGRES_COMMAND_OK);
7581 neilc@samurai.com 274 [ - + ]: 1378 : if (!conn->result)
275 : : {
1216 peter@eisentraut.org 276 :UBC 0 : libpq_append_conn_error(conn, "out of memory");
3904 heikki.linnakangas@i 277 : 0 : pqSaveErrorResult(conn);
278 : : }
279 : : }
7818 tgl@sss.pgh.pa.us 280 :CBC 1378 : conn->asyncStatus = PGASYNC_READY;
281 : : }
282 : 4262 : break;
936 nathan@postgresql.or 283 : 9927 : case PqMsg_BindComplete:
284 : : /* Nothing to do for this message type */
985 michael@paquier.xyz 285 : 9927 : break;
936 nathan@postgresql.or 286 : 17 : case PqMsg_CloseComplete:
287 : : /* If we're doing PQsendClose, we're done; else ignore */
985 michael@paquier.xyz 288 [ + - ]: 17 : if (conn->cmd_queue_head &&
289 [ + - ]: 17 : conn->cmd_queue_head->queryclass == PGQUERY_CLOSE)
290 : : {
291 [ + - + - ]: 17 : if (!pgHavePendingResult(conn))
292 : : {
293 : 17 : conn->result = PQmakeEmptyPGresult(conn,
294 : : PGRES_COMMAND_OK);
295 [ - + ]: 17 : if (!conn->result)
296 : : {
985 michael@paquier.xyz 297 :UBC 0 : libpq_append_conn_error(conn, "out of memory");
298 : 0 : pqSaveErrorResult(conn);
299 : : }
300 : : }
985 michael@paquier.xyz 301 :CBC 17 : conn->asyncStatus = PGASYNC_READY;
302 : : }
8303 tgl@sss.pgh.pa.us 303 : 17 : break;
936 nathan@postgresql.or 304 : 219924 : case PqMsg_ParameterStatus:
8316 tgl@sss.pgh.pa.us 305 [ - + ]: 219924 : if (getParameterStatus(conn))
8316 tgl@sss.pgh.pa.us 306 :UBC 0 : return;
8316 tgl@sss.pgh.pa.us 307 :CBC 219924 : break;
936 nathan@postgresql.or 308 : 14157 : case PqMsg_BackendKeyData:
309 : :
310 : : /*
311 : : * This is expected only during backend startup, but it's
312 : : * just as easy to handle it as part of the main loop.
313 : : * Save the data and continue processing.
314 : : */
347 heikki.linnakangas@i 315 [ - + ]: 14157 : if (getBackendKeyData(conn, msgLength))
8316 tgl@sss.pgh.pa.us 316 :UBC 0 : return;
8316 tgl@sss.pgh.pa.us 317 :CBC 14157 : break;
936 nathan@postgresql.or 318 : 174536 : case PqMsg_RowDescription:
1486 tgl@sss.pgh.pa.us 319 [ + - ]: 174536 : if (conn->error_result ||
320 [ + + ]: 174536 : (conn->result != NULL &&
321 [ - + ]: 43 : conn->result->resultStatus == PGRES_FATAL_ERROR))
322 : : {
323 : : /*
324 : : * We've already choked for some reason. Just discard
325 : : * the data till we get to the end of the query.
326 : : */
3744 heikki.linnakangas@i 327 :UBC 0 : conn->inCursor += msgLength;
328 : : }
3744 heikki.linnakangas@i 329 [ + + ]:CBC 174536 : else if (conn->result == NULL ||
1826 alvherre@alvh.no-ip. 330 [ + - ]: 43 : (conn->cmd_queue_head &&
331 [ + - ]: 43 : conn->cmd_queue_head->queryclass == PGQUERY_DESCRIBE))
332 : : {
333 : : /* First 'T' in a query sequence */
5093 tgl@sss.pgh.pa.us 334 [ - + ]: 174536 : if (getRowDescriptions(conn, msgLength))
8316 tgl@sss.pgh.pa.us 335 :UBC 0 : return;
336 : : }
337 : : else
338 : : {
339 : : /*
340 : : * A new 'T' message is treated as the start of
341 : : * another PGresult. (It is not clear that this is
342 : : * really possible with the current backend.) We stop
343 : : * parsing until the application accepts the current
344 : : * result.
345 : : */
346 : 0 : conn->asyncStatus = PGASYNC_READY;
347 : 0 : return;
348 : : }
8316 tgl@sss.pgh.pa.us 349 :CBC 174536 : break;
936 nathan@postgresql.or 350 : 5077 : case PqMsg_NoData:
351 : :
352 : : /*
353 : : * NoData indicates that we will not be seeing a
354 : : * RowDescription message because the statement or portal
355 : : * inquired about doesn't return rows.
356 : : *
357 : : * If we're doing a Describe, we have to pass something
358 : : * back to the client, so set up a COMMAND_OK result,
359 : : * instead of PGRES_TUPLES_OK. Otherwise we can just
360 : : * ignore this message.
361 : : */
1826 alvherre@alvh.no-ip. 362 [ + - ]: 5077 : if (conn->cmd_queue_head &&
363 [ + + ]: 5077 : conn->cmd_queue_head->queryclass == PGQUERY_DESCRIBE)
364 : : {
1424 tgl@sss.pgh.pa.us 365 [ - + - - ]: 6 : if (!pgHavePendingResult(conn))
366 : : {
6274 tgl@sss.pgh.pa.us 367 :UBC 0 : conn->result = PQmakeEmptyPGresult(conn,
368 : : PGRES_COMMAND_OK);
369 [ # # ]: 0 : if (!conn->result)
370 : : {
1216 peter@eisentraut.org 371 : 0 : libpq_append_conn_error(conn, "out of memory");
3904 heikki.linnakangas@i 372 : 0 : pqSaveErrorResult(conn);
373 : : }
374 : : }
7149 tgl@sss.pgh.pa.us 375 :CBC 6 : conn->asyncStatus = PGASYNC_READY;
376 : : }
377 : 5077 : break;
936 nathan@postgresql.or 378 : 49 : case PqMsg_ParameterDescription:
3744 heikki.linnakangas@i 379 [ - + ]: 49 : if (getParamDescriptions(conn, msgLength))
7149 tgl@sss.pgh.pa.us 380 :UBC 0 : return;
1830 tgl@sss.pgh.pa.us 381 :CBC 49 : break;
936 nathan@postgresql.or 382 : 4836242 : case PqMsg_DataRow:
8316 tgl@sss.pgh.pa.us 383 [ + - ]: 4836242 : if (conn->result != NULL &&
708 384 [ + + ]: 4836242 : (conn->result->resultStatus == PGRES_TUPLES_OK ||
385 [ + - ]: 93 : conn->result->resultStatus == PGRES_TUPLES_CHUNK))
386 : : {
387 : : /* Read another tuple of a normal query response */
8316 388 [ - + ]: 4836242 : if (getAnotherTuple(conn, msgLength))
8316 tgl@sss.pgh.pa.us 389 :UBC 0 : return;
390 : : }
1486 391 [ # # ]: 0 : else if (conn->error_result ||
392 [ # # ]: 0 : (conn->result != NULL &&
393 [ # # ]: 0 : conn->result->resultStatus == PGRES_FATAL_ERROR))
394 : : {
395 : : /*
396 : : * We've already choked for some reason. Just discard
397 : : * tuples till we get to the end of the query.
398 : : */
8316 399 : 0 : conn->inCursor += msgLength;
400 : : }
401 : : else
402 : : {
403 : : /* Set up to report error at end of query */
1216 peter@eisentraut.org 404 : 0 : libpq_append_conn_error(conn, "server sent data (\"D\" message) without prior row description (\"T\" message)");
8316 tgl@sss.pgh.pa.us 405 : 0 : pqSaveErrorResult(conn);
406 : : /* Discard the unexpected message */
407 : 0 : conn->inCursor += msgLength;
408 : : }
8316 tgl@sss.pgh.pa.us 409 :CBC 4836242 : break;
936 nathan@postgresql.or 410 : 565 : case PqMsg_CopyInResponse:
8303 tgl@sss.pgh.pa.us 411 [ - + ]: 565 : if (getCopyStart(conn, PGRES_COPY_IN))
8316 tgl@sss.pgh.pa.us 412 :UBC 0 : return;
8316 tgl@sss.pgh.pa.us 413 :CBC 565 : conn->asyncStatus = PGASYNC_COPY_IN;
414 : 565 : break;
936 nathan@postgresql.or 415 : 4934 : case PqMsg_CopyOutResponse:
8303 tgl@sss.pgh.pa.us 416 [ - + ]: 4934 : if (getCopyStart(conn, PGRES_COPY_OUT))
8316 tgl@sss.pgh.pa.us 417 :UBC 0 : return;
8316 tgl@sss.pgh.pa.us 418 :CBC 4934 : conn->asyncStatus = PGASYNC_COPY_OUT;
419 : 4934 : conn->copy_already_done = 0;
420 : 4934 : break;
936 nathan@postgresql.or 421 : 752 : case PqMsg_CopyBothResponse:
5573 rhaas@postgresql.org 422 [ - + ]: 752 : if (getCopyStart(conn, PGRES_COPY_BOTH))
5573 rhaas@postgresql.org 423 :UBC 0 : return;
5573 rhaas@postgresql.org 424 :CBC 752 : conn->asyncStatus = PGASYNC_COPY_BOTH;
425 : 752 : conn->copy_already_done = 0;
426 : 752 : break;
936 nathan@postgresql.or 427 : 6 : case PqMsg_CopyData:
428 : :
429 : : /*
430 : : * If we see Copy Data, just silently drop it. This would
431 : : * only occur if application exits COPY OUT mode too
432 : : * early.
433 : : */
8316 tgl@sss.pgh.pa.us 434 : 6 : conn->inCursor += msgLength;
435 : 6 : break;
936 nathan@postgresql.or 436 : 5286 : case PqMsg_CopyDone:
437 : :
438 : : /*
439 : : * If we see Copy Done, just silently drop it. This is
440 : : * the normal case during PQendcopy. We will keep
441 : : * swallowing data, expecting to see command-complete for
442 : : * the COPY command.
443 : : */
8316 tgl@sss.pgh.pa.us 444 : 5286 : break;
8316 tgl@sss.pgh.pa.us 445 :UBC 0 : default:
1216 peter@eisentraut.org 446 : 0 : libpq_append_conn_error(conn, "unexpected response from server; first received character was \"%c\"", id);
447 : : /* build an error result holding the error message */
8316 tgl@sss.pgh.pa.us 448 : 0 : pqSaveErrorResult(conn);
449 : : /* not sure if we will see more, so go to ready state */
450 : 0 : conn->asyncStatus = PGASYNC_READY;
451 : : /* Discard the unexpected message */
452 : 0 : conn->inCursor += msgLength;
453 : 0 : break;
454 : : } /* switch on protocol character */
455 : : }
456 : : /* Successfully consumed this message */
8316 tgl@sss.pgh.pa.us 457 [ + - ]:CBC 6001896 : if (conn->inCursor == conn->inStart + 5 + msgLength)
458 : : {
459 : : /* Normal case: parsing agrees with specified length */
576 alvherre@alvh.no-ip. 460 : 6001896 : pqParseDone(conn, conn->inCursor);
461 : : }
205 heikki.linnakangas@i 462 [ # # # # ]:UBC 0 : else if (conn->error_result && conn->status == CONNECTION_BAD)
463 : : {
464 : : /* The connection was abandoned and we already reported it */
465 : 0 : return;
466 : : }
467 : : else
468 : : {
469 : : /* Trouble --- report it */
1216 peter@eisentraut.org 470 : 0 : libpq_append_conn_error(conn, "message contents do not agree with length in message type \"%c\"", id);
471 : : /* build an error result holding the error message */
8316 tgl@sss.pgh.pa.us 472 : 0 : pqSaveErrorResult(conn);
473 : 0 : conn->asyncStatus = PGASYNC_READY;
474 : : /* trust the specified message length as what to skip */
475 : 0 : conn->inStart += 5 + msgLength;
476 : : }
477 : : }
478 : : }
479 : :
480 : : /*
481 : : * handleFatalError: clean up after a nonrecoverable error
482 : : *
483 : : * This is for errors where we need to abandon the connection. The caller has
484 : : * already saved the error message in conn->errorMessage.
485 : : */
486 : : static void
205 heikki.linnakangas@i 487 : 0 : handleFatalError(PGconn *conn)
488 : : {
489 : : /* build an error result holding the error message */
8316 tgl@sss.pgh.pa.us 490 : 0 : pqSaveErrorResult(conn);
1826 alvherre@alvh.no-ip. 491 : 0 : conn->asyncStatus = PGASYNC_READY; /* drop out of PQgetResult wait loop */
492 : : /* flush input data since we're giving up on processing it */
3776 tgl@sss.pgh.pa.us 493 : 0 : pqDropConnection(conn, true);
3189 494 : 0 : conn->status = CONNECTION_BAD; /* No more connection to backend */
8316 495 : 0 : }
496 : :
497 : : /*
498 : : * handleSyncLoss: clean up after loss of message-boundary sync
499 : : *
500 : : * There isn't really a lot we can do here except abandon the connection.
501 : : */
502 : : static void
205 heikki.linnakangas@i 503 : 0 : handleSyncLoss(PGconn *conn, char id, int msgLength)
504 : : {
505 : 0 : libpq_append_conn_error(conn, "lost synchronization with server: got message type \"%c\", length %d",
506 : : id, msgLength);
507 : 0 : handleFatalError(conn);
508 : 0 : }
509 : :
510 : : /*
511 : : * parseInput subroutine to read a 'T' (row descriptions) message.
512 : : * We'll build a new PGresult structure (unless called for a Describe
513 : : * command for a prepared statement) containing the attribute data.
514 : : * Returns: 0 if processed message successfully, EOF to suspend parsing
515 : : * (the latter case is not actually used currently).
516 : : */
517 : : static int
5093 tgl@sss.pgh.pa.us 518 :CBC 174536 : getRowDescriptions(PGconn *conn, int msgLength)
519 : : {
520 : : PGresult *result;
521 : : int nfields;
522 : : const char *errmsg;
523 : : int i;
524 : :
525 : : /*
526 : : * When doing Describe for a prepared statement, there'll already be a
527 : : * PGresult created by getParamDescriptions, and we should fill data into
528 : : * that. Otherwise, create a new, empty PGresult.
529 : : */
1826 alvherre@alvh.no-ip. 530 [ + - ]: 174536 : if (!conn->cmd_queue_head ||
531 [ + - ]: 174536 : (conn->cmd_queue_head &&
532 [ + + ]: 174536 : conn->cmd_queue_head->queryclass == PGQUERY_DESCRIBE))
533 : : {
7149 tgl@sss.pgh.pa.us 534 [ + + ]: 44 : if (conn->result)
535 : 43 : result = conn->result;
536 : : else
537 : 1 : result = PQmakeEmptyPGresult(conn, PGRES_COMMAND_OK);
538 : : }
539 : : else
540 : 174492 : result = PQmakeEmptyPGresult(conn, PGRES_TUPLES_OK);
7581 neilc@samurai.com 541 [ - + ]: 174536 : if (!result)
542 : : {
5093 tgl@sss.pgh.pa.us 543 :UBC 0 : errmsg = NULL; /* means "out of memory", see below */
544 : 0 : goto advance_and_error;
545 : : }
546 : :
547 : : /* parseInput already read the 'T' label and message length. */
548 : : /* the next two bytes are the number of fields */
8316 tgl@sss.pgh.pa.us 549 [ - + ]:CBC 174536 : if (pqGetInt(&(result->numAttributes), 2, conn))
550 : : {
551 : : /* We should not run out of data here, so complain */
5093 tgl@sss.pgh.pa.us 552 :UBC 0 : errmsg = libpq_gettext("insufficient data in \"T\" message");
553 : 0 : goto advance_and_error;
554 : : }
8316 tgl@sss.pgh.pa.us 555 :CBC 174536 : nfields = result->numAttributes;
556 : :
557 : : /* allocate space for the attribute descriptors */
558 [ + + ]: 174536 : if (nfields > 0)
559 : : {
560 : 174335 : result->attDescs = (PGresAttDesc *)
3133 peter_e@gmx.net 561 : 174335 : pqResultAlloc(result, nfields * sizeof(PGresAttDesc), true);
7581 neilc@samurai.com 562 [ - + ]: 174335 : if (!result->attDescs)
563 : : {
5093 tgl@sss.pgh.pa.us 564 :UBC 0 : errmsg = NULL; /* means "out of memory", see below */
565 : 0 : goto advance_and_error;
566 : : }
7581 neilc@samurai.com 567 [ + - + - :CBC 2429667 : MemSet(result->attDescs, 0, nfields * sizeof(PGresAttDesc));
+ - + + +
+ ]
568 : : }
569 : :
570 : : /* result->binary is true only if ALL columns are binary */
8303 tgl@sss.pgh.pa.us 571 : 174536 : result->binary = (nfields > 0) ? 1 : 0;
572 : :
573 : : /* get type info */
8316 574 [ + + ]: 749699 : for (i = 0; i < nfields; i++)
575 : : {
576 : : int tableid;
577 : : int columnid;
578 : : int typid;
579 : : int typlen;
580 : : int atttypmod;
581 : : int format;
582 : :
583 [ + - + - ]: 1150326 : if (pqGets(&conn->workBuffer, conn) ||
584 [ + - ]: 1150326 : pqGetInt(&tableid, 4, conn) ||
585 [ + - ]: 1150326 : pqGetInt(&columnid, 2, conn) ||
586 [ + - ]: 1150326 : pqGetInt(&typid, 4, conn) ||
587 [ + - ]: 1150326 : pqGetInt(&typlen, 2, conn) ||
588 [ - + ]: 1150326 : pqGetInt(&atttypmod, 4, conn) ||
589 : 575163 : pqGetInt(&format, 2, conn))
590 : : {
591 : : /* We should not run out of data here, so complain */
5093 tgl@sss.pgh.pa.us 592 :UBC 0 : errmsg = libpq_gettext("insufficient data in \"T\" message");
593 : 0 : goto advance_and_error;
594 : : }
595 : :
596 : : /*
597 : : * Since pqGetInt treats 2-byte integers as unsigned, we need to
598 : : * coerce these results to signed form.
599 : : */
8316 tgl@sss.pgh.pa.us 600 :CBC 575163 : columnid = (int) ((int16) columnid);
601 : 575163 : typlen = (int) ((int16) typlen);
602 : 575163 : format = (int) ((int16) format);
603 : :
604 : 1150326 : result->attDescs[i].name = pqResultStrdup(result,
605 : 575163 : conn->workBuffer.data);
7581 neilc@samurai.com 606 [ - + ]: 575163 : if (!result->attDescs[i].name)
607 : : {
5093 tgl@sss.pgh.pa.us 608 :UBC 0 : errmsg = NULL; /* means "out of memory", see below */
609 : 0 : goto advance_and_error;
610 : : }
8303 tgl@sss.pgh.pa.us 611 :CBC 575163 : result->attDescs[i].tableid = tableid;
612 : 575163 : result->attDescs[i].columnid = columnid;
613 : 575163 : result->attDescs[i].format = format;
8316 614 : 575163 : result->attDescs[i].typid = typid;
615 : 575163 : result->attDescs[i].typlen = typlen;
616 : 575163 : result->attDescs[i].atttypmod = atttypmod;
617 : :
8303 618 [ + + ]: 575163 : if (format != 1)
619 : 575124 : result->binary = 0;
620 : : }
621 : :
622 : : /* Success! */
8316 623 : 174536 : conn->result = result;
624 : :
625 : : /*
626 : : * If we're doing a Describe, we're done, and ready to pass the result
627 : : * back to the client.
628 : : */
1826 alvherre@alvh.no-ip. 629 [ + - ]: 174536 : if ((!conn->cmd_queue_head) ||
630 [ + - ]: 174536 : (conn->cmd_queue_head &&
631 [ + + ]: 174536 : conn->cmd_queue_head->queryclass == PGQUERY_DESCRIBE))
632 : : {
5093 tgl@sss.pgh.pa.us 633 : 44 : conn->asyncStatus = PGASYNC_READY;
634 : 44 : return 0;
635 : : }
636 : :
637 : : /*
638 : : * We could perform additional setup for the new result set here, but for
639 : : * now there's nothing else to do.
640 : : */
641 : :
642 : : /* And we're done. */
4973 643 : 174492 : return 0;
644 : :
5093 tgl@sss.pgh.pa.us 645 :UBC 0 : advance_and_error:
646 : : /* Discard unsaved result, if any */
647 [ # # # # ]: 0 : if (result && result != conn->result)
7149 648 : 0 : PQclear(result);
649 : :
650 : : /*
651 : : * Replace partially constructed result with an error result. First
652 : : * discard the old result to try to win back some memory.
653 : : */
5093 654 : 0 : pqClearAsyncResult(conn);
655 : :
656 : : /*
657 : : * If preceding code didn't provide an error message, assume "out of
658 : : * memory" was meant. The advantage of having this special case is that
659 : : * freeing the old result first greatly improves the odds that gettext()
660 : : * will succeed in providing a translation.
661 : : */
662 [ # # ]: 0 : if (!errmsg)
663 : 0 : errmsg = libpq_gettext("out of memory for query result");
664 : :
1889 665 : 0 : appendPQExpBuffer(&conn->errorMessage, "%s\n", errmsg);
5093 666 : 0 : pqSaveErrorResult(conn);
667 : :
668 : : /*
669 : : * Show the message as fully consumed, else pqParseInput3 will overwrite
670 : : * our error with a complaint about that.
671 : : */
1830 672 : 0 : conn->inCursor = conn->inStart + 5 + msgLength;
673 : :
674 : : /*
675 : : * Return zero to allow input parsing to continue. Subsequent "D"
676 : : * messages will be ignored until we get to end of data, since an error
677 : : * result is already set up.
678 : : */
5093 679 : 0 : return 0;
680 : : }
681 : :
682 : : /*
683 : : * parseInput subroutine to read a 't' (ParameterDescription) message.
684 : : * We'll build a new PGresult structure containing the parameter data.
685 : : * Returns: 0 if processed message successfully, EOF to suspend parsing
686 : : * (the latter case is not actually used currently).
687 : : */
688 : : static int
3744 heikki.linnakangas@i 689 :CBC 49 : getParamDescriptions(PGconn *conn, int msgLength)
690 : : {
691 : : PGresult *result;
3635 tgl@sss.pgh.pa.us 692 : 49 : const char *errmsg = NULL; /* means "out of memory", see below */
693 : : int nparams;
694 : : int i;
695 : :
7149 696 : 49 : result = PQmakeEmptyPGresult(conn, PGRES_COMMAND_OK);
697 [ - + ]: 49 : if (!result)
3744 heikki.linnakangas@i 698 :UBC 0 : goto advance_and_error;
699 : :
700 : : /* parseInput already read the 't' label and message length. */
701 : : /* the next two bytes are the number of parameters */
7149 tgl@sss.pgh.pa.us 702 [ - + ]:CBC 49 : if (pqGetInt(&(result->numParameters), 2, conn))
3744 heikki.linnakangas@i 703 :UBC 0 : goto not_enough_data;
7149 tgl@sss.pgh.pa.us 704 :CBC 49 : nparams = result->numParameters;
705 : :
706 : : /* allocate space for the parameter descriptors */
707 [ + + ]: 49 : if (nparams > 0)
708 : : {
709 : 4 : result->paramDescs = (PGresParamDesc *)
3133 peter_e@gmx.net 710 : 4 : pqResultAlloc(result, nparams * sizeof(PGresParamDesc), true);
7149 tgl@sss.pgh.pa.us 711 [ - + ]: 4 : if (!result->paramDescs)
3744 heikki.linnakangas@i 712 :UBC 0 : goto advance_and_error;
7149 tgl@sss.pgh.pa.us 713 [ + - + + :CBC 7 : MemSet(result->paramDescs, 0, nparams * sizeof(PGresParamDesc));
+ - + - +
+ ]
714 : : }
715 : :
716 : : /* get parameter info */
717 [ + + ]: 56 : for (i = 0; i < nparams; i++)
718 : : {
719 : : int typid;
720 : :
721 [ - + ]: 7 : if (pqGetInt(&typid, 4, conn))
3744 heikki.linnakangas@i 722 :UBC 0 : goto not_enough_data;
7149 tgl@sss.pgh.pa.us 723 :CBC 7 : result->paramDescs[i].typid = typid;
724 : : }
725 : :
726 : : /* Success! */
727 : 49 : conn->result = result;
728 : :
729 : 49 : return 0;
730 : :
3744 heikki.linnakangas@i 731 :UBC 0 : not_enough_data:
1830 tgl@sss.pgh.pa.us 732 : 0 : errmsg = libpq_gettext("insufficient data in \"t\" message");
733 : :
3744 heikki.linnakangas@i 734 : 0 : advance_and_error:
735 : : /* Discard unsaved result, if any */
736 [ # # # # ]: 0 : if (result && result != conn->result)
737 : 0 : PQclear(result);
738 : :
739 : : /*
740 : : * Replace partially constructed result with an error result. First
741 : : * discard the old result to try to win back some memory.
742 : : */
743 : 0 : pqClearAsyncResult(conn);
744 : :
745 : : /*
746 : : * If preceding code didn't provide an error message, assume "out of
747 : : * memory" was meant. The advantage of having this special case is that
748 : : * freeing the old result first greatly improves the odds that gettext()
749 : : * will succeed in providing a translation.
750 : : */
751 [ # # ]: 0 : if (!errmsg)
752 : 0 : errmsg = libpq_gettext("out of memory");
1889 tgl@sss.pgh.pa.us 753 : 0 : appendPQExpBuffer(&conn->errorMessage, "%s\n", errmsg);
3744 heikki.linnakangas@i 754 : 0 : pqSaveErrorResult(conn);
755 : :
756 : : /*
757 : : * Show the message as fully consumed, else pqParseInput3 will overwrite
758 : : * our error with a complaint about that.
759 : : */
1830 tgl@sss.pgh.pa.us 760 : 0 : conn->inCursor = conn->inStart + 5 + msgLength;
761 : :
762 : : /*
763 : : * Return zero to allow input parsing to continue. Essentially, we've
764 : : * replaced the COMMAND_OK result with an error result, but since this
765 : : * doesn't affect the protocol state, it's fine.
766 : : */
3744 heikki.linnakangas@i 767 : 0 : return 0;
768 : : }
769 : :
770 : : /*
771 : : * parseInput subroutine to read a 'D' (row data) message.
772 : : * We fill rowbuf with column pointers and then call the row processor.
773 : : * Returns: 0 if processed message successfully, EOF to suspend parsing
774 : : * (the latter case is not actually used currently).
775 : : */
776 : : static int
8316 tgl@sss.pgh.pa.us 777 :CBC 4836242 : getAnotherTuple(PGconn *conn, int msgLength)
778 : : {
779 : 4836242 : PGresult *result = conn->result;
780 : 4836242 : int nfields = result->numAttributes;
781 : : const char *errmsg;
782 : : PGdataValue *rowbuf;
783 : : int tupnfields; /* # fields from tuple */
784 : : int vlen; /* length of the current field value */
785 : : int i;
786 : :
787 : : /* Get the field count and make sure it's what we expect */
788 [ - + ]: 4836242 : if (pqGetInt(&tupnfields, 2, conn))
789 : : {
790 : : /* We should not run out of data here, so complain */
5093 tgl@sss.pgh.pa.us 791 :UBC 0 : errmsg = libpq_gettext("insufficient data in \"D\" message");
792 : 0 : goto advance_and_error;
793 : : }
794 : :
8316 tgl@sss.pgh.pa.us 795 [ - + ]:CBC 4836242 : if (tupnfields != nfields)
796 : : {
5093 tgl@sss.pgh.pa.us 797 :UBC 0 : errmsg = libpq_gettext("unexpected field count in \"D\" message");
798 : 0 : goto advance_and_error;
799 : : }
800 : :
801 : : /* Resize row buffer if needed */
5093 tgl@sss.pgh.pa.us 802 :CBC 4836242 : rowbuf = conn->rowBuf;
803 [ + + ]: 4836242 : if (nfields > conn->rowBufLen)
804 : : {
805 : 284 : rowbuf = (PGdataValue *) realloc(rowbuf,
806 : : nfields * sizeof(PGdataValue));
807 [ - + ]: 284 : if (!rowbuf)
808 : : {
5093 tgl@sss.pgh.pa.us 809 :UBC 0 : errmsg = NULL; /* means "out of memory", see below */
810 : 0 : goto advance_and_error;
811 : : }
5093 tgl@sss.pgh.pa.us 812 :CBC 284 : conn->rowBuf = rowbuf;
813 : 284 : conn->rowBufLen = nfields;
814 : : }
815 : :
816 : : /* Scan the fields */
8316 817 [ + + ]: 29995291 : for (i = 0; i < nfields; i++)
818 : : {
819 : : /* get the value length */
820 [ - + ]: 25159049 : if (pqGetInt(&vlen, 4, conn))
821 : : {
822 : : /* We should not run out of data here, so complain */
5093 tgl@sss.pgh.pa.us 823 :UBC 0 : errmsg = libpq_gettext("insufficient data in \"D\" message");
824 : 0 : goto advance_and_error;
825 : : }
5093 tgl@sss.pgh.pa.us 826 :CBC 25159049 : rowbuf[i].len = vlen;
827 : :
828 : : /*
829 : : * rowbuf[i].value always points to the next address in the data
830 : : * buffer even if the value is NULL. This allows row processors to
831 : : * estimate data sizes more easily.
832 : : */
833 : 25159049 : rowbuf[i].value = conn->inBuffer + conn->inCursor;
834 : :
835 : : /* Skip over the data value */
8316 836 [ + + ]: 25159049 : if (vlen > 0)
837 : : {
5093 838 [ - + ]: 23735788 : if (pqSkipnchar(vlen, conn))
839 : : {
840 : : /* We should not run out of data here, so complain */
5093 tgl@sss.pgh.pa.us 841 :UBC 0 : errmsg = libpq_gettext("insufficient data in \"D\" message");
842 : 0 : goto advance_and_error;
843 : : }
844 : : }
845 : : }
846 : :
847 : : /* Process the collected row */
5093 tgl@sss.pgh.pa.us 848 :CBC 4836242 : errmsg = NULL;
4973 849 [ + - ]: 4836242 : if (pqRowProcessor(conn, &errmsg))
850 : 4836242 : return 0; /* normal, successful exit */
851 : :
852 : : /* pqRowProcessor failed, fall through to report it */
853 : :
5093 tgl@sss.pgh.pa.us 854 :UBC 0 : advance_and_error:
855 : :
856 : : /*
857 : : * Replace partially constructed result with an error result. First
858 : : * discard the old result to try to win back some memory.
859 : : */
8316 860 : 0 : pqClearAsyncResult(conn);
861 : :
862 : : /*
863 : : * If preceding code didn't provide an error message, assume "out of
864 : : * memory" was meant. The advantage of having this special case is that
865 : : * freeing the old result first greatly improves the odds that gettext()
866 : : * will succeed in providing a translation.
867 : : */
5093 868 [ # # ]: 0 : if (!errmsg)
869 : 0 : errmsg = libpq_gettext("out of memory for query result");
870 : :
1889 871 : 0 : appendPQExpBuffer(&conn->errorMessage, "%s\n", errmsg);
8316 872 : 0 : pqSaveErrorResult(conn);
873 : :
874 : : /*
875 : : * Show the message as fully consumed, else pqParseInput3 will overwrite
876 : : * our error with a complaint about that.
877 : : */
1830 878 : 0 : conn->inCursor = conn->inStart + 5 + msgLength;
879 : :
880 : : /*
881 : : * Return zero to allow input parsing to continue. Subsequent "D"
882 : : * messages will be ignored until we get to end of data, since an error
883 : : * result is already set up.
884 : : */
8316 885 : 0 : return 0;
886 : : }
887 : :
888 : :
889 : : /*
890 : : * Attempt to read an Error or Notice response message.
891 : : * This is possible in several places, so we break it out as a subroutine.
892 : : *
893 : : * Entry: 'E' or 'N' message type and length have already been consumed.
894 : : * Exit: returns 0 if successfully consumed message.
895 : : * returns EOF if not enough data.
896 : : */
897 : : int
8316 tgl@sss.pgh.pa.us 898 :CBC 36204 : pqGetErrorNotice3(PGconn *conn, bool isError)
899 : : {
7581 neilc@samurai.com 900 : 36204 : PGresult *res = NULL;
3633 tgl@sss.pgh.pa.us 901 : 36204 : bool have_position = false;
902 : : PQExpBufferData workBuf;
903 : : char id;
904 : :
905 : : /* If in pipeline mode, set error indicator for it */
1826 alvherre@alvh.no-ip. 906 [ + + + + ]: 36204 : if (isError && conn->pipelineStatus != PQ_PIPELINE_OFF)
907 : 49 : conn->pipelineStatus = PQ_PIPELINE_ABORTED;
908 : :
909 : : /*
910 : : * If this is an error message, pre-emptively clear any incomplete query
911 : : * result we may have. We'd just throw it away below anyway, and
912 : : * releasing it before collecting the error might avoid out-of-memory.
913 : : */
2893 tgl@sss.pgh.pa.us 914 [ + + ]: 36204 : if (isError)
915 : 23309 : pqClearAsyncResult(conn);
916 : :
917 : : /*
918 : : * Since the fields might be pretty long, we create a temporary
919 : : * PQExpBuffer rather than using conn->workBuffer. workBuffer is intended
920 : : * for stuff that is expected to be short. We shouldn't use
921 : : * conn->errorMessage either, since this might be only a notice.
922 : : */
8316 923 : 36204 : initPQExpBuffer(&workBuf);
924 : :
925 : : /*
926 : : * Make a PGresult to hold the accumulated fields. We temporarily lie
927 : : * about the result status, so that PQmakeEmptyPGresult doesn't uselessly
928 : : * copy conn->errorMessage.
929 : : *
930 : : * NB: This allocation can fail, if you run out of memory. The rest of the
931 : : * function handles that gracefully, and we still try to set the error
932 : : * message as the connection's error message.
933 : : */
7581 neilc@samurai.com 934 : 36204 : res = PQmakeEmptyPGresult(conn, PGRES_EMPTY_QUERY);
3904 heikki.linnakangas@i 935 [ + - ]: 36204 : if (res)
936 [ + + ]: 36204 : res->resultStatus = isError ? PGRES_FATAL_ERROR : PGRES_NONFATAL_ERROR;
937 : :
938 : : /*
939 : : * Read the fields and save into res.
940 : : *
941 : : * While at it, save the SQLSTATE in conn->last_sqlstate, and note whether
942 : : * we saw a PG_DIAG_STATEMENT_POSITION field.
943 : : */
944 : : for (;;)
945 : : {
8316 tgl@sss.pgh.pa.us 946 [ - + ]: 319741 : if (pqGetc(&id, conn))
8316 tgl@sss.pgh.pa.us 947 :UBC 0 : goto fail;
8316 tgl@sss.pgh.pa.us 948 [ + + ]:CBC 319741 : if (id == '\0')
949 : 36204 : break; /* terminator found */
950 [ - + ]: 283537 : if (pqGets(&workBuf, conn))
8316 tgl@sss.pgh.pa.us 951 :UBC 0 : goto fail;
8303 tgl@sss.pgh.pa.us 952 :CBC 283537 : pqSaveMessageField(res, id, workBuf.data);
3633 953 [ + + ]: 283537 : if (id == PG_DIAG_SQLSTATE)
954 : 36204 : strlcpy(conn->last_sqlstate, workBuf.data,
955 : : sizeof(conn->last_sqlstate));
956 [ + + ]: 247333 : else if (id == PG_DIAG_STATEMENT_POSITION)
957 : 5691 : have_position = true;
958 : : }
959 : :
960 : : /*
961 : : * Save the active query text, if any, into res as well; but only if we
962 : : * might need it for an error cursor display, which is only true if there
963 : : * is a PG_DIAG_STATEMENT_POSITION field.
964 : : */
1826 alvherre@alvh.no-ip. 965 [ + + + - : 36204 : if (have_position && res && conn->cmd_queue_head && conn->cmd_queue_head->query)
+ - + - ]
966 : 5691 : res->errQuery = pqResultStrdup(res, conn->cmd_queue_head->query);
967 : :
968 : : /*
969 : : * Now build the "overall" error message for PQresultErrorMessage.
970 : : */
8316 tgl@sss.pgh.pa.us 971 : 36204 : resetPQExpBuffer(&workBuf);
3633 972 : 36204 : pqBuildErrorMessage3(&workBuf, res, conn->verbosity, conn->show_context);
973 : :
974 : : /*
975 : : * Either save error as current async result, or just emit the notice.
976 : : */
977 [ + + ]: 36204 : if (isError)
978 : : {
2893 979 : 23309 : pqClearAsyncResult(conn); /* redundant, but be safe */
1486 980 [ + - ]: 23309 : if (res)
981 : : {
982 : 23309 : pqSetResultError(res, &workBuf, 0);
983 : 23309 : conn->result = res;
984 : : }
985 : : else
986 : : {
987 : : /* Fall back to using the internal-error processing paths */
1486 tgl@sss.pgh.pa.us 988 :UBC 0 : conn->error_result = true;
989 : : }
990 : :
3633 tgl@sss.pgh.pa.us 991 [ - + ]:CBC 23309 : if (PQExpBufferDataBroken(workBuf))
1216 peter@eisentraut.org 992 :UBC 0 : libpq_append_conn_error(conn, "out of memory");
993 : : else
3633 tgl@sss.pgh.pa.us 994 :CBC 23309 : appendPQExpBufferStr(&conn->errorMessage, workBuf.data);
995 : : }
996 : : else
997 : : {
998 : : /* if we couldn't allocate the result set, just discard the NOTICE */
999 [ + - ]: 12895 : if (res)
1000 : : {
1001 : : /*
1002 : : * We can cheat a little here and not copy the message. But if we
1003 : : * were unlucky enough to run out of memory while filling workBuf,
1004 : : * insert "out of memory", as in pqSetResultError.
1005 : : */
1690 1006 [ - + ]: 12895 : if (PQExpBufferDataBroken(workBuf))
1690 tgl@sss.pgh.pa.us 1007 :UBC 0 : res->errMsg = libpq_gettext("out of memory\n");
1008 : : else
1690 tgl@sss.pgh.pa.us 1009 :CBC 12895 : res->errMsg = workBuf.data;
3633 1010 [ + - ]: 12895 : if (res->noticeHooks.noticeRec != NULL)
3111 peter_e@gmx.net 1011 : 12895 : res->noticeHooks.noticeRec(res->noticeHooks.noticeRecArg, res);
3633 tgl@sss.pgh.pa.us 1012 : 12895 : PQclear(res);
1013 : : }
1014 : : }
1015 : :
1016 : 36204 : termPQExpBuffer(&workBuf);
1017 : 36204 : return 0;
1018 : :
3633 tgl@sss.pgh.pa.us 1019 :UBC 0 : fail:
1020 : 0 : PQclear(res);
1021 : 0 : termPQExpBuffer(&workBuf);
1022 : 0 : return EOF;
1023 : : }
1024 : :
1025 : : /*
1026 : : * Construct an error message from the fields in the given PGresult,
1027 : : * appending it to the contents of "msg".
1028 : : */
1029 : : void
3633 tgl@sss.pgh.pa.us 1030 :CBC 36207 : pqBuildErrorMessage3(PQExpBuffer msg, const PGresult *res,
1031 : : PGVerbosity verbosity, PGContextVisibility show_context)
1032 : : {
1033 : : const char *val;
1034 : 36207 : const char *querytext = NULL;
1035 : 36207 : int querypos = 0;
1036 : :
1037 : : /* If we couldn't allocate a PGresult, just say "out of memory" */
1038 [ - + ]: 36207 : if (res == NULL)
1039 : : {
2446 drowley@postgresql.o 1040 :UBC 0 : appendPQExpBufferStr(msg, libpq_gettext("out of memory\n"));
3633 tgl@sss.pgh.pa.us 1041 : 0 : return;
1042 : : }
1043 : :
1044 : : /*
1045 : : * If we don't have any broken-down fields, just return the base message.
1046 : : * This mainly applies if we're given a libpq-generated error result.
1047 : : */
3633 tgl@sss.pgh.pa.us 1048 [ - + ]:CBC 36207 : if (res->errFields == NULL)
1049 : : {
3633 tgl@sss.pgh.pa.us 1050 [ # # # # ]:UBC 0 : if (res->errMsg && res->errMsg[0])
1051 : 0 : appendPQExpBufferStr(msg, res->errMsg);
1052 : : else
2446 drowley@postgresql.o 1053 : 0 : appendPQExpBufferStr(msg, libpq_gettext("no error message available\n"));
3633 tgl@sss.pgh.pa.us 1054 : 0 : return;
1055 : : }
1056 : :
1057 : : /* Else build error message from relevant fields */
8236 peter_e@gmx.net 1058 :CBC 36207 : val = PQresultErrorField(res, PG_DIAG_SEVERITY);
8303 tgl@sss.pgh.pa.us 1059 [ + - ]: 36207 : if (val)
3633 1060 : 36207 : appendPQExpBuffer(msg, "%s: ", val);
1061 : :
2537 1062 [ + + ]: 36207 : if (verbosity == PQERRORS_SQLSTATE)
1063 : : {
1064 : : /*
1065 : : * If we have a SQLSTATE, print that and nothing else. If not (which
1066 : : * shouldn't happen for server-generated errors, but might possibly
1067 : : * happen for libpq-generated ones), fall back to TERSE format, as
1068 : : * that seems better than printing nothing at all.
1069 : : */
1070 : 33 : val = PQresultErrorField(res, PG_DIAG_SQLSTATE);
1071 [ + - ]: 33 : if (val)
1072 : : {
1073 : 33 : appendPQExpBuffer(msg, "%s\n", val);
1074 : 33 : return;
1075 : : }
2537 tgl@sss.pgh.pa.us 1076 :UBC 0 : verbosity = PQERRORS_TERSE;
1077 : : }
1078 : :
3633 tgl@sss.pgh.pa.us 1079 [ + + ]:CBC 36174 : if (verbosity == PQERRORS_VERBOSE)
1080 : : {
1081 : 3 : val = PQresultErrorField(res, PG_DIAG_SQLSTATE);
1082 [ + - ]: 3 : if (val)
1083 : 3 : appendPQExpBuffer(msg, "%s: ", val);
1084 : : }
8236 peter_e@gmx.net 1085 : 36174 : val = PQresultErrorField(res, PG_DIAG_MESSAGE_PRIMARY);
8303 tgl@sss.pgh.pa.us 1086 [ + - ]: 36174 : if (val)
3633 1087 : 36174 : appendPQExpBufferStr(msg, val);
8236 peter_e@gmx.net 1088 : 36174 : val = PQresultErrorField(res, PG_DIAG_STATEMENT_POSITION);
8303 tgl@sss.pgh.pa.us 1089 [ + + ]: 36174 : if (val)
1090 : : {
3633 1091 [ + + + - ]: 5691 : if (verbosity != PQERRORS_TERSE && res->errQuery != NULL)
1092 : : {
1093 : : /* emit position as a syntax cursor display */
1094 : 5688 : querytext = res->errQuery;
7306 1095 : 5688 : querypos = atoi(val);
1096 : : }
1097 : : else
1098 : : {
1099 : : /* emit position as text addition to primary message */
1100 : : /* translator: %s represents a digit string */
3633 1101 : 3 : appendPQExpBuffer(msg, libpq_gettext(" at character %s"),
1102 : : val);
1103 : : }
1104 : : }
1105 : : else
1106 : : {
8029 1107 : 30483 : val = PQresultErrorField(res, PG_DIAG_INTERNAL_POSITION);
1108 [ + + ]: 30483 : if (val)
1109 : : {
7306 1110 : 47 : querytext = PQresultErrorField(res, PG_DIAG_INTERNAL_QUERY);
3633 1111 [ + - + - ]: 47 : if (verbosity != PQERRORS_TERSE && querytext != NULL)
1112 : : {
1113 : : /* emit position as a syntax cursor display */
7306 1114 : 47 : querypos = atoi(val);
1115 : : }
1116 : : else
1117 : : {
1118 : : /* emit position as text addition to primary message */
1119 : : /* translator: %s represents a digit string */
3633 tgl@sss.pgh.pa.us 1120 :UBC 0 : appendPQExpBuffer(msg, libpq_gettext(" at character %s"),
1121 : : val);
1122 : : }
1123 : : }
1124 : : }
3633 tgl@sss.pgh.pa.us 1125 :CBC 36174 : appendPQExpBufferChar(msg, '\n');
1126 [ + + ]: 36174 : if (verbosity != PQERRORS_TERSE)
1127 : : {
7306 1128 [ + + + - ]: 35867 : if (querytext && querypos > 0)
3633 1129 : 5735 : reportErrorPosition(msg, querytext, querypos,
1130 : 5735 : res->client_encoding);
8236 peter_e@gmx.net 1131 : 35867 : val = PQresultErrorField(res, PG_DIAG_MESSAGE_DETAIL);
8303 tgl@sss.pgh.pa.us 1132 [ + + ]: 35867 : if (val)
3633 1133 : 6087 : appendPQExpBuffer(msg, libpq_gettext("DETAIL: %s\n"), val);
8236 peter_e@gmx.net 1134 : 35867 : val = PQresultErrorField(res, PG_DIAG_MESSAGE_HINT);
8303 tgl@sss.pgh.pa.us 1135 [ + + ]: 35867 : if (val)
3633 1136 : 2459 : appendPQExpBuffer(msg, libpq_gettext("HINT: %s\n"), val);
8029 1137 : 35867 : val = PQresultErrorField(res, PG_DIAG_INTERNAL_QUERY);
1138 [ + + ]: 35867 : if (val)
3633 1139 : 47 : appendPQExpBuffer(msg, libpq_gettext("QUERY: %s\n"), val);
1140 [ + + + + ]: 35867 : if (show_context == PQSHOW_CONTEXT_ALWAYS ||
1141 : 35702 : (show_context == PQSHOW_CONTEXT_ERRORS &&
1142 [ + + ]: 35702 : res->resultStatus == PGRES_FATAL_ERROR))
1143 : : {
3844 1144 : 23247 : val = PQresultErrorField(res, PG_DIAG_CONTEXT);
1145 [ + + ]: 23247 : if (val)
3633 1146 : 1288 : appendPQExpBuffer(msg, libpq_gettext("CONTEXT: %s\n"),
1147 : : val);
1148 : : }
1149 : : }
1150 [ + + ]: 36174 : if (verbosity == PQERRORS_VERBOSE)
1151 : : {
4793 1152 : 3 : val = PQresultErrorField(res, PG_DIAG_SCHEMA_NAME);
1153 [ - + ]: 3 : if (val)
3633 tgl@sss.pgh.pa.us 1154 :UBC 0 : appendPQExpBuffer(msg,
4793 1155 : 0 : libpq_gettext("SCHEMA NAME: %s\n"), val);
4793 tgl@sss.pgh.pa.us 1156 :CBC 3 : val = PQresultErrorField(res, PG_DIAG_TABLE_NAME);
1157 [ - + ]: 3 : if (val)
3633 tgl@sss.pgh.pa.us 1158 :UBC 0 : appendPQExpBuffer(msg,
4793 1159 : 0 : libpq_gettext("TABLE NAME: %s\n"), val);
4793 tgl@sss.pgh.pa.us 1160 :CBC 3 : val = PQresultErrorField(res, PG_DIAG_COLUMN_NAME);
1161 [ - + ]: 3 : if (val)
3633 tgl@sss.pgh.pa.us 1162 :UBC 0 : appendPQExpBuffer(msg,
4793 1163 : 0 : libpq_gettext("COLUMN NAME: %s\n"), val);
4793 tgl@sss.pgh.pa.us 1164 :CBC 3 : val = PQresultErrorField(res, PG_DIAG_DATATYPE_NAME);
1165 [ - + ]: 3 : if (val)
3633 tgl@sss.pgh.pa.us 1166 :UBC 0 : appendPQExpBuffer(msg,
4793 1167 : 0 : libpq_gettext("DATATYPE NAME: %s\n"), val);
4793 tgl@sss.pgh.pa.us 1168 :CBC 3 : val = PQresultErrorField(res, PG_DIAG_CONSTRAINT_NAME);
1169 [ - + ]: 3 : if (val)
3633 tgl@sss.pgh.pa.us 1170 :UBC 0 : appendPQExpBuffer(msg,
4793 1171 : 0 : libpq_gettext("CONSTRAINT NAME: %s\n"), val);
1172 : : }
3633 tgl@sss.pgh.pa.us 1173 [ + + ]:CBC 36174 : if (verbosity == PQERRORS_VERBOSE)
1174 : : {
1175 : : const char *valf;
1176 : : const char *vall;
1177 : :
8236 peter_e@gmx.net 1178 : 3 : valf = PQresultErrorField(res, PG_DIAG_SOURCE_FILE);
1179 : 3 : vall = PQresultErrorField(res, PG_DIAG_SOURCE_LINE);
1180 : 3 : val = PQresultErrorField(res, PG_DIAG_SOURCE_FUNCTION);
8303 tgl@sss.pgh.pa.us 1181 [ - + - - : 3 : if (val || valf || vall)
- - ]
1182 : : {
3633 1183 : 3 : appendPQExpBufferStr(msg, libpq_gettext("LOCATION: "));
8303 1184 [ + - ]: 3 : if (val)
3633 1185 : 3 : appendPQExpBuffer(msg, libpq_gettext("%s, "), val);
8303 1186 [ + - + - ]: 3 : if (valf && vall) /* unlikely we'd have just one */
3633 1187 : 3 : appendPQExpBuffer(msg, libpq_gettext("%s:%s"),
1188 : : valf, vall);
1189 : 3 : appendPQExpBufferChar(msg, '\n');
1190 : : }
1191 : : }
1192 : : }
1193 : :
1194 : : /*
1195 : : * Add an error-location display to the error message under construction.
1196 : : *
1197 : : * The cursor location is measured in logical characters; the query string
1198 : : * is presumed to be in the specified encoding.
1199 : : */
1200 : : static void
7306 1201 : 5735 : reportErrorPosition(PQExpBuffer msg, const char *query, int loc, int encoding)
1202 : : {
1203 : : #define DISPLAY_SIZE 60 /* screen width limit, in screen cols */
1204 : : #define MIN_RIGHT_CUT 10 /* try to keep this far away from EOL */
1205 : :
1206 : : char *wquery;
1207 : : int slen,
1208 : : cno,
1209 : : i,
1210 : : *qidx,
1211 : : *scridx,
1212 : : qoffset,
1213 : : scroffset,
1214 : : ibeg,
1215 : : iend,
1216 : : loc_line;
1217 : : bool mb_encoding,
1218 : : beg_trunc,
1219 : : end_trunc;
1220 : :
1221 : : /* Convert loc from 1-based to 0-based; no-op if out of range */
7105 1222 : 5735 : loc--;
1223 [ - + ]: 5735 : if (loc < 0)
7105 tgl@sss.pgh.pa.us 1224 :UBC 0 : return;
1225 : :
1226 : : /* Need a writable copy of the query */
7306 tgl@sss.pgh.pa.us 1227 :CBC 5735 : wquery = strdup(query);
1228 [ - + ]: 5735 : if (wquery == NULL)
7306 tgl@sss.pgh.pa.us 1229 :UBC 0 : return; /* fail silently if out of memory */
1230 : :
1231 : : /*
1232 : : * Each character might occupy multiple physical bytes in the string, and
1233 : : * in some Far Eastern character sets it might take more than one screen
1234 : : * column as well. We compute the starting byte offset and starting
1235 : : * screen column of each logical character, and store these in qidx[] and
1236 : : * scridx[] respectively.
1237 : : */
1238 : :
1239 : : /*
1240 : : * We need a safe allocation size.
1241 : : *
1242 : : * The only caller of reportErrorPosition() is pqBuildErrorMessage3(); it
1243 : : * gets its query from either a PQresultErrorField() or a PGcmdQueueEntry,
1244 : : * both of which must have fit into conn->inBuffer/outBuffer. So slen fits
1245 : : * inside an int, but we can't assume that (slen * sizeof(int)) fits
1246 : : * inside a size_t.
1247 : : */
7105 tgl@sss.pgh.pa.us 1248 :CBC 5735 : slen = strlen(wquery) + 1;
125 jchampion@postgresql 1249 [ - + ]: 5735 : if (slen > SIZE_MAX / sizeof(int))
1250 : : {
125 jchampion@postgresql 1251 :UBC 0 : free(wquery);
1252 : 0 : return;
1253 : : }
1254 : :
7306 tgl@sss.pgh.pa.us 1255 :CBC 5735 : qidx = (int *) malloc(slen * sizeof(int));
1256 [ - + ]: 5735 : if (qidx == NULL)
1257 : : {
7306 tgl@sss.pgh.pa.us 1258 :UBC 0 : free(wquery);
1259 : 0 : return;
1260 : : }
7306 tgl@sss.pgh.pa.us 1261 :CBC 5735 : scridx = (int *) malloc(slen * sizeof(int));
1262 [ - + ]: 5735 : if (scridx == NULL)
1263 : : {
7306 tgl@sss.pgh.pa.us 1264 :UBC 0 : free(qidx);
1265 : 0 : free(wquery);
1266 : 0 : return;
1267 : : }
1268 : :
1269 : : /* We can optimize a bit if it's a single-byte encoding */
7105 tgl@sss.pgh.pa.us 1270 :CBC 5735 : mb_encoding = (pg_encoding_max_length(encoding) != 1);
1271 : :
1272 : : /*
1273 : : * Within the scanning loop, cno is the current character's logical
1274 : : * number, qoffset is its offset in wquery, and scroffset is its starting
1275 : : * logical screen column (all indexed from 0). "loc" is the logical
1276 : : * character number of the error location. We scan to determine loc_line
1277 : : * (the 1-based line number containing loc) and ibeg/iend (first character
1278 : : * number and last+1 character number of the line containing loc). Note
1279 : : * that qidx[] and scridx[] are filled only as far as iend.
1280 : : */
7306 1281 : 5735 : qoffset = 0;
1282 : 5735 : scroffset = 0;
7105 1283 : 5735 : loc_line = 1;
1284 : 5735 : ibeg = 0;
1285 : 5735 : iend = -1; /* -1 means not set yet */
1286 : :
1287 [ + + ]: 326644 : for (cno = 0; wquery[qoffset] != '\0'; cno++)
1288 : : {
7102 bruce@momjian.us 1289 : 321548 : char ch = wquery[qoffset];
1290 : :
7105 tgl@sss.pgh.pa.us 1291 : 321548 : qidx[cno] = qoffset;
1292 : 321548 : scridx[cno] = scroffset;
1293 : :
1294 : : /*
1295 : : * Replace tabs with spaces in the writable copy. (Later we might
1296 : : * want to think about coping with their variable screen width, but
1297 : : * not today.)
1298 : : */
1299 [ + + ]: 321548 : if (ch == '\t')
1300 : 489 : wquery[qoffset] = ' ';
1301 : :
1302 : : /*
1303 : : * If end-of-line, count lines and mark positions. Each \r or \n
1304 : : * counts as a line except when \r \n appear together.
1305 : : */
1306 [ + - + + ]: 321059 : else if (ch == '\r' || ch == '\n')
1307 : : {
1308 [ + + ]: 2103 : if (cno < loc)
1309 : : {
1310 [ + - + + ]: 1464 : if (ch == '\r' ||
1311 : 1461 : cno == 0 ||
1312 [ + - ]: 1461 : wquery[qidx[cno - 1]] != '\r')
1313 : 1464 : loc_line++;
1314 : : /* extract beginning = last line start before loc. */
1315 : 1464 : ibeg = cno + 1;
1316 : : }
1317 : : else
1318 : : {
1319 : : /* set extract end. */
1320 : 639 : iend = cno;
1321 : : /* done scanning. */
1322 : 639 : break;
1323 : : }
1324 : : }
1325 : :
1326 : : /* Advance */
1327 [ + + ]: 320909 : if (mb_encoding)
1328 : : {
1329 : : int w;
1330 : :
1331 : 320721 : w = pg_encoding_dsplen(encoding, &wquery[qoffset]);
1332 : : /* treat any non-tab control chars as width 1 */
1333 [ + + ]: 320721 : if (w <= 0)
1334 : 1464 : w = 1;
1335 : 320721 : scroffset += w;
1742 1336 : 320721 : qoffset += PQmblenBounded(&wquery[qoffset], encoding);
1337 : : }
1338 : : else
1339 : : {
1340 : : /* We assume wide chars only exist in multibyte encodings */
7105 1341 : 188 : scroffset++;
1342 : 188 : qoffset++;
1343 : : }
1344 : : }
1345 : : /* Fix up if we didn't find an end-of-line after loc */
1346 [ + + ]: 5735 : if (iend < 0)
1347 : : {
1348 : 5096 : iend = cno; /* query length in chars, +1 */
1349 : 5096 : qidx[iend] = qoffset;
1350 : 5096 : scridx[iend] = scroffset;
1351 : : }
1352 : :
1353 : : /* Print only if loc is within computed query length */
1354 [ + + ]: 5735 : if (loc <= cno)
1355 : : {
1356 : : /* If the line extracted is too long, we truncate it. */
7306 1357 : 5726 : beg_trunc = false;
1358 : 5726 : end_trunc = false;
1359 [ + + ]: 5726 : if (scridx[iend] - scridx[ibeg] > DISPLAY_SIZE)
1360 : : {
1361 : : /*
1362 : : * We first truncate right if it is enough. This code might be
1363 : : * off a space or so on enforcing MIN_RIGHT_CUT if there's a wide
1364 : : * character right there, but that should be okay.
1365 : : */
1366 [ + + ]: 1645 : if (scridx[ibeg] + DISPLAY_SIZE >= scridx[loc] + MIN_RIGHT_CUT)
1367 : : {
1368 [ + + ]: 17282 : while (scridx[iend] - scridx[ibeg] > DISPLAY_SIZE)
1369 : 16299 : iend--;
1370 : 983 : end_trunc = true;
1371 : : }
1372 : : else
1373 : : {
1374 : : /* Truncate right if not too close to loc. */
1375 [ + + ]: 7927 : while (scridx[loc] + MIN_RIGHT_CUT < scridx[iend])
1376 : : {
1377 : 7265 : iend--;
1378 : 7265 : end_trunc = true;
1379 : : }
1380 : :
1381 : : /* Truncate left if still too long. */
1382 [ + + ]: 13422 : while (scridx[iend] - scridx[ibeg] > DISPLAY_SIZE)
1383 : : {
1384 : 12760 : ibeg++;
1385 : 12760 : beg_trunc = true;
1386 : : }
1387 : : }
1388 : : }
1389 : :
1390 : : /* truncate working copy at desired endpoint */
1391 : 5726 : wquery[qidx[iend]] = '\0';
1392 : :
1393 : : /* Begin building the finished message. */
1394 : 5726 : i = msg->len;
1395 : 5726 : appendPQExpBuffer(msg, libpq_gettext("LINE %d: "), loc_line);
1396 [ + + ]: 5726 : if (beg_trunc)
1397 : 662 : appendPQExpBufferStr(msg, "...");
1398 : :
1399 : : /*
1400 : : * While we have the prefix in the msg buffer, compute its screen
1401 : : * width.
1402 : : */
1403 : 5726 : scroffset = 0;
1742 1404 [ + + ]: 53526 : for (; i < msg->len; i += PQmblenBounded(&msg->data[i], encoding))
1405 : : {
7102 bruce@momjian.us 1406 : 47800 : int w = pg_encoding_dsplen(encoding, &msg->data[i]);
1407 : :
7306 tgl@sss.pgh.pa.us 1408 [ - + ]: 47800 : if (w <= 0)
7306 tgl@sss.pgh.pa.us 1409 :UBC 0 : w = 1;
7306 tgl@sss.pgh.pa.us 1410 :CBC 47800 : scroffset += w;
1411 : : }
1412 : :
1413 : : /* Finish up the LINE message line. */
1414 : 5726 : appendPQExpBufferStr(msg, &wquery[qidx[ibeg]]);
1415 [ + + ]: 5726 : if (end_trunc)
1416 : 1463 : appendPQExpBufferStr(msg, "...");
1417 : 5726 : appendPQExpBufferChar(msg, '\n');
1418 : :
1419 : : /* Now emit the cursor marker line. */
1420 : 5726 : scroffset += scridx[loc] - scridx[ibeg];
1421 [ + + ]: 183999 : for (i = 0; i < scroffset; i++)
1422 : 178273 : appendPQExpBufferChar(msg, ' ');
1423 : 5726 : appendPQExpBufferChar(msg, '^');
1424 : 5726 : appendPQExpBufferChar(msg, '\n');
1425 : : }
1426 : :
1427 : : /* Clean up. */
1428 : 5735 : free(scridx);
1429 : 5735 : free(qidx);
1430 : 5735 : free(wquery);
1431 : : }
1432 : :
1433 : :
1434 : : /*
1435 : : * Attempt to read a NegotiateProtocolVersion message. Sets conn->pversion
1436 : : * to the version that's negotiated by the server.
1437 : : *
1438 : : * Entry: 'v' message type and length have already been consumed.
1439 : : * Exit: returns 0 if successfully consumed message.
1440 : : * returns 1 on failure. The error message is filled in.
1441 : : */
1442 : : int
1214 peter@eisentraut.org 1443 :GBC 14580 : pqGetNegotiateProtocolVersion3(PGconn *conn)
1444 : : {
1445 : : int their_version;
1446 : : int num;
1447 : : bool found_test_protocol_negotiation;
1448 : : bool expect_test_protocol_negotiation;
1449 : :
1450 : : /*
1451 : : * During 19beta only, if protocol grease is in use, assume that it's the
1452 : : * cause of any invalid messages encountered below. We'll print extra
1453 : : * information for the end user in that case.
1454 : : */
20 jchampion@postgresql 1455 :GNC 14580 : bool need_grease_info = (conn->max_pversion == PG_PROTOCOL_GREASE);
1456 : :
347 heikki.linnakangas@i 1457 [ - + ]:GBC 14580 : if (pqGetInt(&their_version, 4, conn) != 0)
347 heikki.linnakangas@i 1458 :UBC 0 : goto eof;
1459 : :
1214 peter@eisentraut.org 1460 [ - + ]:GBC 14580 : if (pqGetInt(&num, 4, conn) != 0)
347 heikki.linnakangas@i 1461 :UBC 0 : goto eof;
1462 : :
1463 : : /*
1464 : : * Check the protocol version.
1465 : : *
1466 : : * PG_PROTOCOL_GREASE is intentionally unsupported and reserved. It's
1467 : : * higher than any real version, so check for that first, to get the most
1468 : : * specific error message. Then check the upper and lower bounds.
1469 : : */
37 jchampion@postgresql 1470 [ - + ]:GNC 14580 : if (their_version == PG_PROTOCOL_GREASE)
1471 : : {
37 jchampion@postgresql 1472 :UNC 0 : libpq_append_conn_error(conn, "received invalid protocol negotiation message: server requested \"grease\" protocol version 3.9999");
1473 : 0 : goto failure;
1474 : : }
1475 : :
347 heikki.linnakangas@i 1476 [ - + ]:GBC 14580 : if (their_version > conn->pversion)
1477 : : {
347 heikki.linnakangas@i 1478 :UBC 0 : libpq_append_conn_error(conn, "received invalid protocol negotiation message: server requested downgrade to a higher-numbered version");
1479 : 0 : goto failure;
1480 : : }
1481 : :
347 heikki.linnakangas@i 1482 [ - + ]:GBC 14580 : if (their_version < PG_PROTOCOL(3, 0))
1483 : : {
347 heikki.linnakangas@i 1484 :UBC 0 : libpq_append_conn_error(conn, "received invalid protocol negotiation message: server requested downgrade to pre-3.0 protocol version");
1485 : 0 : goto failure;
1486 : : }
1487 : :
1488 : : /* 3.1 never existed, we went straight from 3.0 to 3.2 */
51 jchampion@postgresql 1489 [ - + ]:GNC 14580 : if (their_version == PG_PROTOCOL_RESERVED_31)
1490 : : {
262 peter@eisentraut.org 1491 :UBC 0 : libpq_append_conn_error(conn, "received invalid protocol negotiation message: server requested downgrade to non-existent 3.1 protocol version");
347 heikki.linnakangas@i 1492 : 0 : goto failure;
1493 : : }
1494 : :
347 heikki.linnakangas@i 1495 [ - + ]:GBC 14580 : if (num < 0)
1496 : : {
347 heikki.linnakangas@i 1497 :UBC 0 : libpq_append_conn_error(conn, "received invalid protocol negotiation message: server reported negative number of unsupported parameters");
1498 : 0 : goto failure;
1499 : : }
1500 : :
347 heikki.linnakangas@i 1501 [ - + - - ]:GBC 14580 : if (their_version == conn->pversion && num == 0)
1502 : : {
347 heikki.linnakangas@i 1503 :UBC 0 : libpq_append_conn_error(conn, "received invalid protocol negotiation message: server negotiated but asks for no changes");
1504 : 0 : goto failure;
1505 : : }
1506 : :
347 heikki.linnakangas@i 1507 [ - + ]:GBC 14580 : if (their_version < conn->min_pversion)
1508 : : {
262 peter@eisentraut.org 1509 :UBC 0 : libpq_append_conn_error(conn, "server only supports protocol version %d.%d, but \"%s\" was set to %d.%d",
1510 : : PG_PROTOCOL_MAJOR(their_version),
1511 : : PG_PROTOCOL_MINOR(their_version),
1512 : : "min_protocol_version",
347 heikki.linnakangas@i 1513 : 0 : PG_PROTOCOL_MAJOR(conn->min_pversion),
1514 : 0 : PG_PROTOCOL_MINOR(conn->min_pversion));
1515 : :
20 jchampion@postgresql 1516 :UNC 0 : need_grease_info = false; /* this is valid server behavior */
347 heikki.linnakangas@i 1517 :UBC 0 : goto failure;
1518 : : }
1519 : :
1520 : : /* the version is acceptable */
347 heikki.linnakangas@i 1521 :GBC 14580 : conn->pversion = their_version;
1522 : :
1523 : : /*
1524 : : * Check that all expected unsupported parameters are reported by the
1525 : : * server.
1526 : : */
20 jchampion@postgresql 1527 :GNC 14580 : found_test_protocol_negotiation = false;
1528 : 14580 : expect_test_protocol_negotiation = (conn->max_pversion == PG_PROTOCOL_GREASE);
1529 : :
347 heikki.linnakangas@i 1530 [ + + ]:GBC 29160 : for (int i = 0; i < num; i++)
1531 : : {
1532 [ - + ]: 14580 : if (pqGets(&conn->workBuffer, conn))
1533 : : {
347 heikki.linnakangas@i 1534 :UBC 0 : goto eof;
1535 : : }
347 heikki.linnakangas@i 1536 [ - + ]:GBC 14580 : if (strncmp(conn->workBuffer.data, "_pq_.", 5) != 0)
1537 : : {
262 peter@eisentraut.org 1538 :UBC 0 : libpq_append_conn_error(conn, "received invalid protocol negotiation message: server reported unsupported parameter name without a \"%s\" prefix (\"%s\")", "_pq_.", conn->workBuffer.data);
347 heikki.linnakangas@i 1539 : 0 : goto failure;
1540 : : }
1541 : :
1542 : : /* Check if this is the expected test parameter */
20 jchampion@postgresql 1543 [ + - ]:GNC 14580 : if (expect_test_protocol_negotiation &&
1544 [ + - ]: 14580 : strcmp(conn->workBuffer.data, "_pq_.test_protocol_negotiation") == 0)
1545 : : {
1546 : 14580 : found_test_protocol_negotiation = true;
1547 : : }
1548 : : else
1549 : : {
20 jchampion@postgresql 1550 :UNC 0 : libpq_append_conn_error(conn, "received invalid protocol negotiation message: server reported an unsupported parameter that was not requested (\"%s\")",
1551 : : conn->workBuffer.data);
1552 : 0 : goto failure;
1553 : : }
1554 : : }
1555 : :
1556 : : /*
1557 : : * If we requested protocol grease, the server must report
1558 : : * _pq_.test_protocol_negotiation as unsupported. This ensures
1559 : : * comprehensive NegotiateProtocolVersion implementation.
1560 : : */
20 jchampion@postgresql 1561 [ + - - + ]:GNC 14580 : if (expect_test_protocol_negotiation && !found_test_protocol_negotiation)
1562 : : {
20 jchampion@postgresql 1563 :UNC 0 : libpq_append_conn_error(conn, "server did not report the unsupported `_pq_.test_protocol_negotiation` parameter in its protocol negotiation message");
347 heikki.linnakangas@i 1564 :UBC 0 : goto failure;
1565 : : }
1566 : :
1214 peter@eisentraut.org 1567 :GBC 14580 : return 0;
1568 : :
347 heikki.linnakangas@i 1569 :UBC 0 : eof:
330 michael@paquier.xyz 1570 : 0 : libpq_append_conn_error(conn, "received invalid protocol negotiation message: message too short");
347 heikki.linnakangas@i 1571 : 0 : failure:
20 jchampion@postgresql 1572 [ # # ]:UNC 0 : if (need_grease_info)
1573 : 0 : libpq_append_grease_info(conn);
347 heikki.linnakangas@i 1574 :UBC 0 : conn->asyncStatus = PGASYNC_READY;
1575 : 0 : pqSaveErrorResult(conn);
1576 : 0 : return 1;
1577 : : }
1578 : :
1579 : :
1580 : : /*
1581 : : * Attempt to read a ParameterStatus message.
1582 : : * This is possible in several places, so we break it out as a subroutine.
1583 : : *
1584 : : * Entry: 'S' message type and length have already been consumed.
1585 : : * Exit: returns 0 if successfully consumed message.
1586 : : * returns EOF if not enough data.
1587 : : */
1588 : : static int
8316 tgl@sss.pgh.pa.us 1589 :CBC 219924 : getParameterStatus(PGconn *conn)
1590 : : {
1591 : : PQExpBufferData valueBuf;
1592 : :
1593 : : /* Get the parameter name */
1594 [ - + ]: 219924 : if (pqGets(&conn->workBuffer, conn))
8316 tgl@sss.pgh.pa.us 1595 :UBC 0 : return EOF;
1596 : : /* Get the parameter value (could be large) */
8316 tgl@sss.pgh.pa.us 1597 :CBC 219924 : initPQExpBuffer(&valueBuf);
1598 [ - + ]: 219924 : if (pqGets(&valueBuf, conn))
1599 : : {
8316 tgl@sss.pgh.pa.us 1600 :UBC 0 : termPQExpBuffer(&valueBuf);
1601 : 0 : return EOF;
1602 : : }
1603 : : /* And save it */
205 heikki.linnakangas@i 1604 [ - + ]:CBC 219924 : if (!pqSaveParameterStatus(conn, conn->workBuffer.data, valueBuf.data))
1605 : : {
205 heikki.linnakangas@i 1606 :UBC 0 : libpq_append_conn_error(conn, "out of memory");
1607 : 0 : handleFatalError(conn);
1608 : : }
8316 tgl@sss.pgh.pa.us 1609 :CBC 219924 : termPQExpBuffer(&valueBuf);
1610 : 219924 : return 0;
1611 : : }
1612 : :
1613 : : /*
1614 : : * parseInput subroutine to read a BackendKeyData message.
1615 : : * Entry: 'v' message type and length have already been consumed.
1616 : : * Exit: returns 0 if successfully consumed message.
1617 : : * returns EOF if not enough data.
1618 : : */
1619 : : static int
347 heikki.linnakangas@i 1620 : 14157 : getBackendKeyData(PGconn *conn, int msgLength)
1621 : : {
1622 : : int cancel_key_len;
1623 : :
1624 [ - + ]: 14157 : if (conn->be_cancel_key)
1625 : : {
347 heikki.linnakangas@i 1626 :UBC 0 : free(conn->be_cancel_key);
1627 : 0 : conn->be_cancel_key = NULL;
1628 : 0 : conn->be_cancel_key_len = 0;
1629 : : }
1630 : :
347 heikki.linnakangas@i 1631 [ - + ]:CBC 14157 : if (pqGetInt(&(conn->be_pid), 4, conn))
347 heikki.linnakangas@i 1632 :UBC 0 : return EOF;
1633 : :
347 heikki.linnakangas@i 1634 :CBC 14157 : cancel_key_len = 5 + msgLength - (conn->inCursor - conn->inStart);
1635 : :
205 1636 [ + + - + ]: 14157 : if (cancel_key_len != 4 && conn->pversion == PG_PROTOCOL(3, 0))
1637 : : {
205 heikki.linnakangas@i 1638 :UBC 0 : libpq_append_conn_error(conn, "received invalid BackendKeyData message: cancel key with length %d not allowed in protocol version 3.0 (must be 4 bytes)", cancel_key_len);
1639 : 0 : handleFatalError(conn);
1640 : 0 : return 0;
1641 : : }
1642 : :
205 heikki.linnakangas@i 1643 [ - + ]:CBC 14157 : if (cancel_key_len < 4)
1644 : : {
205 heikki.linnakangas@i 1645 :UBC 0 : libpq_append_conn_error(conn, "received invalid BackendKeyData message: cancel key with length %d is too short (minimum 4 bytes)", cancel_key_len);
1646 : 0 : handleFatalError(conn);
1647 : 0 : return 0;
1648 : : }
1649 : :
205 heikki.linnakangas@i 1650 [ - + ]:CBC 14157 : if (cancel_key_len > 256)
1651 : : {
205 heikki.linnakangas@i 1652 :UBC 0 : libpq_append_conn_error(conn, "received invalid BackendKeyData message: cancel key with length %d is too long (maximum 256 bytes)", cancel_key_len);
1653 : 0 : handleFatalError(conn);
1654 : 0 : return 0;
1655 : : }
1656 : :
347 heikki.linnakangas@i 1657 :CBC 14157 : conn->be_cancel_key = malloc(cancel_key_len);
1658 [ - + ]: 14157 : if (conn->be_cancel_key == NULL)
1659 : : {
347 heikki.linnakangas@i 1660 :UBC 0 : libpq_append_conn_error(conn, "out of memory");
205 1661 : 0 : handleFatalError(conn);
1662 : 0 : return 0;
1663 : : }
347 heikki.linnakangas@i 1664 [ - + ]:CBC 14157 : if (pqGetnchar(conn->be_cancel_key, cancel_key_len, conn))
1665 : : {
347 heikki.linnakangas@i 1666 :UBC 0 : free(conn->be_cancel_key);
1667 : 0 : conn->be_cancel_key = NULL;
1668 : 0 : return EOF;
1669 : : }
347 heikki.linnakangas@i 1670 :CBC 14157 : conn->be_cancel_key_len = cancel_key_len;
1671 : 14157 : return 0;
1672 : : }
1673 : :
1674 : :
1675 : : /*
1676 : : * Attempt to read a Notify response message.
1677 : : * This is possible in several places, so we break it out as a subroutine.
1678 : : *
1679 : : * Entry: 'A' message type and length have already been consumed.
1680 : : * Exit: returns 0 if successfully consumed Notify message.
1681 : : * returns EOF if not enough data.
1682 : : */
1683 : : static int
8316 tgl@sss.pgh.pa.us 1684 : 55 : getNotify(PGconn *conn)
1685 : : {
1686 : : int be_pid;
1687 : : char *svname;
1688 : : int nmlen;
1689 : : int extralen;
1690 : : PGnotify *newNotify;
1691 : :
1692 [ - + ]: 55 : if (pqGetInt(&be_pid, 4, conn))
8316 tgl@sss.pgh.pa.us 1693 :UBC 0 : return EOF;
8316 tgl@sss.pgh.pa.us 1694 [ - + ]:CBC 55 : if (pqGets(&conn->workBuffer, conn))
8316 tgl@sss.pgh.pa.us 1695 :UBC 0 : return EOF;
1696 : : /* must save name while getting extra string */
8303 tgl@sss.pgh.pa.us 1697 :CBC 55 : svname = strdup(conn->workBuffer.data);
1698 [ - + ]: 55 : if (!svname)
1699 : : {
1700 : : /*
1701 : : * Notify messages can arrive at any state, so we cannot associate the
1702 : : * error with any particular query. There's no way to return back an
1703 : : * "async error", so the best we can do is drop the connection. That
1704 : : * seems better than silently ignoring the notification.
1705 : : */
205 heikki.linnakangas@i 1706 :UBC 0 : libpq_append_conn_error(conn, "out of memory");
1707 : 0 : handleFatalError(conn);
1708 : 0 : return 0;
1709 : : }
8303 tgl@sss.pgh.pa.us 1710 [ - + ]:CBC 55 : if (pqGets(&conn->workBuffer, conn))
1711 : : {
205 heikki.linnakangas@i 1712 :UBC 0 : free(svname);
8303 tgl@sss.pgh.pa.us 1713 : 0 : return EOF;
1714 : : }
1715 : :
1716 : : /*
1717 : : * Store the strings right after the PGnotify structure so it can all be
1718 : : * freed at once. We don't use NAMEDATALEN because we don't want to tie
1719 : : * this interface to a specific server name length.
1720 : : */
8303 tgl@sss.pgh.pa.us 1721 :CBC 55 : nmlen = strlen(svname);
1722 : 55 : extralen = strlen(conn->workBuffer.data);
1723 : 55 : newNotify = (PGnotify *) malloc(sizeof(PGnotify) + nmlen + extralen + 2);
205 heikki.linnakangas@i 1724 [ - + ]: 55 : if (!newNotify)
1725 : : {
205 heikki.linnakangas@i 1726 :UBC 0 : free(svname);
1727 : 0 : libpq_append_conn_error(conn, "out of memory");
1728 : 0 : handleFatalError(conn);
1729 : 0 : return 0;
1730 : : }
1731 : :
205 heikki.linnakangas@i 1732 :CBC 55 : newNotify->relname = (char *) newNotify + sizeof(PGnotify);
1733 : 55 : strcpy(newNotify->relname, svname);
1734 : 55 : newNotify->extra = newNotify->relname + nmlen + 1;
1735 : 55 : strcpy(newNotify->extra, conn->workBuffer.data);
1736 : 55 : newNotify->be_pid = be_pid;
1737 : 55 : newNotify->next = NULL;
1738 [ + + ]: 55 : if (conn->notifyTail)
1739 : 30 : conn->notifyTail->next = newNotify;
1740 : : else
1741 : 25 : conn->notifyHead = newNotify;
1742 : 55 : conn->notifyTail = newNotify;
1743 : :
8303 tgl@sss.pgh.pa.us 1744 : 55 : free(svname);
1745 : 55 : return 0;
1746 : : }
1747 : :
1748 : : /*
1749 : : * getCopyStart - process CopyInResponse, CopyOutResponse or
1750 : : * CopyBothResponse message
1751 : : *
1752 : : * parseInput already read the message type and length.
1753 : : */
1754 : : static int
1755 : 6251 : getCopyStart(PGconn *conn, ExecStatusType copytype)
1756 : : {
1757 : : PGresult *result;
1758 : : int nfields;
1759 : : int i;
1760 : :
1761 : 6251 : result = PQmakeEmptyPGresult(conn, copytype);
7581 neilc@samurai.com 1762 [ - + ]: 6251 : if (!result)
7581 neilc@samurai.com 1763 :UBC 0 : goto failure;
1764 : :
8303 tgl@sss.pgh.pa.us 1765 [ - + ]:CBC 6251 : if (pqGetc(&conn->copy_is_binary, conn))
7581 neilc@samurai.com 1766 :UBC 0 : goto failure;
8303 tgl@sss.pgh.pa.us 1767 :CBC 6251 : result->binary = conn->copy_is_binary;
1768 : : /* the next two bytes are the number of fields */
1769 [ - + ]: 6251 : if (pqGetInt(&(result->numAttributes), 2, conn))
7581 neilc@samurai.com 1770 :UBC 0 : goto failure;
8303 tgl@sss.pgh.pa.us 1771 :CBC 6251 : nfields = result->numAttributes;
1772 : :
1773 : : /* allocate space for the attribute descriptors */
1774 [ + + ]: 6251 : if (nfields > 0)
1775 : : {
1776 : 5178 : result->attDescs = (PGresAttDesc *)
3133 peter_e@gmx.net 1777 : 5178 : pqResultAlloc(result, nfields * sizeof(PGresAttDesc), true);
7581 neilc@samurai.com 1778 [ - + ]: 5178 : if (!result->attDescs)
7581 neilc@samurai.com 1779 :UBC 0 : goto failure;
7581 neilc@samurai.com 1780 [ + - + - :CBC 56374 : MemSet(result->attDescs, 0, nfields * sizeof(PGresAttDesc));
+ - + + +
+ ]
1781 : : }
1782 : :
8303 tgl@sss.pgh.pa.us 1783 [ + + ]: 23856 : for (i = 0; i < nfields; i++)
1784 : : {
1785 : : int format;
1786 : :
1787 [ - + ]: 17605 : if (pqGetInt(&format, 2, conn))
7581 neilc@samurai.com 1788 :UBC 0 : goto failure;
1789 : :
1790 : : /*
1791 : : * Since pqGetInt treats 2-byte integers as unsigned, we need to
1792 : : * coerce these results to signed form.
1793 : : */
8303 tgl@sss.pgh.pa.us 1794 :CBC 17605 : format = (int) ((int16) format);
1795 : 17605 : result->attDescs[i].format = format;
1796 : : }
1797 : :
1798 : : /* Success! */
1799 : 6251 : conn->result = result;
8316 1800 : 6251 : return 0;
1801 : :
7581 neilc@samurai.com 1802 :UBC 0 : failure:
1803 : 0 : PQclear(result);
1804 : 0 : return EOF;
1805 : : }
1806 : :
1807 : : /*
1808 : : * getReadyForQuery - process ReadyForQuery message
1809 : : */
1810 : : static int
8303 tgl@sss.pgh.pa.us 1811 :CBC 354295 : getReadyForQuery(PGconn *conn)
1812 : : {
1813 : : char xact_status;
1814 : :
1815 [ - + ]: 354295 : if (pqGetc(&xact_status, conn))
8303 tgl@sss.pgh.pa.us 1816 :UBC 0 : return EOF;
8303 tgl@sss.pgh.pa.us 1817 [ + + + - ]:CBC 354295 : switch (xact_status)
1818 : : {
1819 : 261705 : case 'I':
1820 : 261705 : conn->xactStatus = PQTRANS_IDLE;
1821 : 261705 : break;
1822 : 91651 : case 'T':
1823 : 91651 : conn->xactStatus = PQTRANS_INTRANS;
1824 : 91651 : break;
1825 : 939 : case 'E':
1826 : 939 : conn->xactStatus = PQTRANS_INERROR;
1827 : 939 : break;
8303 tgl@sss.pgh.pa.us 1828 :UBC 0 : default:
1829 : 0 : conn->xactStatus = PQTRANS_UNKNOWN;
1830 : 0 : break;
1831 : : }
1832 : :
8303 tgl@sss.pgh.pa.us 1833 :CBC 354295 : return 0;
1834 : : }
1835 : :
1836 : : /*
1837 : : * getCopyDataMessage - fetch next CopyData message, process async messages
1838 : : *
1839 : : * Returns length word of CopyData message (> 0), or 0 if no complete
1840 : : * message available, -1 if end of copy, -2 if error.
1841 : : */
1842 : : static int
6635 1843 : 2878083 : getCopyDataMessage(PGconn *conn)
1844 : : {
1845 : : char id;
1846 : : int msgLength;
1847 : : int avail;
1848 : :
1849 : : for (;;)
1850 : : {
1851 : : /*
1852 : : * Do we have the next input message? To make life simpler for async
1853 : : * callers, we keep returning 0 until the next message is fully
1854 : : * available, even if it is not Copy Data.
1855 : : */
8303 1856 : 2878117 : conn->inCursor = conn->inStart;
1857 [ + + ]: 2878117 : if (pqGetc(&id, conn))
6635 1858 : 163297 : return 0;
8303 1859 [ + + ]: 2714820 : if (pqGetInt(&msgLength, 4, conn))
6635 1860 : 790 : return 0;
1861 [ - + ]: 2714030 : if (msgLength < 4)
1862 : : {
6635 tgl@sss.pgh.pa.us 1863 :UBC 0 : handleSyncLoss(conn, id, msgLength);
1864 : 0 : return -2;
1865 : : }
8303 tgl@sss.pgh.pa.us 1866 :CBC 2714030 : avail = conn->inEnd - conn->inCursor;
1867 [ + + ]: 2714030 : if (avail < msgLength - 4)
1868 : : {
1869 : : /*
1870 : : * Before returning, enlarge the input buffer if needed to hold
1871 : : * the whole message. See notes in parseInput.
1872 : : */
6499 1873 [ - + ]: 212338 : if (pqCheckInBufferSpace(conn->inCursor + (size_t) msgLength - 4,
1874 : : conn))
1875 : : {
1876 : : /*
1877 : : * Abandon the connection. There's not much else we can
1878 : : * safely do; we can't just ignore the message or we could
1879 : : * miss important changes to the connection state.
1880 : : * pqCheckInBufferSpace() already reported the error.
1881 : : */
205 heikki.linnakangas@i 1882 :UBC 0 : handleFatalError(conn);
6632 tgl@sss.pgh.pa.us 1883 : 0 : return -2;
1884 : : }
6635 tgl@sss.pgh.pa.us 1885 :CBC 212338 : return 0;
1886 : : }
1887 : :
1888 : : /*
1889 : : * If it's a legitimate async message type, process it. (NOTIFY
1890 : : * messages are not currently possible here, but we handle them for
1891 : : * completeness.) Otherwise, if it's anything except Copy Data,
1892 : : * report end-of-copy.
1893 : : */
1894 [ - + - + : 2501692 : switch (id)
+ + ]
1895 : : {
936 nathan@postgresql.or 1896 :UBC 0 : case PqMsg_NotificationResponse:
6635 tgl@sss.pgh.pa.us 1897 [ # # ]: 0 : if (getNotify(conn))
1898 : 0 : return 0;
1899 : 0 : break;
936 nathan@postgresql.or 1900 :CBC 34 : case PqMsg_NoticeResponse:
6635 tgl@sss.pgh.pa.us 1901 [ - + ]: 34 : if (pqGetErrorNotice3(conn, false))
6635 tgl@sss.pgh.pa.us 1902 :UBC 0 : return 0;
6635 tgl@sss.pgh.pa.us 1903 :CBC 34 : break;
936 nathan@postgresql.or 1904 :UBC 0 : case PqMsg_ParameterStatus:
6635 tgl@sss.pgh.pa.us 1905 [ # # ]: 0 : if (getParameterStatus(conn))
1906 : 0 : return 0;
1907 : 0 : break;
936 nathan@postgresql.or 1908 :CBC 2496509 : case PqMsg_CopyData:
6635 tgl@sss.pgh.pa.us 1909 : 2496509 : return msgLength;
936 nathan@postgresql.or 1910 : 5093 : case PqMsg_CopyDone:
1911 : :
1912 : : /*
1913 : : * If this is a CopyDone message, exit COPY_OUT mode and let
1914 : : * caller read status with PQgetResult(). If we're in
1915 : : * COPY_BOTH mode, return to COPY_IN mode.
1916 : : */
4703 rhaas@postgresql.org 1917 [ + + ]: 5093 : if (conn->asyncStatus == PGASYNC_COPY_BOTH)
1918 : 13 : conn->asyncStatus = PGASYNC_COPY_IN;
1919 : : else
1920 : 5080 : conn->asyncStatus = PGASYNC_BUSY;
1921 : 5093 : return -1;
6635 tgl@sss.pgh.pa.us 1922 : 56 : default: /* treat as end of copy */
1923 : :
1924 : : /*
1925 : : * Any other message terminates either COPY_IN or COPY_BOTH
1926 : : * mode.
1927 : : */
4703 rhaas@postgresql.org 1928 : 56 : conn->asyncStatus = PGASYNC_BUSY;
6635 tgl@sss.pgh.pa.us 1929 : 56 : return -1;
1930 : : }
1931 : :
1932 : : /* Drop the processed message and loop around for another */
576 alvherre@alvh.no-ip. 1933 : 34 : pqParseDone(conn, conn->inCursor);
1934 : : }
1935 : : }
1936 : :
1937 : : /*
1938 : : * PQgetCopyData - read a row of data from the backend during COPY OUT
1939 : : * or COPY BOTH
1940 : : *
1941 : : * If successful, sets *buffer to point to a malloc'd row of data, and
1942 : : * returns row length (always > 0) as result.
1943 : : * Returns 0 if no row available yet (only possible if async is true),
1944 : : * -1 if end of copy (consult PQgetResult), or -2 if error (consult
1945 : : * PQerrorMessage).
1946 : : */
1947 : : int
6635 tgl@sss.pgh.pa.us 1948 : 2764050 : pqGetCopyData3(PGconn *conn, char **buffer, int async)
1949 : : {
1950 : : int msgLength;
1951 : :
1952 : : for (;;)
1953 : : {
1954 : : /*
1955 : : * Collect the next input message. To make life simpler for async
1956 : : * callers, we keep returning 0 until the next message is fully
1957 : : * available, even if it is not Copy Data.
1958 : : */
1959 : 2878083 : msgLength = getCopyDataMessage(conn);
1960 [ + + ]: 2878083 : if (msgLength < 0)
6121 bruce@momjian.us 1961 : 5149 : return msgLength; /* end-of-copy or error */
6635 tgl@sss.pgh.pa.us 1962 [ + + ]: 2872934 : if (msgLength == 0)
1963 : : {
1964 : : /* Don't block if async read requested */
1965 [ + + ]: 376425 : if (async)
1966 : 262392 : return 0;
1967 : : /* Need to load more data */
3133 peter_e@gmx.net 1968 [ + - - + ]: 228066 : if (pqWait(true, false, conn) ||
6635 tgl@sss.pgh.pa.us 1969 : 114033 : pqReadData(conn) < 0)
6635 tgl@sss.pgh.pa.us 1970 :UBC 0 : return -2;
6635 tgl@sss.pgh.pa.us 1971 :CBC 114033 : continue;
1972 : : }
1973 : :
1974 : : /*
1975 : : * Drop zero-length messages (shouldn't happen anyway). Otherwise
1976 : : * pass the data back to the caller.
1977 : : */
8303 1978 : 2496509 : msgLength -= 4;
1979 [ + - ]: 2496509 : if (msgLength > 0)
1980 : : {
1981 : 2496509 : *buffer = (char *) malloc(msgLength + 1);
1982 [ - + ]: 2496509 : if (*buffer == NULL)
1983 : : {
1216 peter@eisentraut.org 1984 :UBC 0 : libpq_append_conn_error(conn, "out of memory");
8303 tgl@sss.pgh.pa.us 1985 : 0 : return -2;
1986 : : }
8303 tgl@sss.pgh.pa.us 1987 :CBC 2496509 : memcpy(*buffer, &conn->inBuffer[conn->inCursor], msgLength);
3189 1988 : 2496509 : (*buffer)[msgLength] = '\0'; /* Add terminating null */
1989 : :
1990 : : /* Mark message consumed */
576 alvherre@alvh.no-ip. 1991 : 2496509 : pqParseDone(conn, conn->inCursor + msgLength);
1992 : :
8303 tgl@sss.pgh.pa.us 1993 : 2496509 : return msgLength;
1994 : : }
1995 : :
1996 : : /* Empty, so drop it and loop around for another */
576 alvherre@alvh.no-ip. 1997 :UBC 0 : pqParseDone(conn, conn->inCursor);
1998 : : }
1999 : : }
2000 : :
2001 : : /*
2002 : : * PQgetline - gets a newline-terminated string from the backend.
2003 : : *
2004 : : * See fe-exec.c for documentation.
2005 : : */
2006 : : int
8316 tgl@sss.pgh.pa.us 2007 : 0 : pqGetline3(PGconn *conn, char *s, int maxlen)
2008 : : {
2009 : : int status;
2010 : :
4351 bruce@momjian.us 2011 [ # # ]: 0 : if (conn->sock == PGINVALID_SOCKET ||
4706 rhaas@postgresql.org 2012 [ # # ]: 0 : (conn->asyncStatus != PGASYNC_COPY_OUT &&
2013 [ # # ]: 0 : conn->asyncStatus != PGASYNC_COPY_BOTH) ||
8316 tgl@sss.pgh.pa.us 2014 [ # # ]: 0 : conn->copy_is_binary)
2015 : : {
1216 peter@eisentraut.org 2016 : 0 : libpq_append_conn_error(conn, "PQgetline: not doing text COPY OUT");
8316 tgl@sss.pgh.pa.us 2017 : 0 : *s = '\0';
2018 : 0 : return EOF;
2019 : : }
2020 : :
8259 bruce@momjian.us 2021 [ # # ]: 0 : while ((status = PQgetlineAsync(conn, s, maxlen - 1)) == 0)
2022 : : {
2023 : : /* need to load more data */
3133 peter_e@gmx.net 2024 [ # # # # ]: 0 : if (pqWait(true, false, conn) ||
8316 tgl@sss.pgh.pa.us 2025 : 0 : pqReadData(conn) < 0)
2026 : : {
2027 : 0 : *s = '\0';
2028 : 0 : return EOF;
2029 : : }
2030 : : }
2031 : :
2032 [ # # ]: 0 : if (status < 0)
2033 : : {
2034 : : /* End of copy detected; gin up old-style terminator */
2035 : 0 : strcpy(s, "\\.");
2036 : 0 : return 0;
2037 : : }
2038 : :
2039 : : /* Add null terminator, and strip trailing \n if present */
8259 bruce@momjian.us 2040 [ # # ]: 0 : if (s[status - 1] == '\n')
2041 : : {
2042 : 0 : s[status - 1] = '\0';
8316 tgl@sss.pgh.pa.us 2043 : 0 : return 0;
2044 : : }
2045 : : else
2046 : : {
2047 : 0 : s[status] = '\0';
2048 : 0 : return 1;
2049 : : }
2050 : : }
2051 : :
2052 : : /*
2053 : : * PQgetlineAsync - gets a COPY data row without blocking.
2054 : : *
2055 : : * See fe-exec.c for documentation.
2056 : : */
2057 : : int
2058 : 0 : pqGetlineAsync3(PGconn *conn, char *buffer, int bufsize)
2059 : : {
2060 : : int msgLength;
2061 : : int avail;
2062 : :
4706 rhaas@postgresql.org 2063 [ # # ]: 0 : if (conn->asyncStatus != PGASYNC_COPY_OUT
2064 [ # # ]: 0 : && conn->asyncStatus != PGASYNC_COPY_BOTH)
8316 tgl@sss.pgh.pa.us 2065 : 0 : return -1; /* we are not doing a copy... */
2066 : :
2067 : : /*
2068 : : * Recognize the next input message. To make life simpler for async
2069 : : * callers, we keep returning 0 until the next message is fully available
2070 : : * even if it is not Copy Data. This should keep PQendcopy from blocking.
2071 : : * (Note: unlike pqGetCopyData3, we do not change asyncStatus here.)
2072 : : */
6635 2073 : 0 : msgLength = getCopyDataMessage(conn);
2074 [ # # ]: 0 : if (msgLength < 0)
2075 : 0 : return -1; /* end-of-copy or error */
2076 [ # # ]: 0 : if (msgLength == 0)
2077 : 0 : return 0; /* no data yet */
2078 : :
2079 : : /*
2080 : : * Move data from libpq's buffer to the caller's. In the case where a
2081 : : * prior call found the caller's buffer too small, we use
2082 : : * conn->copy_already_done to remember how much of the row was already
2083 : : * returned to the caller.
2084 : : */
8316 2085 : 0 : conn->inCursor += conn->copy_already_done;
2086 : 0 : avail = msgLength - 4 - conn->copy_already_done;
2087 [ # # ]: 0 : if (avail <= bufsize)
2088 : : {
2089 : : /* Able to consume the whole message */
2090 : 0 : memcpy(buffer, &conn->inBuffer[conn->inCursor], avail);
2091 : : /* Mark message consumed */
2092 : 0 : conn->inStart = conn->inCursor + avail;
2093 : : /* Reset state for next time */
2094 : 0 : conn->copy_already_done = 0;
2095 : 0 : return avail;
2096 : : }
2097 : : else
2098 : : {
2099 : : /* We must return a partial message */
2100 : 0 : memcpy(buffer, &conn->inBuffer[conn->inCursor], bufsize);
2101 : : /* The message is NOT consumed from libpq's buffer */
2102 : 0 : conn->copy_already_done += bufsize;
2103 : 0 : return bufsize;
2104 : : }
2105 : : }
2106 : :
2107 : : /*
2108 : : * PQendcopy
2109 : : *
2110 : : * See fe-exec.c for documentation.
2111 : : */
2112 : : int
8316 tgl@sss.pgh.pa.us 2113 :CBC 200 : pqEndcopy3(PGconn *conn)
2114 : : {
2115 : : PGresult *result;
2116 : :
2117 [ + + ]: 200 : if (conn->asyncStatus != PGASYNC_COPY_IN &&
4706 rhaas@postgresql.org 2118 [ - + ]: 193 : conn->asyncStatus != PGASYNC_COPY_OUT &&
4706 rhaas@postgresql.org 2119 [ # # ]:UBC 0 : conn->asyncStatus != PGASYNC_COPY_BOTH)
2120 : : {
1216 peter@eisentraut.org 2121 : 0 : libpq_append_conn_error(conn, "no COPY in progress");
8316 tgl@sss.pgh.pa.us 2122 : 0 : return 1;
2123 : : }
2124 : :
2125 : : /* Send the CopyDone message if needed */
4706 rhaas@postgresql.org 2126 [ + + ]:CBC 200 : if (conn->asyncStatus == PGASYNC_COPY_IN ||
2127 [ - + ]: 193 : conn->asyncStatus == PGASYNC_COPY_BOTH)
2128 : : {
936 nathan@postgresql.or 2129 [ + - - + ]: 14 : if (pqPutMsgStart(PqMsg_CopyDone, conn) < 0 ||
8316 tgl@sss.pgh.pa.us 2130 : 7 : pqPutMsgEnd(conn) < 0)
8316 tgl@sss.pgh.pa.us 2131 :UBC 0 : return 1;
2132 : :
2133 : : /*
2134 : : * If we sent the COPY command in extended-query mode, we must issue a
2135 : : * Sync as well.
2136 : : */
1826 alvherre@alvh.no-ip. 2137 [ + - ]:CBC 7 : if (conn->cmd_queue_head &&
2138 [ - + ]: 7 : conn->cmd_queue_head->queryclass != PGQUERY_SIMPLE)
2139 : : {
936 nathan@postgresql.or 2140 [ # # # # ]:UBC 0 : if (pqPutMsgStart(PqMsg_Sync, conn) < 0 ||
8250 tgl@sss.pgh.pa.us 2141 : 0 : pqPutMsgEnd(conn) < 0)
2142 : 0 : return 1;
2143 : : }
2144 : : }
2145 : :
2146 : : /*
2147 : : * make sure no data is waiting to be sent, abort if we are non-blocking
2148 : : * and the flush fails
2149 : : */
8316 tgl@sss.pgh.pa.us 2150 [ - + - - ]:CBC 200 : if (pqFlush(conn) && pqIsnonblocking(conn))
7368 neilc@samurai.com 2151 :UBC 0 : return 1;
2152 : :
2153 : : /* Return to active duty */
8316 tgl@sss.pgh.pa.us 2154 :CBC 200 : conn->asyncStatus = PGASYNC_BUSY;
2155 : :
2156 : : /*
2157 : : * Non blocking connections may have to abort at this point. If everyone
2158 : : * played the game there should be no problem, but in error scenarios the
2159 : : * expected messages may not have arrived yet. (We are assuming that the
2160 : : * backend's packetizing will ensure that CommandComplete arrives along
2161 : : * with the CopyDone; are there corner cases where that doesn't happen?)
2162 : : */
2163 [ - + - - ]: 200 : if (pqIsnonblocking(conn) && PQisBusy(conn))
7368 neilc@samurai.com 2164 :UBC 0 : return 1;
2165 : :
2166 : : /* Wait for the completion response */
8316 tgl@sss.pgh.pa.us 2167 :CBC 200 : result = PQgetResult(conn);
2168 : :
2169 : : /* Expecting a successful result */
2170 [ + - + - ]: 200 : if (result && result->resultStatus == PGRES_COMMAND_OK)
2171 : : {
2172 : 200 : PQclear(result);
2173 : 200 : return 0;
2174 : : }
2175 : :
2176 : : /*
2177 : : * Trouble. For backwards-compatibility reasons, we issue the error
2178 : : * message as if it were a notice (would be nice to get rid of this
2179 : : * silliness, but too many apps probably don't handle errors from
2180 : : * PQendcopy reasonably). Note that the app can still obtain the error
2181 : : * status from the PGconn object.
2182 : : */
8316 tgl@sss.pgh.pa.us 2183 [ # # ]:UBC 0 : if (conn->errorMessage.len > 0)
2184 : : {
2185 : : /* We have to strip the trailing newline ... pain in neck... */
8259 bruce@momjian.us 2186 : 0 : char svLast = conn->errorMessage.data[conn->errorMessage.len - 1];
2187 : :
8303 tgl@sss.pgh.pa.us 2188 [ # # ]: 0 : if (svLast == '\n')
8259 bruce@momjian.us 2189 : 0 : conn->errorMessage.data[conn->errorMessage.len - 1] = '\0';
8301 tgl@sss.pgh.pa.us 2190 : 0 : pqInternalNotice(&conn->noticeHooks, "%s", conn->errorMessage.data);
8259 bruce@momjian.us 2191 : 0 : conn->errorMessage.data[conn->errorMessage.len - 1] = svLast;
2192 : : }
2193 : :
8316 tgl@sss.pgh.pa.us 2194 : 0 : PQclear(result);
2195 : :
2196 : 0 : return 1;
2197 : : }
2198 : :
2199 : :
2200 : : /*
2201 : : * PQfn - Send a function call to the POSTGRES backend.
2202 : : *
2203 : : * See fe-exec.c for documentation.
2204 : : */
2205 : : PGresult *
8316 tgl@sss.pgh.pa.us 2206 :CBC 1082 : pqFunctionCall3(PGconn *conn, Oid fnid,
2207 : : int *result_buf, int *actual_result_len,
2208 : : int result_is_int,
2209 : : const PQArgBlock *args, int nargs)
2210 : : {
2211 : 1082 : bool needInput = false;
2212 : 1082 : ExecStatusType status = PGRES_FATAL_ERROR;
2213 : : char id;
2214 : : int msgLength;
2215 : : int avail;
2216 : : int i;
2217 : :
2218 : : /* already validated by PQfn */
1826 alvherre@alvh.no-ip. 2219 [ - + ]: 1082 : Assert(conn->pipelineStatus == PQ_PIPELINE_OFF);
2220 : :
2221 : : /* PQfn already validated connection state */
2222 : :
936 nathan@postgresql.or 2223 [ + - + - ]: 2164 : if (pqPutMsgStart(PqMsg_FunctionCall, conn) < 0 ||
8259 bruce@momjian.us 2224 [ + - ]: 2164 : pqPutInt(fnid, 4, conn) < 0 || /* function id */
3189 tgl@sss.pgh.pa.us 2225 [ + - ]: 2164 : pqPutInt(1, 2, conn) < 0 || /* # of format codes */
2226 [ - + ]: 2164 : pqPutInt(1, 2, conn) < 0 || /* format code: BINARY */
8259 bruce@momjian.us 2227 : 1082 : pqPutInt(nargs, 2, conn) < 0) /* # of args */
2228 : : {
2229 : : /* error message should be set up already */
8316 tgl@sss.pgh.pa.us 2230 :UBC 0 : return NULL;
2231 : : }
2232 : :
8316 tgl@sss.pgh.pa.us 2233 [ + + ]:CBC 3133 : for (i = 0; i < nargs; ++i)
2234 : : { /* len.int4 + contents */
2235 [ - + ]: 2051 : if (pqPutInt(args[i].len, 4, conn))
8316 tgl@sss.pgh.pa.us 2236 :UBC 0 : return NULL;
8316 tgl@sss.pgh.pa.us 2237 [ - + ]:CBC 2051 : if (args[i].len == -1)
8316 tgl@sss.pgh.pa.us 2238 :UBC 0 : continue; /* it's NULL */
2239 : :
8316 tgl@sss.pgh.pa.us 2240 [ + + ]:CBC 2051 : if (args[i].isint)
2241 : : {
2242 [ - + ]: 1558 : if (pqPutInt(args[i].u.integer, args[i].len, conn))
8316 tgl@sss.pgh.pa.us 2243 :UBC 0 : return NULL;
2244 : : }
2245 : : else
2246 : : {
311 heikki.linnakangas@i 2247 [ - + ]:CBC 493 : if (pqPutnchar(args[i].u.ptr, args[i].len, conn))
8316 tgl@sss.pgh.pa.us 2248 :UBC 0 : return NULL;
2249 : : }
2250 : : }
2251 : :
3189 tgl@sss.pgh.pa.us 2252 [ - + ]:CBC 1082 : if (pqPutInt(1, 2, conn) < 0) /* result format code: BINARY */
8316 tgl@sss.pgh.pa.us 2253 :UBC 0 : return NULL;
2254 : :
8316 tgl@sss.pgh.pa.us 2255 [ + - + - ]:CBC 2164 : if (pqPutMsgEnd(conn) < 0 ||
2256 : 1082 : pqFlush(conn))
8316 tgl@sss.pgh.pa.us 2257 :UBC 0 : return NULL;
2258 : :
2259 : : for (;;)
2260 : : {
8316 tgl@sss.pgh.pa.us 2261 [ + + ]:CBC 3347 : if (needInput)
2262 : : {
2263 : : /* Wait for some data to arrive (or for the channel to close) */
3133 peter_e@gmx.net 2264 [ + - + - ]: 2366 : if (pqWait(true, false, conn) ||
8316 tgl@sss.pgh.pa.us 2265 : 1183 : pqReadData(conn) < 0)
2266 : : break;
2267 : : }
2268 : :
2269 : : /*
2270 : : * Scan the message. If we run out of data, loop around to try again.
2271 : : */
2272 : 3347 : needInput = true;
2273 : :
2274 : 3347 : conn->inCursor = conn->inStart;
2275 [ + + ]: 3347 : if (pqGetc(&id, conn))
2276 : 1082 : continue;
2277 [ - + ]: 2265 : if (pqGetInt(&msgLength, 4, conn))
8316 tgl@sss.pgh.pa.us 2278 :UBC 0 : continue;
2279 : :
2280 : : /*
2281 : : * Try to validate message type/length here. A length less than 4 is
2282 : : * definitely broken. Large lengths should only be believed for a few
2283 : : * message types.
2284 : : */
8316 tgl@sss.pgh.pa.us 2285 [ - + ]:CBC 2265 : if (msgLength < 4)
2286 : : {
8316 tgl@sss.pgh.pa.us 2287 :UBC 0 : handleSyncLoss(conn, id, msgLength);
2288 : 0 : break;
2289 : : }
8113 tgl@sss.pgh.pa.us 2290 [ - + - - :CBC 2265 : if (msgLength > 30000 && !VALID_LONG_MESSAGE_TYPE(id))
- - - - -
- - - - -
- - ]
2291 : : {
8316 tgl@sss.pgh.pa.us 2292 :UBC 0 : handleSyncLoss(conn, id, msgLength);
2293 : 0 : break;
2294 : : }
2295 : :
2296 : : /*
2297 : : * Can't process if message body isn't all here yet.
2298 : : */
8316 tgl@sss.pgh.pa.us 2299 :CBC 2265 : msgLength -= 4;
2300 : 2265 : avail = conn->inEnd - conn->inCursor;
2301 [ + + ]: 2265 : if (avail < msgLength)
2302 : : {
2303 : : /*
2304 : : * Before looping, enlarge the input buffer if needed to hold the
2305 : : * whole message. See notes in parseInput.
2306 : : */
6499 2307 [ - + ]: 101 : if (pqCheckInBufferSpace(conn->inCursor + (size_t) msgLength,
2308 : : conn))
2309 : : {
2310 : : /*
2311 : : * Abandon the connection. There's not much else we can
2312 : : * safely do; we can't just ignore the message or we could
2313 : : * miss important changes to the connection state.
2314 : : * pqCheckInBufferSpace() already reported the error.
2315 : : */
205 heikki.linnakangas@i 2316 :UBC 0 : handleFatalError(conn);
8316 tgl@sss.pgh.pa.us 2317 : 0 : break;
2318 : : }
8316 tgl@sss.pgh.pa.us 2319 :CBC 101 : continue;
2320 : : }
2321 : :
2322 : : /*
2323 : : * We should see V or E response to the command, but might get N
2324 : : * and/or A notices first. We also need to swallow the final Z before
2325 : : * returning.
2326 : : */
2327 [ + - - - : 2164 : switch (id)
+ - - ]
2328 : : {
202 nathan@postgresql.or 2329 :GNC 1082 : case PqMsg_FunctionCallResponse:
8316 tgl@sss.pgh.pa.us 2330 [ - + ]:CBC 1082 : if (pqGetInt(actual_result_len, 4, conn))
8316 tgl@sss.pgh.pa.us 2331 :UBC 0 : continue;
8316 tgl@sss.pgh.pa.us 2332 [ + - ]:CBC 1082 : if (*actual_result_len != -1)
2333 : : {
2334 [ + + ]: 1082 : if (result_is_int)
2335 : : {
2336 [ - + ]: 700 : if (pqGetInt(result_buf, *actual_result_len, conn))
8316 tgl@sss.pgh.pa.us 2337 :UBC 0 : continue;
2338 : : }
2339 : : else
2340 : : {
311 heikki.linnakangas@i 2341 [ - + ]:CBC 382 : if (pqGetnchar(result_buf,
8316 tgl@sss.pgh.pa.us 2342 : 382 : *actual_result_len,
2343 : : conn))
8316 tgl@sss.pgh.pa.us 2344 :UBC 0 : continue;
2345 : : }
2346 : : }
2347 : : /* correctly finished function result message */
8316 tgl@sss.pgh.pa.us 2348 :CBC 1082 : status = PGRES_COMMAND_OK;
2349 : 1082 : break;
202 nathan@postgresql.or 2350 :UNC 0 : case PqMsg_ErrorResponse:
8316 tgl@sss.pgh.pa.us 2351 [ # # ]:UBC 0 : if (pqGetErrorNotice3(conn, true))
2352 : 0 : continue;
2353 : 0 : status = PGRES_FATAL_ERROR;
2354 : 0 : break;
202 nathan@postgresql.or 2355 :UNC 0 : case PqMsg_NotificationResponse:
2356 : : /* handle notify and go back to processing return values */
8316 tgl@sss.pgh.pa.us 2357 [ # # ]:UBC 0 : if (getNotify(conn))
2358 : 0 : continue;
2359 : 0 : break;
202 nathan@postgresql.or 2360 :UNC 0 : case PqMsg_NoticeResponse:
2361 : : /* handle notice and go back to processing return values */
8316 tgl@sss.pgh.pa.us 2362 [ # # ]:UBC 0 : if (pqGetErrorNotice3(conn, false))
2363 : 0 : continue;
2364 : 0 : break;
202 nathan@postgresql.or 2365 :GNC 1082 : case PqMsg_ReadyForQuery:
8303 tgl@sss.pgh.pa.us 2366 [ - + ]:CBC 1082 : if (getReadyForQuery(conn))
8316 tgl@sss.pgh.pa.us 2367 :UBC 0 : continue;
2368 : :
2369 : : /* consume the message */
576 alvherre@alvh.no-ip. 2370 :CBC 1082 : pqParseDone(conn, conn->inStart + 5 + msgLength);
2371 : :
2372 : : /*
2373 : : * If we already have a result object (probably an error), use
2374 : : * that. Otherwise, if we saw a function result message,
2375 : : * report COMMAND_OK. Otherwise, the backend violated the
2376 : : * protocol, so complain.
2377 : : */
1424 tgl@sss.pgh.pa.us 2378 [ + - + - ]: 1082 : if (!pgHavePendingResult(conn))
2379 : : {
1486 2380 [ + - ]: 1082 : if (status == PGRES_COMMAND_OK)
2381 : : {
2382 : 1082 : conn->result = PQmakeEmptyPGresult(conn, status);
2383 [ - + ]: 1082 : if (!conn->result)
2384 : : {
1216 peter@eisentraut.org 2385 :UBC 0 : libpq_append_conn_error(conn, "out of memory");
1486 tgl@sss.pgh.pa.us 2386 : 0 : pqSaveErrorResult(conn);
2387 : : }
2388 : : }
2389 : : else
2390 : : {
1216 peter@eisentraut.org 2391 : 0 : libpq_append_conn_error(conn, "protocol error: no function result");
1486 tgl@sss.pgh.pa.us 2392 : 0 : pqSaveErrorResult(conn);
2393 : : }
2394 : : }
2395 : : /* and we're out */
1486 tgl@sss.pgh.pa.us 2396 :CBC 1082 : return pqPrepareAsyncResult(conn);
202 nathan@postgresql.or 2397 :UNC 0 : case PqMsg_ParameterStatus:
8316 tgl@sss.pgh.pa.us 2398 [ # # ]:UBC 0 : if (getParameterStatus(conn))
2399 : 0 : continue;
2400 : 0 : break;
2401 : 0 : default:
2402 : : /* The backend violates the protocol. */
1216 peter@eisentraut.org 2403 : 0 : libpq_append_conn_error(conn, "protocol error: id=0x%x", id);
8316 tgl@sss.pgh.pa.us 2404 : 0 : pqSaveErrorResult(conn);
2405 : :
2406 : : /*
2407 : : * We can't call parsing done due to the protocol violation
2408 : : * (so message tracing wouldn't work), but trust the specified
2409 : : * message length as what to skip.
2410 : : */
2411 : 0 : conn->inStart += 5 + msgLength;
2412 : 0 : return pqPrepareAsyncResult(conn);
2413 : : }
2414 : :
2415 : : /* Completed parsing this message, keep going */
576 alvherre@alvh.no-ip. 2416 :CBC 1082 : pqParseDone(conn, conn->inStart + 5 + msgLength);
8316 tgl@sss.pgh.pa.us 2417 : 1082 : needInput = false;
2418 : : }
2419 : :
2420 : : /*
2421 : : * We fall out of the loop only upon failing to read data.
2422 : : * conn->errorMessage has been set by pqWait or pqReadData. We want to
2423 : : * append it to any already-received error message.
2424 : : */
8316 tgl@sss.pgh.pa.us 2425 :UBC 0 : pqSaveErrorResult(conn);
2426 : 0 : return pqPrepareAsyncResult(conn);
2427 : : }
2428 : :
2429 : :
2430 : : /*
2431 : : * Construct startup packet
2432 : : *
2433 : : * Returns a malloc'd packet buffer, or NULL if out of memory
2434 : : */
2435 : : char *
8316 tgl@sss.pgh.pa.us 2436 :CBC 14672 : pqBuildStartupPacket3(PGconn *conn, int *packetlen,
2437 : : const PQEnvironmentOption *options)
2438 : : {
2439 : : char *startpacket;
2440 : : size_t len;
2441 : :
125 jchampion@postgresql 2442 : 14672 : len = build_startup_packet(conn, NULL, options);
2443 [ + - - + ]: 14672 : if (len == 0 || len > INT_MAX)
125 jchampion@postgresql 2444 :UBC 0 : return NULL;
2445 : :
125 jchampion@postgresql 2446 :CBC 14672 : *packetlen = len;
8316 tgl@sss.pgh.pa.us 2447 : 14672 : startpacket = (char *) malloc(*packetlen);
2448 [ - + ]: 14672 : if (!startpacket)
8316 tgl@sss.pgh.pa.us 2449 :UBC 0 : return NULL;
2450 : :
125 jchampion@postgresql 2451 :CBC 14672 : len = build_startup_packet(conn, startpacket, options);
2452 [ - + ]: 14672 : Assert(*packetlen == len);
2453 : :
8316 tgl@sss.pgh.pa.us 2454 : 14672 : return startpacket;
2455 : : }
2456 : :
2457 : : /*
2458 : : * Build a startup packet given a filled-in PGconn structure.
2459 : : *
2460 : : * We need to figure out how much space is needed, then fill it in.
2461 : : * To avoid duplicate logic, this routine is called twice: the first time
2462 : : * (with packet == NULL) just counts the space needed, the second time
2463 : : * (with packet == allocated space) fills it in. Return value is the number
2464 : : * of bytes used, or zero in the unlikely event of size_t overflow.
2465 : : */
2466 : : static size_t
2467 : 29344 : build_startup_packet(const PGconn *conn, char *packet,
2468 : : const PQEnvironmentOption *options)
2469 : : {
125 jchampion@postgresql 2470 : 29344 : size_t packet_len = 0;
2471 : : const PQEnvironmentOption *next_eo;
2472 : : const char *val;
2473 : :
2474 : : /* Protocol version comes first. */
8316 tgl@sss.pgh.pa.us 2475 [ + + ]: 29344 : if (packet)
2476 : : {
3087 andres@anarazel.de 2477 : 14672 : ProtocolVersion pv = pg_hton32(conn->pversion);
2478 : :
8316 tgl@sss.pgh.pa.us 2479 : 14672 : memcpy(packet + packet_len, &pv, sizeof(ProtocolVersion));
2480 : : }
2481 : 29344 : packet_len += sizeof(ProtocolVersion);
2482 : :
2483 : : /* Add user name, database name, options */
2484 : :
2485 : : #define ADD_STARTUP_OPTION(optname, optval) \
2486 : : do { \
2487 : : if (packet) \
2488 : : strcpy(packet + packet_len, optname); \
2489 : : if (pg_add_size_overflow(packet_len, strlen(optname) + 1, &packet_len)) \
2490 : : return 0; \
2491 : : if (packet) \
2492 : : strcpy(packet + packet_len, optval); \
2493 : : if (pg_add_size_overflow(packet_len, strlen(optval) + 1, &packet_len)) \
2494 : : return 0; \
2495 : : } while(0)
2496 : :
2497 [ + - + - ]: 29344 : if (conn->pguser && conn->pguser[0])
5947 2498 [ + + - + : 29344 : ADD_STARTUP_OPTION("user", conn->pguser);
+ + - + ]
8316 2499 [ + - + - ]: 29344 : if (conn->dbName && conn->dbName[0])
5947 2500 [ + + - + : 29344 : ADD_STARTUP_OPTION("database", conn->dbName);
+ + - + ]
5800 magnus@hagander.net 2501 [ + + + + ]: 29344 : if (conn->replication && conn->replication[0])
5903 heikki.linnakangas@i 2502 [ + + - + : 3242 : ADD_STARTUP_OPTION("replication", conn->replication);
+ + - + ]
8316 tgl@sss.pgh.pa.us 2503 [ + - + + ]: 29344 : if (conn->pgoptions && conn->pgoptions[0])
5947 2504 [ + + - + : 8072 : ADD_STARTUP_OPTION("options", conn->pgoptions);
+ + - + ]
2505 [ + - ]: 29344 : if (conn->send_appname)
2506 : : {
2507 : : /* Use appname if present, otherwise use fallback */
2508 [ + + ]: 29344 : val = conn->appname ? conn->appname : conn->fbappname;
2509 [ + + + - ]: 29344 : if (val && val[0])
2510 [ + + - + : 29330 : ADD_STARTUP_OPTION("application_name", val);
+ + - + ]
2511 : : }
2512 : :
5503 peter_e@gmx.net 2513 [ + + + - ]: 29344 : if (conn->client_encoding_initial && conn->client_encoding_initial[0])
2514 [ + + - + : 1802 : ADD_STARTUP_OPTION("client_encoding", conn->client_encoding_initial);
+ + - + ]
2515 : :
2516 : : /*
2517 : : * Add the test_protocol_negotiation option when greasing, to test that
2518 : : * servers properly report unsupported protocol options in addition to
2519 : : * unsupported minor versions.
2520 : : */
20 jchampion@postgresql 2521 [ + + ]:GNC 29344 : if (conn->pversion == PG_PROTOCOL_GREASE)
2522 [ + + - + : 29176 : ADD_STARTUP_OPTION("_pq_.test_protocol_negotiation", "");
+ + - + ]
2523 : :
2524 : : /* Add any environment-driven GUC settings needed */
8316 tgl@sss.pgh.pa.us 2525 [ + + ]:CBC 117376 : for (next_eo = options; next_eo->envName; next_eo++)
2526 : : {
2527 [ + + ]: 88032 : if ((val = getenv(next_eo->envName)) != NULL)
2528 : : {
7982 2529 [ + - ]: 9588 : if (pg_strcasecmp(val, "default") != 0)
5947 2530 [ + + - + : 9588 : ADD_STARTUP_OPTION(next_eo->pgName, val);
+ + - + ]
2531 : : }
2532 : : }
2533 : :
2534 : : /* Add trailing terminator */
8316 2535 [ + + ]: 29344 : if (packet)
2536 : 14672 : packet[packet_len] = '\0';
111 jchampion@postgresql 2537 [ - + ]:GNC 29344 : if (pg_add_size_overflow(packet_len, 1, &packet_len))
125 jchampion@postgresql 2538 :UBC 0 : return 0;
2539 : :
8316 tgl@sss.pgh.pa.us 2540 :CBC 29344 : return packet_len;
2541 : : }
|
