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