Line data Source code
1 : /* FreeTDS - Library of routines accessing Sybase and Microsoft databases
2 : * Copyright (C) 2003-2008 Frediano Ziglio
3 : *
4 : * This library is free software; you can redistribute it and/or
5 : * modify it under the terms of the GNU Library General Public
6 : * License as published by the Free Software Foundation; either
7 : * version 2 of the License, or (at your option) any later version.
8 : *
9 : * This library is distributed in the hope that it will be useful,
10 : * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 : * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12 : * Library General Public License for more details.
13 : *
14 : * You should have received a copy of the GNU Library General Public
15 : * License along with this library; if not, write to the
16 : * Free Software Foundation, Inc., 59 Temple Place - Suite 330,
17 : * Boston, MA 02111-1307, USA.
18 : */
19 : #include <config.h>
20 :
21 : #include <stdarg.h>
22 : #include <stdio.h>
23 :
24 : #if HAVE_STDLIB_H
25 : #include <stdlib.h>
26 : #endif /* HAVE_STDLIB_H */
27 :
28 : #if HAVE_STRING_H
29 : #include <string.h>
30 : #endif /* HAVE_STRING_H */
31 :
32 : #include <assert.h>
33 :
34 : #include <freetds/odbc.h>
35 : #include <freetds/utils/string.h>
36 :
37 : #if ENABLE_EXTRA_CHECKS
38 :
39 : /* Check common fields in ODBC structures */
40 : #define TEST_ATTRIBUTE(t,sa,fa,sb,fb) \
41 : TDS_COMPILE_CHECK(t,sizeof(((sa*)0)->fa) == sizeof(((sb*)0)->fb) && TDS_OFFSET(sa,fa) == TDS_OFFSET(sb,fb))
42 :
43 : #define SAME_TDS_CHK_FIELDS(t,struct) \
44 : TEST_ATTRIBUTE(t ## _a,TDS_CHK,htype,struct,htype); \
45 : TEST_ATTRIBUTE(t ## _b,TDS_CHK,errs, struct,errs); \
46 : TEST_ATTRIBUTE(t ## _c,TDS_CHK,mtx, struct,mtx)
47 :
48 : SAME_TDS_CHK_FIELDS(t1, TDS_ENV);
49 : SAME_TDS_CHK_FIELDS(t2, TDS_DBC);
50 : SAME_TDS_CHK_FIELDS(t3, TDS_STMT);
51 : SAME_TDS_CHK_FIELDS(t4, TDS_DESC);
52 :
53 : void
54 4624 : odbc_check_env_extra(TDS_ENV * env)
55 : {
56 4624 : assert(env && env->htype == SQL_HANDLE_ENV);
57 4624 : assert(env->attr.odbc_version == SQL_OV_ODBC3 || env->attr.odbc_version == SQL_OV_ODBC2);
58 4624 : }
59 :
60 : void
61 49754 : odbc_check_dbc_extra(TDS_DBC * dbc)
62 : {
63 49754 : assert(dbc && dbc->htype == SQL_HANDLE_DBC);
64 49754 : }
65 :
66 : void
67 337208 : odbc_check_stmt_extra(TDS_STMT * stmt)
68 : {
69 337208 : assert(stmt && stmt->htype == SQL_HANDLE_STMT);
70 : /* TODO deep check on connection */
71 337208 : assert(stmt->dbc);
72 337208 : odbc_check_desc_extra(stmt->ard);
73 337208 : odbc_check_desc_extra(stmt->ird);
74 337208 : odbc_check_desc_extra(stmt->apd);
75 337208 : odbc_check_desc_extra(stmt->ipd);
76 337208 : assert(!stmt->prepared_query_is_func || stmt->prepared_query_is_rpc);
77 337208 : assert(stmt->param_num <= stmt->param_count + 1);
78 337208 : assert(stmt->num_param_rows >= 1);
79 : assert(stmt->curr_param_row >= 0);
80 337208 : assert(stmt->curr_param_row <= stmt->num_param_rows);
81 337208 : if (stmt->prepared_query_is_rpc) {
82 87532 : assert(stmt->prepared_pos == 0 || stmt->prepared_pos <= tds_dstr_len(&stmt->query));
83 : } else {
84 293442 : assert(stmt->prepared_pos == 0);
85 : }
86 : /* TODO assert dbc has this statement in list */
87 337208 : }
88 :
89 : static void
90 947537 : odbc_check_drecord(TDS_DESC * desc, struct _drecord *drec)
91 : {
92 947537 : assert(drec->sql_desc_concise_type != SQL_INTERVAL && drec->sql_desc_concise_type != SQL_DATETIME);
93 :
94 : /* unbound columns have type == 0 */
95 : /* TODO test errors on code if type == 0 */
96 947537 : if (desc->type == DESC_IPD || desc->type == DESC_IRD) {
97 675045 : assert((drec->sql_desc_type == 0 && drec->sql_desc_concise_type == 0)
98 : || odbc_get_concise_sql_type(drec->sql_desc_type, drec->sql_desc_datetime_interval_code)
99 : == drec->sql_desc_concise_type);
100 : } else {
101 272492 : assert((drec->sql_desc_type == 0 && drec->sql_desc_concise_type == 0)
102 : || odbc_get_concise_c_type(drec->sql_desc_type, drec->sql_desc_datetime_interval_code)
103 : == drec->sql_desc_concise_type);
104 : }
105 947537 : }
106 :
107 : void
108 1433548 : odbc_check_desc_extra(TDS_DESC * desc)
109 : {
110 : int i;
111 :
112 1433548 : assert(desc && desc->htype == SQL_HANDLE_DESC);
113 1433548 : assert(desc->header.sql_desc_alloc_type == SQL_DESC_ALLOC_AUTO || desc->header.sql_desc_alloc_type == SQL_DESC_ALLOC_USER);
114 1433548 : assert((desc->type != DESC_IPD && desc->type != DESC_IRD) || desc->header.sql_desc_alloc_type == SQL_DESC_ALLOC_AUTO);
115 1433548 : assert(desc->parent && (IS_HSTMT(desc->parent) || IS_HDBC(desc->parent)));
116 947537 : for (i = 0; i < desc->header.sql_desc_count; ++i) {
117 947537 : odbc_check_drecord(desc, &desc->records[i]);
118 : }
119 1433548 : }
120 :
121 : void
122 219605 : odbc_check_struct_extra(void *p)
123 : {
124 219605 : const int invalid_htype = 0;
125 :
126 219605 : switch (((TDS_CHK *) p)->htype) {
127 1732 : case SQL_HANDLE_ENV:
128 1732 : odbc_check_env_extra((TDS_ENV *) p);
129 1732 : break;
130 25013 : case SQL_HANDLE_DBC:
131 25013 : odbc_check_dbc_extra((TDS_DBC *) p);
132 25013 : break;
133 190018 : case SQL_HANDLE_STMT:
134 190018 : odbc_check_stmt_extra((TDS_STMT *) p);
135 190018 : break;
136 2842 : case SQL_HANDLE_DESC:
137 2842 : odbc_check_desc_extra((TDS_DESC *) p);
138 2842 : break;
139 : default:
140 0 : assert(invalid_htype);
141 : }
142 219605 : }
143 :
144 : #endif /* ENABLE_EXTRA_CHECKS */
|
