From: imeevma@tarantool.org To: korablev@tarantool.org Cc: tarantool-patches@freelists.org Subject: [tarantool-patches] [PATCH v1 12/12] sql: use diag_set() to set an error in SQL functions Date: Sun, 5 May 2019 15:17:24 +0300 [thread overview] Message-ID: <5af3532d78b6d509d8e76ff97e45a6e3b9eb2369.1557056617.git.imeevma@gmail.com> (raw) In-Reply-To: <cover.1557056617.git.imeevma@gmail.com> After this patch, all errors in the SQL functions will be set using diag_set(). Closes #4074 --- src/box/lua/lua_sql.c | 13 +++-- src/box/sql/analyze.c | 6 +-- src/box/sql/func.c | 104 ++++++++++++++++++---------------------- src/box/sql/sqlInt.h | 13 ----- src/box/sql/vdbe.c | 34 +++---------- src/box/sql/vdbeInt.h | 28 ++--------- src/box/sql/vdbeapi.c | 129 +++++--------------------------------------------- src/box/sql/vdbeaux.c | 46 ------------------ src/box/sql/vdbemem.c | 9 ++-- 9 files changed, 84 insertions(+), 298 deletions(-) diff --git a/src/box/lua/lua_sql.c b/src/box/lua/lua_sql.c index d28045a..afe4732 100644 --- a/src/box/lua/lua_sql.c +++ b/src/box/lua/lua_sql.c @@ -77,13 +77,15 @@ lua_sql_call(sql_context *pCtx, int nVal, sql_value **apVal) { lua_pushboolean(L, sql_value_boolean(param)); break; default: - sql_result_error(pCtx, "Unsupported type passed " - "to Lua", -1); + diag_set(ClientError, ER_SQL_EXECUTE, "Unsupported "\ + "type passed to Lua"); + pCtx->is_error = true; goto error; } } if (lua_pcall(L, lua_gettop(L) - 1, 1, 0) != 0){ - sql_result_error(pCtx, lua_tostring(L, -1), -1); + diag_set(ClientError, ER_SQL_EXECUTE, lua_tostring(L, -1)); + pCtx->is_error = true; goto error; } switch(lua_type(L, -1)) { @@ -101,8 +103,9 @@ lua_sql_call(sql_context *pCtx, int nVal, sql_value **apVal) { sql_result_null(pCtx); break; default: - sql_result_error(pCtx, "Unsupported type returned from Lua", - -1); + diag_set(ClientError, ER_SQL_EXECUTE, "Unsupported type "\ + "passed from Lua"); + pCtx->is_error = true; goto error; } error: diff --git a/src/box/sql/analyze.c b/src/box/sql/analyze.c index 0c02050..46ea10e 100644 --- a/src/box/sql/analyze.c +++ b/src/box/sql/analyze.c @@ -298,7 +298,7 @@ statInit(sql_context * context, int argc, sql_value ** argv) db = sql_context_db_handle(context); p = sqlDbMallocZero(db, n); if (p == 0) { - sql_result_error_nomem(context); + context->is_error = true; return; } @@ -669,7 +669,7 @@ statGet(sql_context * context, int argc, sql_value ** argv) char *zRet = sqlMallocZero((p->nKeyCol + 1) * 25); if (zRet == 0) { - sql_result_error_nomem(context); + context->is_error = true; return; } @@ -715,7 +715,7 @@ statGet(sql_context * context, int argc, sql_value ** argv) char *zRet = sqlMallocZero(p->nCol * 25); if (zRet == 0) { - sql_result_error_nomem(context); + context->is_error = true; } else { int i; char *z = zRet; diff --git a/src/box/sql/func.c b/src/box/sql/func.c index bb7405e..16c02f1 100644 --- a/src/box/sql/func.c +++ b/src/box/sql/func.c @@ -181,13 +181,9 @@ absFunc(sql_context * context, int argc, sql_value ** argv) i64 iVal = sql_value_int64(argv[0]); if (iVal < 0) { if (iVal == SMALLEST_INT64) { - /* IMP: R-31676-45509 If X is the integer -9223372036854775808 - * then abs(X) throws an integer overflow error since there is no - * equivalent positive 64-bit two complement value. - */ - sql_result_error(context, - "integer overflow", - -1); + diag_set(ClientError, ER_SQL_EXECUTE, + "integer overflow"); + context->is_error = true; return; } iVal = -iVal; @@ -203,8 +199,7 @@ absFunc(sql_context * context, int argc, sql_value ** argv) case MP_BOOL: { diag_set(ClientError, ER_INCONSISTENT_TYPES, "number", "boolean"); - context->isError = SQL_TARANTOOL_ERROR; - context->fErrorOrAux = 1; + context->is_error = true; return; } default:{ @@ -256,8 +251,7 @@ position_func(struct sql_context *context, int argc, struct Mem **argv) if (inconsistent_type_arg != NULL) { diag_set(ClientError, ER_INCONSISTENT_TYPES, "TEXT or BLOB", mem_type_to_str(inconsistent_type_arg)); - context->isError = SQL_TARANTOOL_ERROR; - context->fErrorOrAux = 1; + context->is_error = true; return; } /* @@ -267,8 +261,7 @@ position_func(struct sql_context *context, int argc, struct Mem **argv) if (haystack_type != needle_type) { diag_set(ClientError, ER_INCONSISTENT_TYPES, mem_type_to_str(needle), mem_type_to_str(haystack)); - context->isError = SQL_TARANTOOL_ERROR; - context->fErrorOrAux = 1; + context->is_error = true; return; } @@ -513,7 +506,6 @@ roundFunc(sql_context * context, int argc, sql_value ** argv) { int n = 0; double r; - char *zBuf; assert(argc == 1 || argc == 2); if (argc == 2) { if (sql_value_is_null(argv[1])) @@ -534,23 +526,17 @@ roundFunc(sql_context * context, int argc, sql_value ** argv) } else if (n == 0 && r < 0 && (-r) < LARGEST_INT64 - 1) { r = -(double)((sql_int64) ((-r) + 0.5)); } else { - zBuf = sql_mprintf("%.*f", n, r); - if (zBuf == 0) { - sql_result_error_nomem(context); - return; - } - sqlAtoF(zBuf, &r, sqlStrlen30(zBuf)); - sql_free(zBuf); + const char *rounded_value = tt_sprintf("%.*f", n, r); + sqlAtoF(rounded_value, &r, sqlStrlen30(rounded_value)); } sql_result_double(context, r); } /* * Allocate nByte bytes of space using sqlMalloc(). If the - * allocation fails, call sql_result_error_nomem() to notify - * the database handle that malloc() has failed and return NULL. - * If nByte is larger than the maximum string or blob length, then - * raise an SQL_TOOBIG exception and return NULL. + * allocation fails, return NULL. If nByte is larger than the + * maximum string or blob length, then raise an error and return + * NULL. */ static void * contextMalloc(sql_context * context, i64 nByte) @@ -561,13 +547,13 @@ contextMalloc(sql_context * context, i64 nByte) testcase(nByte == db->aLimit[SQL_LIMIT_LENGTH]); testcase(nByte == db->aLimit[SQL_LIMIT_LENGTH] + 1); if (nByte > db->aLimit[SQL_LIMIT_LENGTH]) { - sql_result_error_toobig(context); + diag_set(ClientError, ER_SQL_EXECUTE, "string or blob too big"); + context->is_error = true; z = 0; } else { z = sqlMalloc(nByte); - if (!z) { - sql_result_error_nomem(context); - } + if (z == NULL) + context->is_error = true; } return z; } @@ -591,11 +577,11 @@ case_type##ICUFunc(sql_context *context, int argc, sql_value **argv) \ * does not invalidate the _text() pointer. \ */ \ assert(z2 == (char *)sql_value_text(argv[0])); \ - if (!z2) \ + if (z2 == NULL) \ return; \ z1 = contextMalloc(context, ((i64) n) + 1); \ - if (!z1) { \ - sql_result_error_nomem(context); \ + if (z1 == NULL) { \ + context->is_error = true; \ return; \ } \ UErrorCode status = U_ZERO_ERROR; \ @@ -612,8 +598,8 @@ case_type##ICUFunc(sql_context *context, int argc, sql_value **argv) \ status = U_ZERO_ERROR; \ sql_free(z1); \ z1 = contextMalloc(context, ((i64) len) + 1); \ - if (!z1) { \ - sql_result_error_nomem(context); \ + if (z1 == NULL) { \ + context->is_error = true; \ return; \ } \ ucasemap_utf8To##case_type(case_map, z1, len, z2, n, &status); \ @@ -919,8 +905,7 @@ likeFunc(sql_context *context, int argc, sql_value **argv) mem_type_to_str(argv[1]); diag_set(ClientError, ER_INCONSISTENT_TYPES, "TEXT", inconsistent_type); - context->fErrorOrAux = 1; - context->isError = SQL_TARANTOOL_ERROR; + context->is_error = true; return; } const char *zB = (const char *) sql_value_text(argv[0]); @@ -937,8 +922,9 @@ likeFunc(sql_context *context, int argc, sql_value **argv) testcase(nPat == db->aLimit[SQL_LIMIT_LIKE_PATTERN_LENGTH]); testcase(nPat == db->aLimit[SQL_LIMIT_LIKE_PATTERN_LENGTH] + 1); if (nPat > db->aLimit[SQL_LIMIT_LIKE_PATTERN_LENGTH]) { - sql_result_error(context, - "LIKE pattern is too complex", -1); + diag_set(ClientError, ER_SQL_EXECUTE, "LIKE pattern is too "\ + "complex"); + context->is_error = true; return; } /* Encoding did not change */ @@ -953,10 +939,10 @@ likeFunc(sql_context *context, int argc, sql_value **argv) const unsigned char *zEsc = sql_value_text(argv[2]); if (zEsc == 0) return; - const char *const err_msg = - "ESCAPE expression must be a single character"; if (sql_utf8_char_count(zEsc, sql_value_bytes(argv[2])) != 1) { - sql_result_error(context, err_msg, -1); + diag_set(ClientError, ER_SQL_EXECUTE, "ESCAPE "\ + "expression must be a single character"); + context->is_error = true; return; } escape = sqlUtf8Read(&zEsc); @@ -967,9 +953,9 @@ likeFunc(sql_context *context, int argc, sql_value **argv) res = sql_utf8_pattern_compare(zB, zA, zB_end, zA_end, is_like_ci, escape); if (res == INVALID_PATTERN) { - const char *const err_msg = - "LIKE pattern can only contain UTF-8 characters"; - sql_result_error(context, err_msg, -1); + diag_set(ClientError, ER_SQL_EXECUTE, "LIKE pattern can only "\ + "contain UTF-8 characters"); + context->is_error = true; return; } sql_result_bool(context, res == MATCH); @@ -1136,8 +1122,8 @@ charFunc(sql_context * context, int argc, sql_value ** argv) unsigned char *z, *zOut; int i; zOut = z = sql_malloc64(argc * 4 + 1); - if (z == 0) { - sql_result_error_nomem(context); + if (z == NULL) { + context->is_error = true; return; } for (i = 0; i < argc; i++) { @@ -1200,15 +1186,14 @@ static void zeroblobFunc(sql_context * context, int argc, sql_value ** argv) { i64 n; - int rc; assert(argc == 1); UNUSED_PARAMETER(argc); n = sql_value_int64(argv[0]); if (n < 0) n = 0; - rc = sql_result_zeroblob64(context, n); /* IMP: R-00293-64994 */ - if (rc) { - sql_result_error_code(context, rc); + if (sql_result_zeroblob64(context, n) != SQL_OK) { + diag_set(ClientError, ER_SQL_EXECUTE, "string or blob too big"); + context->is_error = true; } } @@ -1275,14 +1260,16 @@ replaceFunc(sql_context * context, int argc, sql_value ** argv) testcase(nOut - 1 == db->aLimit[SQL_LIMIT_LENGTH]); testcase(nOut - 2 == db->aLimit[SQL_LIMIT_LENGTH]); if (nOut - 1 > db->aLimit[SQL_LIMIT_LENGTH]) { - sql_result_error_toobig(context); + diag_set(ClientError, ER_SQL_EXECUTE, "string "\ + "or blob too big"); + context->is_error = true; sql_free(zOut); return; } zOld = zOut; zOut = sql_realloc64(zOut, (int)nOut); if (zOut == 0) { - sql_result_error_nomem(context); + context->is_error = true; sql_free(zOld); return; } @@ -1605,8 +1592,7 @@ sum_step(struct sql_context *context, int argc, sql_value **argv) if (mem_apply_numeric_type(argv[0]) != 0) { diag_set(ClientError, ER_SQL_TYPE_MISMATCH, sql_value_text(argv[0]), "number"); - context->fErrorOrAux = 1; - context->isError = SQL_TARANTOOL_ERROR; + context->is_error = true; return; } type = sql_value_type(argv[0]); @@ -1632,7 +1618,9 @@ sumFinalize(sql_context * context) p = sql_aggregate_context(context, 0); if (p && p->cnt > 0) { if (p->overflow) { - sql_result_error(context, "integer overflow", -1); + diag_set(ClientError, ER_SQL_EXECUTE, "integer "\ + "overflow"); + context->is_error = true; } else if (p->approx) { sql_result_double(context, p->rSum); } else { @@ -1789,9 +1777,11 @@ groupConcatFinalize(sql_context * context) pAccum = sql_aggregate_context(context, 0); if (pAccum) { if (pAccum->accError == STRACCUM_TOOBIG) { - sql_result_error_toobig(context); + diag_set(ClientError, ER_SQL_EXECUTE, "string or blob "\ + "too big"); + context->is_error = true; } else if (pAccum->accError == STRACCUM_NOMEM) { - sql_result_error_nomem(context); + context->is_error = true; } else { sql_result_text(context, sqlStrAccumFinish(pAccum), diff --git a/src/box/sql/sqlInt.h b/src/box/sql/sqlInt.h index c757fb5..511f504 100644 --- a/src/box/sql/sqlInt.h +++ b/src/box/sql/sqlInt.h @@ -476,19 +476,6 @@ void sql_result_double(sql_context *, double); void -sql_result_error(sql_context *, const char *, - int); - -void -sql_result_error_toobig(sql_context *); - -void -sql_result_error_nomem(sql_context *); - -void -sql_result_error_code(sql_context *, int); - -void sql_result_int(sql_context *, int); void diff --git a/src/box/sql/vdbe.c b/src/box/sql/vdbe.c index 115f22e..a4d82e1 100644 --- a/src/box/sql/vdbe.c +++ b/src/box/sql/vdbe.c @@ -1709,22 +1709,12 @@ case OP_Function: { } #endif MemSetTypeFlag(pCtx->pOut, MEM_Null); - pCtx->fErrorOrAux = 0; + pCtx->is_error = false; (*pCtx->pFunc->xSFunc)(pCtx, pCtx->argc, pCtx->argv);/* IMP: R-24505-23230 */ /* If the function returned an error, throw an exception */ - if (pCtx->fErrorOrAux) { - if (pCtx->isError) { - if (pCtx->isError != SQL_TARANTOOL_ERROR) { - diag_set(ClientError, ER_SQL_EXECUTE, - sql_value_text(pCtx->pOut)); - } - rc = SQL_TARANTOOL_ERROR; - } - sqlVdbeDeleteAuxData(db, &p->pAuxData, pCtx->iOp, pOp->p1); - if (rc != SQL_OK) - goto abort_due_to_error; - } + if (pCtx->is_error) + goto abort_due_to_error; /* Copy the result of the function into register P3 */ if (pOut->flags & (MEM_Str|MEM_Blob)) { @@ -4856,9 +4846,6 @@ case OP_Program: { /* jump */ pFrame->pParent = p->pFrame; pFrame->nChange = p->nChange; pFrame->nDbChange = p->db->nChange; - assert(pFrame->pAuxData==0); - pFrame->pAuxData = p->pAuxData; - p->pAuxData = 0; p->nChange = 0; p->pFrame = pFrame; p->aMem = aMem = VdbeFrameMem(pFrame); @@ -5121,21 +5108,12 @@ case OP_AggStep: { pMem->n++; sqlVdbeMemInit(&t, db, MEM_Null); pCtx->pOut = &t; - pCtx->fErrorOrAux = 0; + pCtx->is_error = false; pCtx->skipFlag = 0; (pCtx->pFunc->xSFunc)(pCtx,pCtx->argc,pCtx->argv); /* IMP: R-24505-23230 */ - if (pCtx->fErrorOrAux) { - if (pCtx->isError) { - if (pCtx->isError != SQL_TARANTOOL_ERROR) { - diag_set(ClientError, ER_SQL_EXECUTE, - sql_value_text(&t)); - } - rc = SQL_TARANTOOL_ERROR; - } + if (pCtx->is_error) { sqlVdbeMemRelease(&t); - assert(rc == SQL_OK || rc == SQL_TARANTOOL_ERROR); - if (rc != SQL_OK) - goto abort_due_to_error; + goto abort_due_to_error; } else { assert(t.flags==MEM_Null); } diff --git a/src/box/sql/vdbeInt.h b/src/box/sql/vdbeInt.h index 6aadca2..70a0bab 100644 --- a/src/box/sql/vdbeInt.h +++ b/src/box/sql/vdbeInt.h @@ -62,9 +62,6 @@ typedef unsigned Bool; /* Opaque type used by code in vdbesort.c */ typedef struct VdbeSorter VdbeSorter; -/* Elements of the linked list at Vdbe.pAuxData */ -typedef struct AuxData AuxData; - /* Types of VDBE cursors */ #define CURTYPE_TARANTOOL 0 #define CURTYPE_SORTER 1 @@ -161,7 +158,6 @@ struct VdbeFrame { Mem *aMem; /* Array of memory cells for parent frame */ VdbeCursor **apCsr; /* Array of Vdbe cursors for parent frame */ void *token; /* Copy of SubProgram.token */ - AuxData *pAuxData; /* Linked list of auxdata allocations */ int nCursor; /* Number of entries in apCsr */ int pc; /* Program Counter in parent (calling) frame */ int nOp; /* Size of aOp array */ @@ -300,21 +296,6 @@ mem_apply_numeric_type(struct Mem *record); #endif /* - * Each auxiliary data pointer stored by a user defined function - * implementation calling sql_set_auxdata() is stored in an instance - * of this structure. All such structures associated with a single VM - * are stored in a linked list headed at Vdbe.pAuxData. All are destroyed - * when the VM is halted (if not before). - */ -struct AuxData { - int iOp; /* Instruction number of OP_Function opcode */ - int iArg; /* Index of function argument. */ - void *pAux; /* Aux data pointer */ - void (*xDelete) (void *); /* Destructor for the aux data */ - AuxData *pNext; /* Next element in list */ -}; - -/* * The "context" argument for an installable function. A pointer to an * instance of this structure is the first argument to the routines used * implement the SQL functions. @@ -333,9 +314,12 @@ struct sql_context { Mem *pMem; /* Memory cell used to store aggregate context */ Vdbe *pVdbe; /* The VM that owns this context */ int iOp; /* Instruction number of OP_Function */ - int isError; /* Error code returned by the function. */ + /* + * True, if an error occurred during the execution of the + * function. + */ + bool is_error; u8 skipFlag; /* Skip accumulator loading if true */ - u8 fErrorOrAux; /* isError!=0 or pVdbe->pAuxData modified */ u8 argc; /* Number of arguments */ sql_value *argv[1]; /* Argument set */ }; @@ -440,7 +424,6 @@ struct Vdbe { int nFrame; /* Number of frames in pFrame list */ u32 expmask; /* Binding to these vars invalidates VM */ SubProgram *pProgram; /* Linked list of all sub-programs used by VM */ - AuxData *pAuxData; /* Linked list of auxdata allocations */ /* Anonymous savepoint for aborts only */ Savepoint *anonymous_savepoint; #ifdef SQL_ENABLE_STMT_SCANSTATUS @@ -472,7 +455,6 @@ u32 sqlVdbeSerialTypeLen(u32); u32 sqlVdbeSerialType(Mem *, int, u32 *); u32 sqlVdbeSerialPut(unsigned char *, Mem *, u32); u32 sqlVdbeSerialGet(const unsigned char *, u32, Mem *); -void sqlVdbeDeleteAuxData(sql *, AuxData **, int, int); int sqlVdbeExec(Vdbe *); int sqlVdbeList(Vdbe *); diff --git a/src/box/sql/vdbeapi.c b/src/box/sql/vdbeapi.c index d9dd28f..cf96e2d 100644 --- a/src/box/sql/vdbeapi.c +++ b/src/box/sql/vdbeapi.c @@ -319,7 +319,8 @@ setResultStrOrError(sql_context * pCtx, /* Function context */ ) { if (sqlVdbeMemSetStr(pCtx->pOut, z, n,1, xDel) == SQL_TOOBIG) { - sql_result_error_toobig(pCtx); + diag_set(ClientError, ER_SQL_EXECUTE, "string or blob too big"); + pCtx->is_error = true; } } @@ -337,8 +338,10 @@ invokeValueDestructor(const void *p, /* Value to destroy */ } else { xDel((void *)p); } - if (pCtx) - sql_result_error_toobig(pCtx); + if (pCtx) { + diag_set(ClientError, ER_SQL_EXECUTE, "string or blob too big"); + pCtx->is_error = true; + } return SQL_TOOBIG; } @@ -349,7 +352,8 @@ sql_result_blob(sql_context * pCtx, { assert(n >= 0); if (sqlVdbeMemSetStr(pCtx->pOut, z, n,0, xDel) == SQL_TOOBIG) { - sql_result_error_toobig(pCtx); + diag_set(ClientError, ER_SQL_EXECUTE, "string or blob too big"); + pCtx->is_error = true; } } @@ -373,14 +377,6 @@ sql_result_double(sql_context * pCtx, double rVal) } void -sql_result_error(sql_context * pCtx, const char *z, int n) -{ - pCtx->isError = SQL_ERROR; - pCtx->fErrorOrAux = 1; - sqlVdbeMemSetStr(pCtx->pOut, z, n, 1, SQL_TRANSIENT); -} - -void sql_result_int(sql_context * pCtx, int iVal) { sqlVdbeMemSetInt64(pCtx->pOut, (i64) iVal); @@ -449,37 +445,6 @@ sql_result_zeroblob64(sql_context * pCtx, u64 n) return SQL_OK; } -void -sql_result_error_code(sql_context * pCtx, int errCode) -{ - pCtx->isError = errCode; - pCtx->fErrorOrAux = 1; - if (pCtx->pOut->flags & MEM_Null) { - sqlVdbeMemSetStr(pCtx->pOut, sqlErrStr(errCode), -1, 1, - SQL_STATIC); - } -} - -/* Force an SQL_TOOBIG error. */ -void -sql_result_error_toobig(sql_context * pCtx) -{ - pCtx->isError = SQL_TOOBIG; - pCtx->fErrorOrAux = 1; - sqlVdbeMemSetStr(pCtx->pOut, "string or blob too big", -1, 1, - SQL_STATIC); -} - -/* An SQL_NOMEM error. */ -void -sql_result_error_nomem(sql_context * pCtx) -{ - sqlVdbeMemSetNull(pCtx->pOut); - pCtx->isError = SQL_NOMEM; - pCtx->fErrorOrAux = 1; - sqlOomFault(pCtx->pOut->db); -} - /* * Execute the statement pStmt, either until a row of data is ready, the * statement is completely executed or an error occurs. @@ -677,13 +642,10 @@ sqlInvalidFunction(sql_context * context, /* The function calling context */ ) { const char *zName = context->pFunc->zName; - char *zErr; UNUSED_PARAMETER2(NotUsed, NotUsed2); - zErr = - sql_mprintf - ("unable to use function %s in the requested context", zName); - sql_result_error(context, zErr, -1); - sql_free(zErr); + const char *err = "unable to use function %s in the requested context"; + diag_set(ClientError, ER_SQL_EXECUTE, tt_sprintf(err, zName)); + context->is_error = true; } /* @@ -727,75 +689,6 @@ sql_aggregate_context(sql_context * p, int nByte) } /* - * Return the auxiliary data pointer, if any, for the iArg'th argument to - * the user-function defined by pCtx. - */ -void * -sql_get_auxdata(sql_context * pCtx, int iArg) -{ - AuxData *pAuxData; - - if (pCtx->pVdbe == 0) - return 0; - - for (pAuxData = pCtx->pVdbe->pAuxData; pAuxData; - pAuxData = pAuxData->pNext) { - if (pAuxData->iOp == pCtx->iOp && pAuxData->iArg == iArg) - break; - } - - return (pAuxData ? pAuxData->pAux : 0); -} - -/* - * Set the auxiliary data pointer and delete function, for the iArg'th - * argument to the user-function defined by pCtx. Any previous value is - * deleted by calling the delete function specified when it was set. - */ -void -sql_set_auxdata(sql_context * pCtx, - int iArg, void *pAux, void (*xDelete) (void *) - ) -{ - AuxData *pAuxData; - Vdbe *pVdbe = pCtx->pVdbe; - - if (iArg < 0) - goto failed; - if (pVdbe == 0) - goto failed; - - for (pAuxData = pVdbe->pAuxData; pAuxData; pAuxData = pAuxData->pNext) { - if (pAuxData->iOp == pCtx->iOp && pAuxData->iArg == iArg) - break; - } - if (pAuxData == 0) { - pAuxData = sqlDbMallocZero(pVdbe->db, sizeof(AuxData)); - if (!pAuxData) - goto failed; - pAuxData->iOp = pCtx->iOp; - pAuxData->iArg = iArg; - pAuxData->pNext = pVdbe->pAuxData; - pVdbe->pAuxData = pAuxData; - if (pCtx->fErrorOrAux == 0) { - pCtx->isError = 0; - pCtx->fErrorOrAux = 1; - } - } else if (pAuxData->xDelete) { - pAuxData->xDelete(pAuxData->pAux); - } - - pAuxData->pAux = pAux; - pAuxData->xDelete = xDelete; - return; - - failed: - if (xDelete) { - xDelete(pAux); - } -} - -/* * Return the number of columns in the result set for the statement pStmt. */ int diff --git a/src/box/sql/vdbeaux.c b/src/box/sql/vdbeaux.c index 38cd195..697dffd 100644 --- a/src/box/sql/vdbeaux.c +++ b/src/box/sql/vdbeaux.c @@ -1388,7 +1388,6 @@ sqlVdbeFrameDelete(VdbeFrame * p) sqlVdbeFreeCursor(p->v, apCsr[i]); } releaseMemArray(aMem, p->nChildMem); - sqlVdbeDeleteAuxData(p->v->db, &p->pAuxData, -1, 0); sqlDbFree(p->v->db, p); } @@ -1907,9 +1906,6 @@ sqlVdbeFrameRestore(VdbeFrame * pFrame) v->nCursor = pFrame->nCursor; v->nChange = pFrame->nChange; v->db->nChange = pFrame->nDbChange; - sqlVdbeDeleteAuxData(v->db, &v->pAuxData, -1, 0); - v->pAuxData = pFrame->pAuxData; - pFrame->pAuxData = 0; return pFrame->pc; } @@ -1953,11 +1949,6 @@ closeCursorsAndFree(Vdbe * p) p->pDelFrame = pDel->pParent; sqlVdbeFrameDelete(pDel); } - - /* Delete any auxdata allocations made by the VM */ - if (p->pAuxData) - sqlVdbeDeleteAuxData(p->db, &p->pAuxData, -1, 0); - assert(p->pAuxData == 0); } /* @@ -2480,43 +2471,6 @@ sqlVdbeFinalize(Vdbe * p) } /* - * If parameter iOp is less than zero, then invoke the destructor for - * all auxiliary data pointers currently cached by the VM passed as - * the first argument. - * - * Or, if iOp is greater than or equal to zero, then the destructor is - * only invoked for those auxiliary data pointers created by the user - * function invoked by the OP_Function opcode at instruction iOp of - * VM pVdbe, and only then if: - * - * * the associated function parameter is the 32nd or later (counting - * from left to right), or - * - * * the corresponding bit in argument mask is clear (where the first - * function parameter corresponds to bit 0 etc.). - */ -void -sqlVdbeDeleteAuxData(sql * db, AuxData ** pp, int iOp, int mask) -{ - while (*pp) { - AuxData *pAux = *pp; - if ((iOp < 0) - || (pAux->iOp == iOp - && (pAux->iArg > 31 || !(mask & MASKBIT32(pAux->iArg)))) - ) { - testcase(pAux->iArg == 31); - if (pAux->xDelete) { - pAux->xDelete(pAux->pAux); - } - *pp = pAux->pNext; - sqlDbFree(db, pAux); - } else { - pp = &pAux->pNext; - } - } -} - -/* * Free all memory associated with the Vdbe passed as the second argument, * except for object itself, which is preserved. * diff --git a/src/box/sql/vdbemem.c b/src/box/sql/vdbemem.c index f73ea0a..ce0c641 100644 --- a/src/box/sql/vdbemem.c +++ b/src/box/sql/vdbemem.c @@ -321,7 +321,6 @@ sqlVdbeMemStringify(Mem * pMem, u8 bForce) int sqlVdbeMemFinalize(Mem * pMem, FuncDef * pFunc) { - int rc = SQL_OK; if (ALWAYS(pFunc && pFunc->xFinalize)) { sql_context ctx; Mem t; @@ -338,9 +337,9 @@ sqlVdbeMemFinalize(Mem * pMem, FuncDef * pFunc) if (pMem->szMalloc > 0) sqlDbFree(pMem->db, pMem->zMalloc); memcpy(pMem, &t, sizeof(t)); - rc = ctx.isError; + return ctx.is_error ? SQL_TARANTOOL_ERROR : SQL_OK; } - return rc; + return SQL_OK; } /* @@ -1281,7 +1280,7 @@ valueFromFunction(sql * db, /* The database connection */ ctx.pOut = pVal; ctx.pFunc = pFunc; pFunc->xSFunc(&ctx, nVal, apVal); - assert(!ctx.isError); + assert(!ctx.is_error); sql_value_apply_type(pVal, type); assert(rc == SQL_OK); @@ -1486,7 +1485,7 @@ recordFunc(sql_context * context, int argc, sql_value ** argv) nRet = 1 + nSerial + nVal; aRet = sqlDbMallocRawNN(db, nRet); if (aRet == 0) { - sql_result_error_nomem(context); + context->is_error = true; } else { aRet[0] = nSerial + 1; putVarint32(&aRet[1], iSerial); -- 2.7.4
next prev parent reply other threads:[~2019-05-05 12:17 UTC|newest] Thread overview: 31+ messages / expand[flat|nested] mbox.gz Atom feed top 2019-05-05 12:17 [tarantool-patches] [PATCH v1 00/12] sql: set errors in VDBE using diag_set() imeevma 2019-05-05 12:17 ` [tarantool-patches] [PATCH v1 01/12] sql: remove errors SQL_TARANTOOL_*_FAIL imeevma 2019-05-15 13:18 ` [tarantool-patches] " n.pettik 2019-05-25 9:16 ` Imeev Mergen 2019-05-05 12:17 ` [tarantool-patches] [PATCH v1 02/12] sql: remove error ER_SQL imeevma 2019-05-15 13:18 ` [tarantool-patches] " n.pettik 2019-05-05 12:17 ` [tarantool-patches] [PATCH v1 03/12] sql: rework diag_set() in OP_Halt imeevma 2019-05-15 13:18 ` [tarantool-patches] " n.pettik 2019-05-05 12:17 ` [tarantool-patches] [PATCH v1 04/12] sql: make SQL_TARANTOOL_ERROR the only errcode of OP_Halt imeevma 2019-05-15 13:18 ` [tarantool-patches] " n.pettik 2019-05-25 9:18 ` Imeev Mergen 2019-05-05 12:17 ` [tarantool-patches] [PATCH v1 05/12] sql: remove error SQL_INTERRUPT imeevma 2019-05-15 13:18 ` [tarantool-patches] " n.pettik 2019-05-05 12:17 ` [tarantool-patches] [PATCH v1 06/12] sql: remove error SQL_MISMATCH imeevma 2019-05-15 13:19 ` [tarantool-patches] " n.pettik 2019-05-05 12:17 ` [tarantool-patches] [PATCH v1 07/12] sql: set errors in VDBE using diag_set() imeevma 2019-05-15 13:26 ` [tarantool-patches] " n.pettik 2019-05-25 10:24 ` Mergen Imeev 2019-05-25 10:36 ` Imeev Mergen 2019-05-05 12:17 ` [tarantool-patches] [PATCH v1 08/12] sql: remove field zErrMsg from struct Vdbe imeevma 2019-05-15 13:30 ` [tarantool-patches] " n.pettik 2019-05-25 9:25 ` Imeev Mergen 2019-05-05 12:17 ` [tarantool-patches] [PATCH v1 09/12] sql: remove field pErr from struct sql imeevma 2019-05-05 12:17 ` [tarantool-patches] [PATCH v1 10/12] sql: remove field errCode " imeevma 2019-05-15 13:32 ` [tarantool-patches] " n.pettik 2019-05-25 9:25 ` Imeev Mergen 2019-05-05 12:17 ` [tarantool-patches] [PATCH v1 11/12] sql: remove sqlError() and remove sqlErrorWithMsg() imeevma 2019-05-05 12:17 ` imeevma [this message] 2019-05-15 14:12 ` [tarantool-patches] Re: [PATCH v1 12/12] sql: use diag_set() to set an error in SQL functions n.pettik 2019-05-25 9:45 ` Mergen Imeev 2019-05-25 10:36 ` Imeev Mergen
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=5af3532d78b6d509d8e76ff97e45a6e3b9eb2369.1557056617.git.imeevma@gmail.com \ --to=imeevma@tarantool.org \ --cc=korablev@tarantool.org \ --cc=tarantool-patches@freelists.org \ --subject='Re: [tarantool-patches] [PATCH v1 12/12] sql: use diag_set() to set an error in SQL functions' \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: link
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox