OpenCoverage

util.c

Absolute File Name:

/home/opencoverage/opencoverage/guest-scripts/sqlite/src/src/util.c

Source code

Switch to Preprocessed file

Line Source Count

1 /* -

2 ** 2001 September 15 -

3 ** -

4 ** The author disclaims copyright to this source code. In place of -

5 ** a legal notice, here is a blessing: -

6 ** -

7 ** May you do good and not evil. -

8 ** May you find forgiveness for yourself and forgive others. -

9 ** May you share freely, never taking more than you give. -

10 ** -

11 ************************************************************************* -

12 ** Utility functions used throughout sqlite. -

13 ** -

14 ** This file contains functions for allocating memory, comparing -

15 ** strings, and stuff like that. -

16 ** -

17 */ -

18 #include "sqliteInt.h" -

19 #include <stdarg.h> -

20 #if HAVE_ISNAN || SQLITE_HAVE_ISNAN -

21 # include <math.h> -

22 #endif -

23 -

24 /* -

25 ** Routine needed to support the testcase() macro. -

26 */ -

27 #ifdef SQLITE_COVERAGE_TEST -

28 void sqlite3Coverage(int x){ -

29 static unsigned dummy = 0; -

30 dummy += (unsigned)x; -

31 } -

32 #endif -

33 -

34 /* -

35 ** Give a callback to the test harness that can be used to simulate faults -

36 ** in places where it is difficult or expensive to do so purely by means -

37 ** of inputs. -

38 ** -

39 ** The intent of the integer argument is to let the fault simulator know -

40 ** which of multiple sqlite3FaultSim() calls has been hit. -

41 ** -

42 ** Return whatever integer value the test callback returns, or return -

43 ** SQLITE_OK if no test callback is installed. -

44 */ -

45 #ifndef SQLITE_UNTESTABLE -

46 int sqlite3FaultSim(int iTest){ -

47 int (*xCallback)(int) = sqlite3GlobalConfig.xTestCallback; -

return xCallback ? xCallback(iTest) : SQLITE_OK;

executed 123094 times by 149 tests: return xCallback ? xCallback(iTest) : 0;

Executed by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (104)
Self test (105)
Self test (11)
Self test (13)
Self test (14)
Self test (15)
Self test (17)
Self test (18)
Self test (19)
Self test (2)
Self test (21)
Self test (22)
Self test (23)
Self test (24)
Self test (26)
Self test (27)
Self test (28)
Self test (29)
Self test (3)
Self test (31)
Self test (32)
...

xCallback

Description

TRUE

evaluated 1 time by 1 test

Evaluated by:

Self test (438)

FALSE

evaluated 123096 times by 149 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (104)
Self test (105)
Self test (11)
Self test (13)
Self test (14)
Self test (15)
Self test (17)
Self test (18)
Self test (19)
Self test (2)
Self test (21)
Self test (22)
Self test (23)
Self test (24)
Self test (26)
Self test (27)
Self test (28)
Self test (29)
Self test (3)
Self test (31)
Self test (32)
...

1-123096

49 } -

50 #endif -

51 -

52 #ifndef SQLITE_OMIT_FLOATING_POINT -

53 /* -

54 ** Return true if the floating point value is Not a Number (NaN). -

55 ** -

56 ** Use the math library isnan() function if compiled with SQLITE_HAVE_ISNAN. -

57 ** Otherwise, we have our own implementation that works on most systems. -

58 */ -

59 int sqlite3IsNaN(double x){ -

60 int rc; /* The value return */ -

61 #if !SQLITE_HAVE_ISNAN && !HAVE_ISNAN -

62 /* -

63 ** Systems that support the isnan() library function should probably -

64 ** make use of it by compiling with -DSQLITE_HAVE_ISNAN. But we have -

65 ** found that many systems do not have a working isnan() function so -

66 ** this implementation is provided as an alternative. -

67 ** -

68 ** This NaN test sometimes fails if compiled on GCC with -ffast-math. -

69 ** On the other hand, the use of -ffast-math comes with the following -

70 ** warning: -

71 ** -

72 ** This option [-ffast-math] should never be turned on by any -

73 ** -O option since it can result in incorrect output for programs -

74 ** which depend on an exact implementation of IEEE or ISO -

75 ** rules/specifications for math functions. -

76 ** -

77 ** Under MSVC, this NaN test may fail if compiled with a floating- -

78 ** point precision mode other than /fp:precise. From the MSDN -

79 ** documentation: -

80 ** -

81 ** The compiler [with /fp:precise] will properly handle comparisons -

82 ** involving NaN. For example, x != x evaluates to true if x is NaN -

83 ** ... -

84 */ -

85 #ifdef __FAST_MATH__ -

86 # error SQLite will not work correctly with the -ffast-math option of GCC. -

87 #endif -

88 volatile double y = x; -

89 volatile double z = y; -

90 rc = (y!=z); -

91 #else /* if HAVE_ISNAN */ -

92 rc = isnan(x); -

93 #endif /* HAVE_ISNAN */ -

94 testcase( rc ); -

return rc;

executed 2519655 times by 4 tests: return rc;

Executed by:

Self test
Self test (438)
Self test (57)
Self test (58)

2519655

96 } -

97 #endif /* SQLITE_OMIT_FLOATING_POINT */ -

98 -

99 /* -

100 ** Compute a string length that is limited to what can be stored in -

101 ** lower 30 bits of a 32-bit signed integer. -

102 ** -

103 ** The value returned will never be negative. Nor will it ever be greater -

104 ** than the actual length of the string. For very long strings (greater -

105 ** than 1GiB) the value returned might be less than the true string length. -

106 */ -

107 int sqlite3Strlen30(const char *z){ -

108

if( z==0 ) return 0;

executed 49596 times by 63 tests: return 0;

Executed by:

Self test
Self test (10)
Self test (101)
Self test (104)
Self test (105)
Self test (11)
Self test (12)
Self test (13)
Self test (14)
Self test (15)
Self test (16)
Self test (17)
Self test (18)
Self test (19)
Self test (2)
Self test (20)
Self test (21)
Self test (22)
Self test (23)
Self test (24)
Self test (26)
Self test (27)
Self test (28)
Self test (29)
Self test (3)
...

z==0

Description

TRUE

evaluated 49596 times by 63 tests

Evaluated by:

Self test
Self test (10)
Self test (101)
Self test (104)
Self test (105)
Self test (11)
Self test (12)
Self test (13)
Self test (14)
Self test (15)
Self test (16)
Self test (17)
Self test (18)
Self test (19)
Self test (2)
Self test (20)
Self test (21)
Self test (22)
Self test (23)
Self test (24)
Self test (26)
Self test (27)
Self test (28)
Self test (29)
Self test (3)
...

FALSE

evaluated 7803623 times by 438 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (102)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
...

49596-7803623

109

return 0x3fffffff & (int)strlen(z);

executed 7803623 times by 438 tests: return 0x3fffffff & (int)strlen(z);

Executed by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (102)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
...

7803623

110 } -

111 -

112 /* -

113 ** Return the declared type of a column. Or return zDflt if the column -

114 ** has no declared type. -

115 ** -

116 ** The column type is an extra string stored after the zero-terminator on -

117 ** the column name if and only if the COLFLAG_HASTYPE flag is set. -

118 */ -

119 char *sqlite3ColumnType(Column *pCol, char *zDflt){ -

120

if( (pCol->colFlags & COLFLAG_HASTYPE)==0 ) return zDflt;

executed 98462 times by 50 tests: return zDflt;

Executed by:

Self test (10)
Self test (101)
Self test (104)
Self test (105)
Self test (11)
Self test (12)
Self test (13)
Self test (14)
Self test (15)
Self test (16)
Self test (17)
Self test (18)
Self test (19)
Self test (20)
Self test (21)
Self test (22)
Self test (23)
Self test (35)
Self test (36)
Self test (37)
Self test (42)
Self test (438)
Self test (44)
Self test (46)
Self test (47)
...

(pCol->colFlags & 0x0004)==0

Description

TRUE

evaluated 98462 times by 50 tests

Evaluated by:

Self test (10)
Self test (101)
Self test (104)
Self test (105)
Self test (11)
Self test (12)
Self test (13)
Self test (14)
Self test (15)
Self test (16)
Self test (17)
Self test (18)
Self test (19)
Self test (20)
Self test (21)
Self test (22)
Self test (23)
Self test (35)
Self test (36)
Self test (37)
Self test (42)
Self test (438)
Self test (44)
Self test (46)
Self test (47)
...

FALSE

evaluated 206082 times by 435 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

98462-206082

121

return pCol->zName + strlen(pCol->zName) + 1;

executed 206082 times by 435 tests: return pCol->zName + strlen(pCol->zName) + 1;

Executed by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

206082

122 } -

123 -

124 /* -

125 ** Helper function for sqlite3Error() - called rarely. Broken out into -

126 ** a separate routine to avoid unnecessary register saves on entry to -

127 ** sqlite3Error(). -

128 */ -

129 static SQLITE_NOINLINE void sqlite3ErrorFinish(sqlite3 *db, int err_code){ -

130

if( db->pErr ) sqlite3ValueSetNull(db->pErr);

executed 155203 times by 19 tests: sqlite3ValueSetNull(db->pErr);

Executed by:

Self test (24)
Self test (26)
Self test (27)
Self test (28)
Self test (29)
Self test (30)
Self test (34)
Self test (35)
Self test (39)
Self test (438)
Self test (47)
Self test (53)
Self test (61)
Self test (78)
Self test (79)
Self test (80)
Self test (81)
Self test (82)
Self test (83)

db->pErr	Description
TRUE	evaluated 155203 times by 19 tests Evaluated by: Self test (24) Self test (26) Self test (27) Self test (28) Self test (29) Self test (30) Self test (34) Self test (35) Self test (39) Self test (438) Self test (47) Self test (53) Self test (61) Self test (78) Self test (79) Self test (80) Self test (81) Self test (82) Self test (83)
FALSE	evaluated 8366 times by 1 test Evaluated by: Self test (438)

8366-155203

131 sqlite3SystemError(db, err_code); -

132

}

executed 163569 times by 19 tests: end of block

Executed by:

Self test (24)
Self test (26)
Self test (27)
Self test (28)
Self test (29)
Self test (30)
Self test (34)
Self test (35)
Self test (39)
Self test (438)
Self test (47)
Self test (53)
Self test (61)
Self test (78)
Self test (79)
Self test (80)
Self test (81)
Self test (82)
Self test (83)

163569

133 -

134 /* -

135 ** Set the current error code to err_code and clear any prior error message. -

136 ** Also set iSysErrno (by calling sqlite3System) if the err_code indicates -

137 ** that would be appropriate. -

138 */ -

139 void sqlite3Error(sqlite3 *db, int err_code){ -

140 assert( db!=0 ); -

141 db->errCode = err_code; -

142

if( err_code || db->pErr ) sqlite3ErrorFinish(db, err_code);

executed 163569 times by 19 tests: sqlite3ErrorFinish(db, err_code);

Executed by:

Self test (24)
Self test (26)
Self test (27)
Self test (28)
Self test (29)
Self test (30)
Self test (34)
Self test (35)
Self test (39)
Self test (438)
Self test (47)
Self test (53)
Self test (61)
Self test (78)
Self test (79)
Self test (80)
Self test (81)
Self test (82)
Self test (83)

err_code

Description

TRUE

evaluated 8439 times by 2 tests

Evaluated by:

Self test (438)
Self test (47)

FALSE

evaluated 1433402 times by 438 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (102)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
...

db->pErr

Description

TRUE

evaluated 155130 times by 19 tests

Evaluated by:

Self test (24)
Self test (26)
Self test (27)
Self test (28)
Self test (29)
Self test (30)
Self test (34)
Self test (35)
Self test (39)
Self test (438)
Self test (47)
Self test (53)
Self test (61)
Self test (78)
Self test (79)
Self test (80)
Self test (81)
Self test (82)
Self test (83)

FALSE

evaluated 1278272 times by 438 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (102)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
...

8439-1433402

143

}

executed 1441841 times by 438 tests: end of block

Executed by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (102)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
...

1441841

144 -

145 /* -

146 ** Load the sqlite3.iSysErrno field if that is an appropriate thing -

147 ** to do based on the SQLite error code in rc. -

148 */ -

149 void sqlite3SystemError(sqlite3 *db, int rc){ -

150

if( rc==SQLITE_IOERR_NOMEM ) return;

executed 219 times by 1 test: return;

Executed by:

Self test (438)

rc==(10 \| (12<<8))	Description
TRUE	evaluated 219 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 181314 times by 19 tests Evaluated by: Self test (24) Self test (26) Self test (27) Self test (28) Self test (29) Self test (30) Self test (34) Self test (35) Self test (39) Self test (438) Self test (47) Self test (53) Self test (61) Self test (78) Self test (79) Self test (80) Self test (81) Self test (82) Self test (83)

219-181314

151 rc &= 0xff; -

152

if( rc==SQLITE_CANTOPEN || rc==SQLITE_IOERR ){

rc==14	Description
TRUE	evaluated 527 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 180787 times by 19 tests Evaluated by: Self test (24) Self test (26) Self test (27) Self test (28) Self test (29) Self test (30) Self test (34) Self test (35) Self test (39) Self test (438) Self test (47) Self test (53) Self test (61) Self test (78) Self test (79) Self test (80) Self test (81) Self test (82) Self test (83)

rc==10	Description
TRUE	evaluated 187 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 180600 times by 19 tests Evaluated by: Self test (24) Self test (26) Self test (27) Self test (28) Self test (29) Self test (30) Self test (34) Self test (35) Self test (39) Self test (438) Self test (47) Self test (53) Self test (61) Self test (78) Self test (79) Self test (80) Self test (81) Self test (82) Self test (83)

187-180787

153 db->iSysErrno = sqlite3OsGetLastError(db->pVfs); -

154

}

executed 714 times by 1 test: end of block

Executed by:

Self test (438)

714

155

}

executed 181314 times by 19 tests: end of block

Executed by:

Self test (24)
Self test (26)
Self test (27)
Self test (28)
Self test (29)
Self test (30)
Self test (34)
Self test (35)
Self test (39)
Self test (438)
Self test (47)
Self test (53)
Self test (61)
Self test (78)
Self test (79)
Self test (80)
Self test (81)
Self test (82)
Self test (83)

181314

156 -

157 /* -

158 ** Set the most recent error code and error string for the sqlite -

159 ** handle "db". The error code is set to "err_code". -

160 ** -

161 ** If it is not NULL, string zFormat specifies the format of the -

162 ** error string in the style of the printf functions: The following -

163 ** format characters are allowed: -

164 ** -

165 ** %s Insert a string -

166 ** %z A string that should be freed after use -

167 ** %d Insert an integer -

168 ** %T Insert a token -

169 ** %S Insert the first element of a SrcList -

170 ** -

171 ** zFormat and any string tokens that follow it are assumed to be -

172 ** encoded in UTF-8. -

173 ** -

174 ** To clear the most recent error for sqlite handle "db", sqlite3Error -

175 ** should be called with err_code set to SQLITE_OK and zFormat set -

176 ** to NULL. -

177 */ -

178 void sqlite3ErrorWithMsg(sqlite3 *db, int err_code, const char *zFormat, ...){ -

179 assert( db!=0 ); -

180 db->errCode = err_code; -

181 sqlite3SystemError(db, err_code); -

182

if( zFormat==0 ){

zFormat==0	Description
TRUE	evaluated 9114 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 2232 times by 13 tests Evaluated by: Self test (26) Self test (27) Self test (29) Self test (39) Self test (438) Self test (47) Self test (61) Self test (78) Self test (79) Self test (80) Self test (81) Self test (82) Self test (83)

2232-9114

183 sqlite3Error(db, err_code); -

184

}else if( db->pErr || (db->pErr = sqlite3ValueNew(db))!=0 ){

executed 9114 times by 1 test: end of block

Executed by:

Self test (438)

db->pErr	Description
TRUE	evaluated 1498 times by 6 tests Evaluated by: Self test (26) Self test (27) Self test (29) Self test (39) Self test (438) Self test (47)
FALSE	evaluated 734 times by 9 tests Evaluated by: Self test (438) Self test (47) Self test (61) Self test (78) Self test (79) Self test (80) Self test (81) Self test (82) Self test (83)

(db->pErr = sq...lueNew(db))!=0	Description
TRUE	evaluated 608 times by 9 tests Evaluated by: Self test (438) Self test (47) Self test (61) Self test (78) Self test (79) Self test (80) Self test (81) Self test (82) Self test (83)
FALSE	evaluated 126 times by 1 test Evaluated by: Self test (438)

126-9114

185 char *z; -

186 va_list ap; -

187 va_start(ap, zFormat); -

188 z = sqlite3VMPrintf(db, zFormat, ap); -

189 va_end(ap); -

190 sqlite3ValueSetStr(db->pErr, -1, z, SQLITE_UTF8, SQLITE_DYNAMIC); -

191

}

executed 2106 times by 13 tests: end of block

Executed by:

Self test (26)
Self test (27)
Self test (29)
Self test (39)
Self test (438)
Self test (47)
Self test (61)
Self test (78)
Self test (79)
Self test (80)
Self test (81)
Self test (82)
Self test (83)

2106

192

}

executed 11346 times by 13 tests: end of block

Executed by:

Self test (26)
Self test (27)
Self test (29)
Self test (39)
Self test (438)
Self test (47)
Self test (61)
Self test (78)
Self test (79)
Self test (80)
Self test (81)
Self test (82)
Self test (83)

11346

193 -

194 /* -

195 ** Add an error message to pParse->zErrMsg and increment pParse->nErr. -

196 ** The following formatting characters are allowed: -

197 ** -

198 ** %s Insert a string -

199 ** %z A string that should be freed after use -

200 ** %d Insert an integer -

201 ** %T Insert a token -

202 ** %S Insert the first element of a SrcList -

203 ** -

204 ** This function should be used to report any error that occurs while -

205 ** compiling an SQL statement (i.e. within sqlite3_prepare()). The -

206 ** last thing the sqlite3_prepare() function does is copy the error -

207 ** stored by this function into the database handle using sqlite3Error(). -

208 ** Functions sqlite3Error() or sqlite3ErrorWithMsg() should be used -

209 ** during statement execution (sqlite3_step() etc.). -

210 */ -

211 void sqlite3ErrorMsg(Parse *pParse, const char *zFormat, ...){ -

212 char *zMsg; -

213 va_list ap; -

214 sqlite3 *db = pParse->db; -

215 va_start(ap, zFormat); -

216 zMsg = sqlite3VMPrintf(db, zFormat, ap); -

217 va_end(ap); -

218

if( db->suppressErr ){

db->suppressErr	Description
TRUE	evaluated 477 times by 2 tests Evaluated by: Self test (438) Self test (47)
FALSE	evaluated 1891 times by 12 tests Evaluated by: Self test (26) Self test (27) Self test (29) Self test (39) Self test (438) Self test (47) Self test (78) Self test (79) Self test (80) Self test (81) Self test (82) Self test (83)

477-1891

219 sqlite3DbFree(db, zMsg); -

220

}else{

executed 477 times by 2 tests: end of block

Executed by:

Self test (438)
Self test (47)

477

221 pParse->nErr++; -

222 sqlite3DbFree(db, pParse->zErrMsg); -

223 pParse->zErrMsg = zMsg; -

224 pParse->rc = SQLITE_ERROR; -

225

}

executed 1891 times by 12 tests: end of block

Executed by:

Self test (26)
Self test (27)
Self test (29)
Self test (39)
Self test (438)
Self test (47)
Self test (78)
Self test (79)
Self test (80)
Self test (81)
Self test (82)
Self test (83)

1891

226 } -

227 -

228 /* -

229 ** Convert an SQL-style quoted string into a normal string by removing -

230 ** the quote characters. The conversion is done in-place. If the -

231 ** input does not begin with a quote character, then this routine -

232 ** is a no-op. -

233 ** -

234 ** The input string must be zero-terminated. A new zero-terminator -

235 ** is added to the dequoted string. -

236 ** -

237 ** The return value is -1 if no dequoting occurs or the length of the -

238 ** dequoted string, exclusive of the zero terminator, if dequoting does -

239 ** occur. -

240 ** -

241 ** 2002-Feb-14: This routine is extended to remove MS-Access style -

242 ** brackets from around identifiers. For example: "[a-b-c]" becomes -

243 ** "a-b-c". -

244 */ -

245 void sqlite3Dequote(char *z){ -

246 char quote; -

247 int i, j; -

248

if( z==0 ) return;

executed 107 times by 1 test: return;

Executed by:

Self test (438)

z==0

Description

TRUE

evaluated 107 times by 1 test

Evaluated by:

Self test (438)

FALSE

evaluated 1940485 times by 436 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

107-1940485

249 quote = z[0]; -

250

if( !sqlite3Isquote(quote) ) return;

executed 1534389 times by 436 tests: return;

Executed by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

!(sqlite3Ctype...(quote)]&0x80)

Description

TRUE

evaluated 1534389 times by 436 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

FALSE

evaluated 406096 times by 435 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

406096-1534389

251

if( quote=='[' ) quote = ']';

executed 159 times by 1 test: quote = ']';

Executed by:

Self test (438)

quote=='['

Description

TRUE

evaluated 159 times by 1 test

Evaluated by:

Self test (438)

FALSE

evaluated 405937 times by 435 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

159-405937

252 for(i=1, j=0;; i++){ -

253 assert( z[i] ); -

254

if( z[i]==quote ){

z[i]==quote

Description

TRUE

evaluated 413271 times by 435 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

FALSE

evaluated 7943295 times by 435 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

413271-7943295

255

if( z[i+1]==quote ){

z[i+1]==quote

Description

TRUE

evaluated 7175 times by 1 test

Evaluated by:

Self test (438)

FALSE

evaluated 406096 times by 435 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

7175-406096

256 z[j++] = quote; -

257 i++; -

258

}else{

executed 7175 times by 1 test: end of block

Executed by:

Self test (438)

7175

259

break;

executed 406096 times by 435 tests: break;

Executed by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

406096

260 } -

261 }else{ -

262 z[j++] = z[i]; -

263

}

executed 7943295 times by 435 tests: end of block

Executed by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

7943295

264 } -

265 z[j] = 0; -

266

}

executed 406096 times by 435 tests: end of block

Executed by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

406096

267 -

268 /* -

269 ** Generate a Token object from a string -

270 */ -

271 void sqlite3TokenInit(Token *p, char *z){ -

272 p->z = z; -

273 p->n = sqlite3Strlen30(z); -

274

}

executed 424680 times by 412 tests: end of block

Executed by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
Self test (122)
...

424680

275 -

276 /* Convenient short-hand */ -

277 #define UpperToLower sqlite3UpperToLower -

278 -

279 /* -

280 ** Some systems have stricmp(). Others have strcasecmp(). Because -

281 ** there is no consistency, we will define our own. -

282 ** -

283 ** IMPLEMENTATION-OF: R-30243-02494 The sqlite3_stricmp() and -

284 ** sqlite3_strnicmp() APIs allow applications and extensions to compare -

285 ** the contents of two buffers containing UTF-8 strings in a -

286 ** case-independent fashion, using the same definition of "case -

287 ** independence" that SQLite uses internally when comparing identifiers. -

288 */ -

289 int sqlite3_stricmp(const char *zLeft, const char *zRight){ -

290

if( zLeft==0 ){

zLeft==0

Description

TRUE

evaluated 3478 times by 2 tests

Evaluated by:

Self test (34)
Self test (438)

FALSE

evaluated 11850739 times by 436 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

3478-11850739

291

return zRight ? -1 : 0;

executed 3478 times by 2 tests: return zRight ? -1 : 0;

Executed by:

Self test (34)
Self test (438)

zRight	Description
TRUE	evaluated 33 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 3445 times by 2 tests Evaluated by: Self test (34) Self test (438)

33-3478

292

}else if( zRight==0 ){

zRight==0

Description

TRUE

evaluated 4 times by 1 test

Evaluated by:

Self test (438)

FALSE

evaluated 11850735 times by 436 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

4-11850735

293

return 1;

executed 4 times by 1 test: return 1;

Executed by:

Self test (438)

294 } -

295

return sqlite3StrICmp(zLeft, zRight);

executed 11850735 times by 436 tests: return sqlite3StrICmp(zLeft, zRight);

Executed by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

11850735

296 } -

297 int sqlite3StrICmp(const char *zLeft, const char *zRight){ -

298 unsigned char *a, *b; -

299 int c; -

300 a = (unsigned char *)zLeft; -

301 b = (unsigned char *)zRight; -

302 for(;;){ -

303 c = (int)UpperToLower[*a] - (int)UpperToLower[*b]; -

304

if( c || *a==0 ) break;

executed 30205140 times by 438 tests: break;

Executed by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (102)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
...

Description

TRUE

evaluated 26006055 times by 438 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (102)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
...

FALSE

evaluated 57423193 times by 438 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (102)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
...

*a==0

Description

TRUE

evaluated 4199084 times by 438 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (102)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
...

FALSE

evaluated 53224111 times by 438 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (102)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
...

4199084-57423193

305 a++; -

306 b++; -

307

}

executed 53224115 times by 438 tests: end of block

Executed by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (102)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
...

53224115

308

return c;

executed 30205139 times by 438 tests: return c;

Executed by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (102)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
...

30205139

309 } -

310 int sqlite3_strnicmp(const char *zLeft, const char *zRight, int N){ -

311 register unsigned char *a, *b; -

312

if( zLeft==0 ){

zLeft==0

Description

TRUE

evaluated 4458 times by 376 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
Self test (122)
Self test (123)
Self test (124)
Self test (125)
...

FALSE

evaluated 231798 times by 436 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

4458-231798

313

return zRight ? -1 : 0;

executed 4458 times by 376 tests: return zRight ? -1 : 0;

Executed by:

Self test
Self test (10)
Self test (100)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
Self test (122)
Self test (123)
Self test (124)
Self test (125)
...

zRight

Description

TRUE

evaluated 4458 times by 376 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
Self test (122)
Self test (123)
Self test (124)
Self test (125)
...

FALSE

never evaluated

0-4458

314

}else if( zRight==0 ){

zRight==0

Description

TRUE

never evaluated

FALSE

evaluated 231798 times by 436 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

0-231798

315

return 1;

never executed: return 1;

316 } -

317 a = (unsigned char *)zLeft; -

318 b = (unsigned char *)zRight; -

319

while( N-- > 0 && *a!=0 && UpperToLower[*a]==UpperToLower[*b]){ a++; b++; }

executed 865237 times by 436 tests: end of block

Executed by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

N-- > 0

Description

TRUE

evaluated 964270 times by 436 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

FALSE

evaluated 132765 times by 436 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

*a!=0

Description

TRUE

evaluated 964251 times by 436 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

FALSE

evaluated 19 times by 1 test

Evaluated by:

Self test (438)

sqlite3UpperTo...perToLower[*b]

Description

TRUE

evaluated 865237 times by 436 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

FALSE

evaluated 99014 times by 407 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (104)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
Self test (122)
Self test (123)
...

19-964270

320

return N<0 ? 0 : UpperToLower[*a] - UpperToLower[*b];

executed 231798 times by 436 tests: return N<0 ? 0 : sqlite3UpperToLower[*a] - sqlite3UpperToLower[*b];

Executed by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

N<0

Description

TRUE

evaluated 132765 times by 436 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

FALSE

evaluated 99033 times by 407 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (104)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
Self test (122)
Self test (123)
...

99033-231798

321 } -

322 -

323 /* -

324 ** Compute 10 to the E-th power. Examples: E==1 results in 10. -

325 ** E==2 results in 100. E==50 results in 1.0e50. -

326 ** -

327 ** This routine only works for values of E between 1 and 341. -

328 */ -

329 static LONGDOUBLE_TYPE sqlite3Pow10(int E){ -

330 #if defined(_MSC_VER) -

331 static const LONGDOUBLE_TYPE x[] = { -

332 1.0e+001, -

333 1.0e+002, -

334 1.0e+004, -

335 1.0e+008, -

336 1.0e+016, -

337 1.0e+032, -

338 1.0e+064, -

339 1.0e+128, -

340 1.0e+256 -

341 }; -

342 LONGDOUBLE_TYPE r = 1.0; -

343 int i; -

344 assert( E>=0 && E<=307 ); -

345 for(i=0; E!=0; i++, E >>=1){ -

346 if( E & 1 ) r *= x[i]; -

347 } -

348 return r; -

349 #else -

350 LONGDOUBLE_TYPE x = 10.0; -

351 LONGDOUBLE_TYPE r = 1.0; -

352 while(1){ -

353

if( E & 1 ) r *= x;

executed 218580 times by 1 test: r *= x;

Executed by:

Self test (438)

E & 1	Description
TRUE	evaluated 218580 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 138935 times by 1 test Evaluated by: Self test (438)

138935-218580

354 E >>= 1; -

355

if( E==0 ) break;

executed 86514 times by 1 test: break;

Executed by:

Self test (438)

E==0	Description
TRUE	evaluated 86514 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 271001 times by 1 test Evaluated by: Self test (438)

86514-271001

356 x *= x; -

357

}

executed 271001 times by 1 test: end of block

Executed by:

Self test (438)

271001

358

return r;

executed 86514 times by 1 test: return r;

Executed by:

Self test (438)

86514

359 #endif -

360 } -

361 -

362 /* -

363 ** The string z[] is an text representation of a real number. -

364 ** Convert this string to a double and write it into *pResult. -

365 ** -

366 ** The string z[] is length bytes in length (bytes, not characters) and -

367 ** uses the encoding enc. The string is not necessarily zero-terminated. -

368 ** -

369 ** Return TRUE if the result is a valid real number (or integer) and FALSE -

370 ** if the string is empty or contains extraneous text. Valid numbers -

371 ** are in one of these formats: -

372 ** -

373 ** [+-]digits[E[+-]digits] -

374 ** [+-]digits.[digits][E[+-]digits] -

375 ** [+-].digits[E[+-]digits] -

376 ** -

377 ** Leading and trailing whitespace is ignored for the purpose of determining -

378 ** validity. -

379 ** -

380 ** If some prefix of the input string is a valid number, this routine -

381 ** returns FALSE but it still converts the prefix and writes the result -

382 ** into *pResult. -

383 */ -

384 int sqlite3AtoF(const char *z, double *pResult, int length, u8 enc){ -

385 #ifndef SQLITE_OMIT_FLOATING_POINT -

386 int incr; -

387 const char *zEnd = z + length; -

388 /* sign * significand * (10 ^ (esign * exponent)) */ -

389 int sign = 1; /* sign of significand */ -

390 i64 s = 0; /* significand */ -

391 int d = 0; /* adjust exponent for shifting decimal point */ -

392 int esign = 1; /* sign of exponent */ -

393 int e = 0; /* exponent */ -

394 int eValid = 1; /* True exponent is either not used or is well-formed */ -

395 double result; -

396 int nDigits = 0; -

397 int nonNum = 0; /* True if input contains UTF16 with high byte non-zero */ -

398 -

399 assert( enc==SQLITE_UTF8 || enc==SQLITE_UTF16LE || enc==SQLITE_UTF16BE ); -

400 *pResult = 0.0; /* Default return value, in case of an error */ -

401 -

402

if( enc==SQLITE_UTF8 ){

enc==1	Description
TRUE	evaluated 4785352 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 1354 times by 1 test Evaluated by: Self test (438)

1354-4785352

403 incr = 1; -

404

}else{

executed 4785352 times by 1 test: end of block

Executed by:

Self test (438)

4785352

405 int i; -

406 incr = 2; -

407 assert( SQLITE_UTF16LE==2 && SQLITE_UTF16BE==3 ); -

408

for(i=3-enc; i<length && z[i]==0; i+=2){}

executed 10749 times by 1 test: end of block

Executed by:

Self test (438)

i<length	Description
TRUE	evaluated 10753 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 1350 times by 1 test Evaluated by: Self test (438)

z[i]==0	Description
TRUE	evaluated 10749 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 4 times by 1 test Evaluated by: Self test (438)

4-10753

409 nonNum = i<length; -

410 zEnd = &z[i^1]; -

411 z += (enc&1); -

412

}

executed 1354 times by 1 test: end of block

Executed by:

Self test (438)

1354

413 -

414 /* skip leading spaces */ -

415

while( z<zEnd && sqlite3Isspace(*z) ) z+=incr;

executed 70 times by 1 test: z+=incr;

Executed by:

Self test (438)

z<zEnd	Description
TRUE	evaluated 4786133 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 643 times by 1 test Evaluated by: Self test (438)

(sqlite3CtypeM...ar)(*z)]&0x01)	Description
TRUE	evaluated 70 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 4786063 times by 1 test Evaluated by: Self test (438)

70-4786133

416

if( z>=zEnd ) return 0;

executed 643 times by 1 test: return 0;

Executed by:

Self test (438)

z>=zEnd	Description
TRUE	evaluated 643 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 4786063 times by 1 test Evaluated by: Self test (438)

643-4786063

417 -

418 /* get sign of significand */ -

419

if( *z=='-' ){

*z=='-'	Description
TRUE	evaluated 10062 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 4776001 times by 1 test Evaluated by: Self test (438)

10062-4776001

420 sign = -1; -

421 z+=incr; -

422

}else if( *z=='+' ){

executed 10062 times by 1 test: end of block

Executed by:

Self test (438)

*z=='+'	Description
TRUE	evaluated 86 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 4775915 times by 1 test Evaluated by: Self test (438)

86-4775915

423 z+=incr; -

424

}

executed 86 times by 1 test: end of block

Executed by:

Self test (438)

425 -

426 /* copy max significant digits to significand */ -

427

while( z<zEnd && sqlite3Isdigit(*z) && s<((LARGEST_INT64-9)/10) ){

z<zEnd	Description
TRUE	evaluated 9317266 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 4030931 times by 1 test Evaluated by: Self test (438)

(sqlite3CtypeM...ar)(*z)]&0x04)	Description
TRUE	evaluated 8562235 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 755031 times by 1 test Evaluated by: Self test (438)

s<(((0xfffffff...)<<32))-9)/10)	Description
TRUE	evaluated 8562134 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 101 times by 1 test Evaluated by: Self test (438)

101-9317266

428 s = s*10 + (*z - '0'); -

429 z+=incr; nDigits++; -

430

}

executed 8562134 times by 1 test: end of block

Executed by:

Self test (438)

8562134

431 -

432 /* skip non-significant significand digits -

433 ** (increase exponent by d to shift decimal left) */ -

434

while( z<zEnd && sqlite3Isdigit(*z) ){ z+=incr; nDigits++; d++; }

executed 12394 times by 1 test: end of block

Executed by:

Self test (438)

z<zEnd	Description
TRUE	evaluated 767454 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 4031003 times by 1 test Evaluated by: Self test (438)

(sqlite3CtypeM...ar)(*z)]&0x04)	Description
TRUE	evaluated 12394 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 755060 times by 1 test Evaluated by: Self test (438)

12394-4031003

435

if( z>=zEnd ) goto do_atof_calc;

executed 4031003 times by 1 test: goto do_atof_calc;

Executed by:

Self test (438)

z>=zEnd	Description
TRUE	evaluated 4031003 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 755060 times by 1 test Evaluated by: Self test (438)

755060-4031003

436 -

437 /* if decimal point is present */ -

438

if( *z=='.' ){

*z=='.'	Description
TRUE	evaluated 95546 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 659514 times by 1 test Evaluated by: Self test (438)

95546-659514

439 z+=incr; -

440 /* copy digits from after decimal to significand -

441 ** (decrease exponent by d to shift decimal right) */ -

442

while( z<zEnd && sqlite3Isdigit(*z) ){

z<zEnd	Description
TRUE	evaluated 1631223 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 36476 times by 1 test Evaluated by: Self test (438)

(sqlite3CtypeM...ar)(*z)]&0x04)	Description
TRUE	evaluated 1572153 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 59070 times by 1 test Evaluated by: Self test (438)

36476-1631223

443

if( s<((LARGEST_INT64-9)/10) ){

s<(((0xfffffff...)<<32))-9)/10)	Description
TRUE	evaluated 1175883 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 396270 times by 1 test Evaluated by: Self test (438)

396270-1175883

444 s = s*10 + (*z - '0'); -

445 d--; -

446

}

executed 1175883 times by 1 test: end of block

Executed by:

Self test (438)

1175883

447 z+=incr; nDigits++; -

448

}

executed 1572153 times by 1 test: end of block

Executed by:

Self test (438)

1572153

449

}

executed 95546 times by 1 test: end of block

Executed by:

Self test (438)

95546

450

if( z>=zEnd ) goto do_atof_calc;

executed 36476 times by 1 test: goto do_atof_calc;

Executed by:

Self test (438)

z>=zEnd	Description
TRUE	evaluated 36476 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 718584 times by 1 test Evaluated by: Self test (438)

36476-718584

451 -

452 /* if exponent is present */ -

453

if( *z=='e' || *z=='E' ){

*z=='e'	Description
TRUE	evaluated 52760 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 665824 times by 1 test Evaluated by: Self test (438)

*z=='E'	Description
TRUE	evaluated 25 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 665799 times by 1 test Evaluated by: Self test (438)

25-665824

454 z+=incr; -

455 eValid = 0; -

456 -

457 /* This branch is needed to avoid a (harmless) buffer overread. The -

458 ** special comment alerts the mutation tester that the correct answer -

459 ** is obtained even if the branch is omitted */ -

460

if( z>=zEnd ) goto do_atof_calc; /*PREVENTS-HARMLESS-OVERREAD*/

executed 9 times by 1 test: goto do_atof_calc;

Executed by:

Self test (438)

z>=zEnd	Description
TRUE	evaluated 9 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 52776 times by 1 test Evaluated by: Self test (438)

9-52776

461 -

462 /* get sign of exponent */ -

463

if( *z=='-' ){

*z=='-'	Description
TRUE	evaluated 27932 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 24844 times by 1 test Evaluated by: Self test (438)

24844-27932

464 esign = -1; -

465 z+=incr; -

466

}else if( *z=='+' ){

executed 27932 times by 1 test: end of block

Executed by:

Self test (438)

*z=='+'	Description
TRUE	evaluated 24741 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 103 times by 1 test Evaluated by: Self test (438)

103-27932

467 z+=incr; -

468

}

executed 24741 times by 1 test: end of block

Executed by:

Self test (438)

24741

469 /* copy digits to exponent */ -

470

while( z<zEnd && sqlite3Isdigit(*z) ){

z<zEnd	Description
TRUE	evaluated 104033 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 51763 times by 1 test Evaluated by: Self test (438)

(sqlite3CtypeM...ar)(*z)]&0x04)	Description
TRUE	evaluated 103020 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 1013 times by 1 test Evaluated by: Self test (438)

1013-104033

471

e = e<10000 ? (e*10 + (*z - '0')) : 10000;

e<10000	Description
TRUE	evaluated 103010 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 10 times by 1 test Evaluated by: Self test (438)

10-103010

472 z+=incr; -

473 eValid = 1; -

474

}

executed 103020 times by 1 test: end of block

Executed by:

Self test (438)

103020

475

}

executed 52776 times by 1 test: end of block

Executed by:

Self test (438)

52776

476 -

477 /* skip trailing spaces */ -

478

while( z<zEnd && sqlite3Isspace(*z) ) z+=incr;

executed 28 times by 1 test: z+=incr;

Executed by:

Self test (438)

z<zEnd	Description
TRUE	evaluated 666830 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 51773 times by 1 test Evaluated by: Self test (438)

(sqlite3CtypeM...ar)(*z)]&0x01)	Description
TRUE	evaluated 28 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 666802 times by 1 test Evaluated by: Self test (438)

28-666830

479 -

480

do_atof_calc:

code before this statement executed 718575 times by 1 test: do_atof_calc:

Executed by:

Self test (438)

718575

481 /* adjust exponent by d, and update sign */ -

482 e = (e*esign) + d; -

483

if( e<0 ) {

e<0	Description
TRUE	evaluated 82667 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 4703396 times by 1 test Evaluated by: Self test (438)

82667-4703396

484 esign = -1; -

485 e *= -1; -

486

} else {

executed 82667 times by 1 test: end of block

Executed by:

Self test (438)

82667

487 esign = 1; -

488

}

executed 4703396 times by 1 test: end of block

Executed by:

Self test (438)

4703396

489 -

490

if( s==0 ) {

s==0	Description
TRUE	evaluated 1660322 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 3125741 times by 1 test Evaluated by: Self test (438)

1660322-3125741

491 /* In the IEEE 754 standard, zero is signed. */ -

492

result = sign<0 ? -(double)0 : (double)0;

sign<0	Description
TRUE	never evaluated
FALSE	evaluated 1660322 times by 1 test Evaluated by: Self test (438)

0-1660322

493

} else {

executed 1660322 times by 1 test: end of block

Executed by:

Self test (438)

1660322

494 /* Attempt to reduce exponent. -

495 ** -

496 ** Branches that are not required for the correct answer but which only -

497 ** help to obtain the correct answer faster are marked with special -

498 ** comments, as a hint to the mutation tester. -

499 */ -

500

while( e>0 ){ /*OPTIMIZATION-IF-TRUE*/

e>0	Description
TRUE	evaluated 124048 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 3039217 times by 1 test Evaluated by: Self test (438)

124048-3039217

501

if( esign>0 ){

esign>0	Description
TRUE	evaluated 28222 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 95826 times by 1 test Evaluated by: Self test (438)

28222-95826

502

if( s>=(LARGEST_INT64/10) ) break; /*OPTIMIZATION-IF-FALSE*/

executed 11715 times by 1 test: break;

Executed by:

Self test (438)

s>=((0xfffffff...fff)<<32))/10)	Description
TRUE	evaluated 11715 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 16507 times by 1 test Evaluated by: Self test (438)

11715-16507

503 s *= 10; -

504

}else{

executed 16507 times by 1 test: end of block

Executed by:

Self test (438)

16507

505

if( s%10!=0 ) break; /*OPTIMIZATION-IF-FALSE*/

executed 74809 times by 1 test: break;

Executed by:

Self test (438)

s%10!=0	Description
TRUE	evaluated 74809 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 21017 times by 1 test Evaluated by: Self test (438)

21017-74809

506 s /= 10; -

507

}

executed 21017 times by 1 test: end of block

Executed by:

Self test (438)

21017

508 e--; -

509

}

executed 37524 times by 1 test: end of block

Executed by:

Self test (438)

37524

510 -

511 /* adjust the sign of significand */ -

512

s = sign<0 ? -s : s;

sign<0	Description
TRUE	evaluated 10062 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 3115679 times by 1 test Evaluated by: Self test (438)

10062-3115679

513 -

514

if( e==0 ){ /*OPTIMIZATION-IF-TRUE*/

e==0	Description
TRUE	evaluated 3039217 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 86524 times by 1 test Evaluated by: Self test (438)

86524-3039217

515 result = (double)s; -

516

}else{

executed 3039217 times by 1 test: end of block

Executed by:

Self test (438)

3039217

517 /* attempt to handle extremely small/large numbers better */ -

518

if( e>307 ){ /*OPTIMIZATION-IF-TRUE*/

e>307	Description
TRUE	evaluated 24 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 86500 times by 1 test Evaluated by: Self test (438)

24-86500

519

if( e<342 ){ /*OPTIMIZATION-IF-TRUE*/

e<342	Description
TRUE	evaluated 14 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 10 times by 1 test Evaluated by: Self test (438)

10-14

520 LONGDOUBLE_TYPE scale = sqlite3Pow10(e-308); -

521

if( esign<0 ){

esign<0	Description
TRUE	evaluated 14 times by 1 test Evaluated by: Self test (438)
FALSE	never evaluated

0-14

522 result = s / scale; -

523 result /= 1.0e+308; -

524

}else{

executed 14 times by 1 test: end of block

Executed by:

Self test (438)

525 result = s * scale; -

526 result *= 1.0e+308; -

527

}

never executed: end of block

528 }else{ assert( e>=342 ); -

529

if( esign<0 ){

esign<0	Description
TRUE	evaluated 5 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 5 times by 1 test Evaluated by: Self test (438)

530 result = 0.0*s; -

531

}else{

executed 5 times by 1 test: end of block

Executed by:

Self test (438)

532 #ifdef INFINITY -

533 result = INFINITY*s; -

534 #else -

535 result = 1e308*1e308*s; /* Infinity */ -

536 #endif -

537

}

executed 5 times by 1 test: end of block

Executed by:

Self test (438)

538 } -

539 }else{ -

540 LONGDOUBLE_TYPE scale = sqlite3Pow10(e); -

541

if( esign<0 ){

esign<0	Description
TRUE	evaluated 74790 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 11710 times by 1 test Evaluated by: Self test (438)

11710-74790

542 result = s / scale; -

543

}else{

executed 74790 times by 1 test: end of block

Executed by:

Self test (438)

74790

544 result = s * scale; -

545

}

executed 11710 times by 1 test: end of block

Executed by:

Self test (438)

11710

546 } -

547 } -

548 } -

549 -

550 /* store the result */ -

551 *pResult = result; -

552 -

553 /* return true if number and no extra non-whitespace chracters after */ -

554

return z==zEnd && nDigits>0 && eValid && nonNum==0;

executed 4786063 times by 1 test: return z==zEnd && nDigits>0 && eValid && nonNum==0;

Executed by:

Self test (438)

z==zEnd	Description
TRUE	evaluated 4119261 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 666802 times by 1 test Evaluated by: Self test (438)

nDigits>0	Description
TRUE	evaluated 4119252 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 9 times by 1 test Evaluated by: Self test (438)

eValid	Description
TRUE	evaluated 4119250 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 2 times by 1 test Evaluated by: Self test (438)

nonNum==0	Description
TRUE	evaluated 4119248 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 2 times by 1 test Evaluated by: Self test (438)

2-4786063

555 #else -

556 return !sqlite3Atoi64(z, pResult, length, enc); -

557 #endif /* SQLITE_OMIT_FLOATING_POINT */ -

558 } -

559 -

560 /* -

561 ** Compare the 19-character string zNum against the text representation -

562 ** value 2^63: 9223372036854775808. Return negative, zero, or positive -

563 ** if zNum is less than, equal to, or greater than the string. -

564 ** Note that zNum must contain exactly 19 characters. -

565 ** -

566 ** Unlike memcmp() this routine is guaranteed to return the difference -

567 ** in the values of the last digit if the only difference is in the -

568 ** last digit. So, for example, -

569 ** -

570 ** compare2pow63("9223372036854775800", 1) -

571 ** -

572 ** will return -8. -

573 */ -

574 static int compare2pow63(const char *zNum, int incr){ -

575 int c = 0; -

576 int i; -

577 /* 012345678901234567 */ -

578 const char *pow63 = "922337203685477580"; -

579

for(i=0; c==0 && i<18; i++){

c==0	Description
TRUE	evaluated 7307 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 66 times by 1 test Evaluated by: Self test (438)

i<18	Description
TRUE	evaluated 6940 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 367 times by 1 test Evaluated by: Self test (438)

66-7307

580 c = (zNum[i*incr]-pow63[i])*10; -

581

}

executed 6940 times by 1 test: end of block

Executed by:

Self test (438)

6940

582

if( c==0 ){

c==0	Description
TRUE	evaluated 367 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 66 times by 1 test Evaluated by: Self test (438)

66-367

583 c = zNum[18*incr] - '8'; -

584 testcase( c==(-1) ); -

585 testcase( c==0 ); -

586 testcase( c==(+1) ); -

587

}

executed 367 times by 1 test: end of block

Executed by:

Self test (438)

367

588

return c;

executed 433 times by 1 test: return c;

Executed by:

Self test (438)

433

589 } -

590 -

591 /* -

592 ** Convert zNum to a 64-bit signed integer. zNum must be decimal. This -

593 ** routine does *not* accept hexadecimal notation. -

594 ** -

595 ** Returns: -

596 ** -

597 ** 0 Successful transformation. Fits in a 64-bit signed integer. -

598 ** 1 Excess non-space text after the integer value -

599 ** 2 Integer too large for a 64-bit signed integer or is malformed -

600 ** 3 Special case of 9223372036854775808 -

601 ** -

602 ** length is the number of bytes in the string (bytes, not characters). -

603 ** The string is not necessarily zero-terminated. The encoding is -

604 ** given by enc. -

605 */ -

606 int sqlite3Atoi64(const char *zNum, i64 *pNum, int length, u8 enc){ -

607 int incr; -

608 u64 u = 0; -

609 int neg = 0; /* assume positive */ -

610 int i; -

611 int c = 0; -

612 int nonNum = 0; /* True if input contains UTF16 with high byte non-zero */ -

613 int rc; /* Baseline return code */ -

614 const char *zStart; -

615 const char *zEnd = zNum + length; -

616 assert( enc==SQLITE_UTF8 || enc==SQLITE_UTF16LE || enc==SQLITE_UTF16BE ); -

617

if( enc==SQLITE_UTF8 ){

enc==1	Description
TRUE	evaluated 4066163 times by 3 tests Evaluated by: Self test (32) Self test (33) Self test (438)
FALSE	evaluated 758 times by 1 test Evaluated by: Self test (438)

758-4066163

618 incr = 1; -

619

}else{

executed 4066163 times by 3 tests: end of block

Executed by:

Self test (32)
Self test (33)
Self test (438)

4066163

620 incr = 2; -

621 assert( SQLITE_UTF16LE==2 && SQLITE_UTF16BE==3 ); -

622

for(i=3-enc; i<length && zNum[i]==0; i+=2){}

executed 5975 times by 1 test: end of block

Executed by:

Self test (438)

i<length	Description
TRUE	evaluated 5979 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 754 times by 1 test Evaluated by: Self test (438)

zNum[i]==0	Description
TRUE	evaluated 5975 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 4 times by 1 test Evaluated by: Self test (438)

4-5979

623 nonNum = i<length; -

624 zEnd = &zNum[i^1]; -

625 zNum += (enc&1); -

626

}

executed 758 times by 1 test: end of block

Executed by:

Self test (438)

758

627

while( zNum<zEnd && sqlite3Isspace(*zNum) ) zNum+=incr;

executed 83 times by 1 test: zNum+=incr;

Executed by:

Self test (438)

zNum<zEnd	Description
TRUE	evaluated 4066805 times by 3 tests Evaluated by: Self test (32) Self test (33) Self test (438)
FALSE	evaluated 199 times by 1 test Evaluated by: Self test (438)

(sqlite3CtypeM...(*zNum)]&0x01)	Description
TRUE	evaluated 83 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 4066722 times by 3 tests Evaluated by: Self test (32) Self test (33) Self test (438)

83-4066805

628

if( zNum<zEnd ){

zNum<zEnd	Description
TRUE	evaluated 4066722 times by 3 tests Evaluated by: Self test (32) Self test (33) Self test (438)
FALSE	evaluated 199 times by 1 test Evaluated by: Self test (438)

199-4066722

629

if( *zNum=='-' ){

*zNum=='-'	Description
TRUE	evaluated 154 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 4066568 times by 3 tests Evaluated by: Self test (32) Self test (33) Self test (438)

154-4066568

630 neg = 1; -

631 zNum+=incr; -

632

}else if( *zNum=='+' ){

executed 154 times by 1 test: end of block

Executed by:

Self test (438)

*zNum=='+'	Description
TRUE	evaluated 13 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 4066555 times by 3 tests Evaluated by: Self test (32) Self test (33) Self test (438)

13-4066555

633 zNum+=incr; -

634

}

executed 13 times by 1 test: end of block

Executed by:

Self test (438)

635

}

executed 4066722 times by 3 tests: end of block

Executed by:

Self test (32)
Self test (33)
Self test (438)

4066722

636 zStart = zNum; -

637

while( zNum<zEnd && zNum[0]=='0' ){ zNum+=incr; } /* Skip leading zeros. */

executed 1005049 times by 2 tests: end of block

Executed by:

Self test (32)
Self test (438)

zNum<zEnd	Description
TRUE	evaluated 4071537 times by 3 tests Evaluated by: Self test (32) Self test (33) Self test (438)
FALSE	evaluated 1000433 times by 2 tests Evaluated by: Self test (32) Self test (438)

zNum[0]=='0'	Description
TRUE	evaluated 1005049 times by 2 tests Evaluated by: Self test (32) Self test (438)
FALSE	evaluated 3066488 times by 2 tests Evaluated by: Self test (33) Self test (438)

1000433-4071537

638

for(i=0; &zNum[i]<zEnd && (c=zNum[i])>='0' && c<='9'; i+=incr){

&zNum[i]<zEnd	Description
TRUE	evaluated 7498346 times by 2 tests Evaluated by: Self test (33) Self test (438)
FALSE	evaluated 4046552 times by 3 tests Evaluated by: Self test (32) Self test (33) Self test (438)

(c=zNum[i])>='0'	Description
TRUE	evaluated 7478839 times by 2 tests Evaluated by: Self test (33) Self test (438)
FALSE	evaluated 19507 times by 1 test Evaluated by: Self test (438)

c<='9'	Description
TRUE	evaluated 7477977 times by 2 tests Evaluated by: Self test (33) Self test (438)
FALSE	evaluated 862 times by 1 test Evaluated by: Self test (438)

862-7498346

639 u = u*10 + c - '0'; -

640

}

executed 7477977 times by 2 tests: end of block

Executed by:

Self test (33)
Self test (438)

7477977

641 testcase( i==18*incr ); -

642 testcase( i==19*incr ); -

643 testcase( i==20*incr ); -

644

if( u>LARGEST_INT64 ){

u>(0xffffffff\|...fffffff)<<32))	Description
TRUE	evaluated 169 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 4066752 times by 3 tests Evaluated by: Self test (32) Self test (33) Self test (438)

169-4066752

645 /* This test and assignment is needed only to suppress UB warnings -

646 ** from clang and -fsanitize=undefined. This test and assignment make -

647 ** the code a little larger and slower, and no harm comes from omitting -

648 ** them, but we must appaise the undefined-behavior pharisees. */ -

649

*pNum = neg ? SMALLEST_INT64 : LARGEST_INT64;

neg	Description
TRUE	evaluated 24 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 145 times by 1 test Evaluated by: Self test (438)

24-145

650

}else if( neg ){

executed 169 times by 1 test: end of block

Executed by:

Self test (438)

neg	Description
TRUE	evaluated 130 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 4066622 times by 3 tests Evaluated by: Self test (32) Self test (33) Self test (438)

130-4066622

651 *pNum = -(i64)u; -

652

}else{

executed 130 times by 1 test: end of block

Executed by:

Self test (438)

130

653 *pNum = (i64)u; -

654

}

executed 4066622 times by 3 tests: end of block

Executed by:

Self test (32)
Self test (33)
Self test (438)

4066622

655 rc = 0; -

656

if( (i==0 && zStart==zNum) /* No digits */

i==0	Description
TRUE	evaluated 1005996 times by 2 tests Evaluated by: Self test (32) Self test (438)
FALSE	evaluated 3060925 times by 2 tests Evaluated by: Self test (33) Self test (438)

zStart==zNum	Description
TRUE	evaluated 1225 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 1004771 times by 2 tests Evaluated by: Self test (32) Self test (438)

1225-3060925

657

|| nonNum /* UTF16 with high-order bytes non-zero */

nonNum	Description
TRUE	evaluated 2 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 4065694 times by 3 tests Evaluated by: Self test (32) Self test (33) Self test (438)

2-4065694

658 ){ -

659 rc = 1; -

660

}else if( &zNum[i]<zEnd ){ /* Extra bytes at the end */

executed 1227 times by 1 test: end of block

Executed by:

Self test (438)

&zNum[i]<zEnd	Description
TRUE	evaluated 19343 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 4046351 times by 3 tests Evaluated by: Self test (32) Self test (33) Self test (438)

1227-4046351

661 int jj = i; -

662 do{ -

663

if( !sqlite3Isspace(zNum[jj]) ){

!(sqlite3Ctype...um[jj])]&0x01)	Description
TRUE	evaluated 19327 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 32 times by 1 test Evaluated by: Self test (438)

32-19327

664 rc = 1; /* Extra non-space text after the integer */ -

665

break;

executed 19327 times by 1 test: break;

Executed by:

Self test (438)

19327

666 } -

667 jj += incr; -

668

}while( &zNum[jj]<zEnd );

executed 32 times by 1 test: end of block

Executed by:

Self test (438)

&zNum[jj]<zEnd	Description
TRUE	evaluated 16 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 16 times by 1 test Evaluated by: Self test (438)

16-32

669

}

executed 19343 times by 1 test: end of block

Executed by:

Self test (438)

19343

670

if( i<19*incr ){

i<19*incr	Description
TRUE	evaluated 4066472 times by 3 tests Evaluated by: Self test (32) Self test (33) Self test (438)
FALSE	evaluated 449 times by 1 test Evaluated by: Self test (438)

449-4066472

671 /* Less than 19 digits, so we know that it fits in 64 bits */ -

672 assert( u<=LARGEST_INT64 ); -

673

return rc;

executed 4066472 times by 3 tests: return rc;

Executed by:

Self test (32)
Self test (33)
Self test (438)

4066472

674 }else{ -

675 /* zNum is a 19-digit numbers. Compare it against 9223372036854775808. */ -

676

c = i>19*incr ? 1 : compare2pow63(zNum, incr);

i>19*incr	Description
TRUE	evaluated 16 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 433 times by 1 test Evaluated by: Self test (438)

16-433

677

if( c<0 ){

c<0	Description
TRUE	evaluated 267 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 182 times by 1 test Evaluated by: Self test (438)

182-267

678 /* zNum is less than 9223372036854775808 so it fits */ -

679 assert( u<=LARGEST_INT64 ); -

680

return rc;

executed 267 times by 1 test: return rc;

Executed by:

Self test (438)

267

681 }else{ -

682

*pNum = neg ? SMALLEST_INT64 : LARGEST_INT64;

neg	Description
TRUE	evaluated 25 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 157 times by 1 test Evaluated by: Self test (438)

25-157

683

if( c>0 ){

c>0	Description
TRUE	evaluated 23 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 159 times by 1 test Evaluated by: Self test (438)

23-159

684 /* zNum is greater than 9223372036854775808 so it overflows */ -

685

return 2;

executed 23 times by 1 test: return 2;

Executed by:

Self test (438)

686 }else{ -

687 /* zNum is exactly 9223372036854775808. Fits if negative. The -

688 ** special case 2 overflow if positive */ -

689 assert( u-1==LARGEST_INT64 ); -

690

return neg ? rc : 3;

executed 159 times by 1 test: return neg ? rc : 3;

Executed by:

Self test (438)

neg	Description
TRUE	evaluated 19 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 140 times by 1 test Evaluated by: Self test (438)

19-159

691 } -

692 } -

693 } -

694 } -

695 -

696 /* -

697 ** Transform a UTF-8 integer literal, in either decimal or hexadecimal, -

698 ** into a 64-bit signed integer. This routine accepts hexadecimal literals, -

699 ** whereas sqlite3Atoi64() does not. -

700 ** -

701 ** Returns: -

702 ** -

703 ** 0 Successful transformation. Fits in a 64-bit signed integer. -

704 ** 1 Excess text after the integer value -

705 ** 2 Integer too large for a 64-bit signed integer or is malformed -

706 ** 3 Special case of 9223372036854775808 -

707 */ -

708 int sqlite3DecOrHexToI64(const char *z, i64 *pOut){ -

709 #ifndef SQLITE_OMIT_HEX_INTEGER -

710

if( z[0]=='0'

z[0]=='0'	Description
TRUE	evaluated 85 times by 2 tests Evaluated by: Self test (32) Self test (438)
FALSE	evaluated 3491 times by 2 tests Evaluated by: Self test (33) Self test (438)

85-3491

711

&& (z[1]=='x' || z[1]=='X')

z[1]=='x'	Description
TRUE	evaluated 36 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 49 times by 2 tests Evaluated by: Self test (32) Self test (438)

z[1]=='X'	Description
TRUE	evaluated 3 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 46 times by 2 tests Evaluated by: Self test (32) Self test (438)

3-49

712 ){ -

713 u64 u = 0; -

714 int i, k; -

715

for(i=2; z[i]=='0'; i++){}

executed 1 time by 1 test: end of block

Executed by:

Self test (438)

z[i]=='0'	Description
TRUE	evaluated 1 time by 1 test Evaluated by: Self test (438)
FALSE	evaluated 39 times by 1 test Evaluated by: Self test (438)

1-39

716

for(k=i; sqlite3Isxdigit(z[k]); k++){

(sqlite3CtypeM...)(z[k])]&0x08)	Description
TRUE	evaluated 508 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 39 times by 1 test Evaluated by: Self test (438)

39-508

717 u = u*16 + sqlite3HexToInt(z[k]); -

718

}

executed 508 times by 1 test: end of block

Executed by:

Self test (438)

508

719 memcpy(pOut, &u, 8); -

720

return (z[k]==0 && k-i<=16) ? 0 : 2;

executed 39 times by 1 test: return (z[k]==0 && k-i<=16) ? 0 : 2;

Executed by:

Self test (438)

z[k]==0	Description
TRUE	evaluated 39 times by 1 test Evaluated by: Self test (438)
FALSE	never evaluated

k-i<=16	Description
TRUE	evaluated 35 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 4 times by 1 test Evaluated by: Self test (438)

0-39

721 }else -

722 #endif /* SQLITE_OMIT_HEX_INTEGER */ -

723 { -

724

return sqlite3Atoi64(z, pOut, sqlite3Strlen30(z), SQLITE_UTF8);

executed 3537 times by 3 tests: return sqlite3Atoi64(z, pOut, sqlite3Strlen30(z), 1);

Executed by:

Self test (32)
Self test (33)
Self test (438)

3537

725 } -

726 } -

727 -

728 /* -

729 ** If zNum represents an integer that will fit in 32-bits, then set -

730 ** *pValue to that integer and return true. Otherwise return false. -

731 ** -

732 ** This routine accepts both decimal and hexadecimal notation for integers. -

733 ** -

734 ** Any non-numeric characters that following zNum are ignored. -

735 ** This is different from sqlite3Atoi64() which requires the -

736 ** input number to be zero-terminated. -

737 */ -

738 int sqlite3GetInt32(const char *zNum, int *pValue){ -

739 sqlite_int64 v = 0; -

740 int i, c; -

741 int neg = 0; -

742

if( zNum[0]=='-' ){

zNum[0]=='-'

Description

TRUE

evaluated 22 times by 1 test

Evaluated by:

Self test (438)

FALSE

evaluated 966970 times by 436 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

22-966970

743 neg = 1; -

744 zNum++; -

745

}else if( zNum[0]=='+' ){

executed 22 times by 1 test: end of block

Executed by:

Self test (438)

zNum[0]=='+'

Description

TRUE

evaluated 1 time by 1 test

Evaluated by:

Self test (438)

FALSE

evaluated 966969 times by 436 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

1-966969

746 zNum++; -

747

}

executed 1 time by 1 test: end of block

Executed by:

Self test (438)

748 #ifndef SQLITE_OMIT_HEX_INTEGER -

749

else if( zNum[0]=='0'

zNum[0]=='0'

Description

TRUE

evaluated 55851 times by 345 tests

Evaluated by:

Self test (101)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (120)
Self test (121)
Self test (122)
Self test (123)
Self test (124)
Self test (125)
Self test (126)
Self test (127)
Self test (128)
Self test (129)
...

FALSE

evaluated 911118 times by 436 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

55851-911118

750

&& (zNum[1]=='x' || zNum[1]=='X')

zNum[1]=='x'

Description

TRUE

evaluated 98 times by 1 test

Evaluated by:

Self test (438)

FALSE

evaluated 55753 times by 345 tests

Evaluated by:

Self test (101)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (120)
Self test (121)
Self test (122)
Self test (123)
Self test (124)
Self test (125)
Self test (126)
Self test (127)
Self test (128)
Self test (129)
...

zNum[1]=='X'

Description

TRUE

evaluated 25 times by 1 test

Evaluated by:

Self test (438)

FALSE

evaluated 55728 times by 345 tests

Evaluated by:

Self test (101)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (120)
Self test (121)
Self test (122)
Self test (123)
Self test (124)
Self test (125)
Self test (126)
Self test (127)
Self test (128)
Self test (129)
...

25-55753

751

&& sqlite3Isxdigit(zNum[2])

(sqlite3CtypeM...Num[2])]&0x08)	Description
TRUE	evaluated 123 times by 1 test Evaluated by: Self test (438)
FALSE	never evaluated

0-123

752 ){ -

753 u32 u = 0; -

754 zNum += 2; -

755

while( zNum[0]=='0' ) zNum++;

executed 177 times by 1 test: zNum++;

Executed by:

Self test (438)

zNum[0]=='0'	Description
TRUE	evaluated 177 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 123 times by 1 test Evaluated by: Self test (438)

123-177

756

for(i=0; sqlite3Isxdigit(zNum[i]) && i<8; i++){

(sqlite3CtypeM...Num[i])]&0x08)	Description
TRUE	evaluated 561 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 84 times by 1 test Evaluated by: Self test (438)

i<8	Description
TRUE	evaluated 522 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 39 times by 1 test Evaluated by: Self test (438)

39-561

757 u = u*16 + sqlite3HexToInt(zNum[i]); -

758

}

executed 522 times by 1 test: end of block

Executed by:

Self test (438)

522

759

if( (u&0x80000000)==0 && sqlite3Isxdigit(zNum[i])==0 ){

(u&0x80000000)==0	Description
TRUE	evaluated 112 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 11 times by 1 test Evaluated by: Self test (438)

(sqlite3CtypeM...[i])]&0x08)==0	Description
TRUE	evaluated 83 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 29 times by 1 test Evaluated by: Self test (438)

11-112

760 memcpy(pValue, &u, 4); -

761

return 1;

executed 83 times by 1 test: return 1;

Executed by:

Self test (438)

762 }else{ -

763

return 0;

executed 40 times by 1 test: return 0;

Executed by:

Self test (438)

764 } -

765 } -

766 #endif -

767

if( !sqlite3Isdigit(zNum[0]) ) return 0;

executed 175 times by 1 test: return 0;

Executed by:

Self test (438)

!(sqlite3Ctype...Num[0])]&0x04)

Description

TRUE

evaluated 175 times by 1 test

Evaluated by:

Self test (438)

FALSE

evaluated 966694 times by 436 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

175-966694

768

while( zNum[0]=='0' ) zNum++;

executed 55764 times by 345 tests: zNum++;

Executed by:

Self test (101)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (120)
Self test (121)
Self test (122)
Self test (123)
Self test (124)
Self test (125)
Self test (126)
Self test (127)
Self test (128)
Self test (129)
...

zNum[0]=='0'

Description

TRUE

evaluated 55764 times by 345 tests

Evaluated by:

Self test (101)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (120)
Self test (121)
Self test (122)
Self test (123)
Self test (124)
Self test (125)
Self test (126)
Self test (127)
Self test (128)
Self test (129)
...

FALSE

evaluated 966694 times by 436 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

55764-966694

769

for(i=0; i<11 && (c = zNum[i] - '0')>=0 && c<=9; i++){

i<11

Description

TRUE

evaluated 4140163 times by 436 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

FALSE

evaluated 2493 times by 1 test

Evaluated by:

Self test (438)

(c = zNum[i] - '0')>=0

Description

TRUE

evaluated 3182677 times by 436 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

FALSE

evaluated 957486 times by 436 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

c<=9

Description

TRUE

evaluated 3175962 times by 436 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

FALSE

evaluated 6715 times by 12 tests

Evaluated by:

Self test (24)
Self test (26)
Self test (27)
Self test (28)
Self test (29)
Self test (32)
Self test (33)
Self test (35)
Self test (4)
Self test (438)
Self test (47)
Self test (5)

2493-4140163

770 v = v*10 + c; -

771

}

executed 3175962 times by 436 tests: end of block

Executed by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

3175962

772 -

773 /* The longest decimal representation of a 32 bit integer is 10 digits: -

774 ** -

775 ** 1234567890 -

776 ** 2^31 -> 2147483648 -

777 */ -

778 testcase( i==10 ); -

779

if( i>10 ){

i>10

Description

TRUE

evaluated 2493 times by 1 test

Evaluated by:

Self test (438)

FALSE

evaluated 964201 times by 436 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

2493-964201

780

return 0;

executed 2493 times by 1 test: return 0;

Executed by:

Self test (438)

2493

781 } -

782 testcase( v-neg==2147483647 ); -

783

if( v-neg>2147483647 ){

v-neg>2147483647

Description

TRUE

evaluated 746 times by 1 test

Evaluated by:

Self test (438)

FALSE

evaluated 963455 times by 436 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

746-963455

784

return 0;

executed 746 times by 1 test: return 0;

Executed by:

Self test (438)

746

785 } -

786

if( neg ){

neg

Description

TRUE

evaluated 22 times by 1 test

Evaluated by:

Self test (438)

FALSE

evaluated 963433 times by 436 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

22-963433

787 v = -v; -

788

}

executed 22 times by 1 test: end of block

Executed by:

Self test (438)

789 *pValue = (int)v; -

790

return 1;

executed 963455 times by 436 tests: return 1;

Executed by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

963455

791 } -

792 -

793 /* -

794 ** Return a 32-bit integer value extracted from a string. If the -

795 ** string is not an integer, just return 0. -

796 */ -

797 int sqlite3Atoi(const char *z){ -

798 int x = 0; -

799

if( z ) sqlite3GetInt32(z, &x);

executed 94781 times by 436 tests: sqlite3GetInt32(z, &x);

Executed by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

Description

TRUE

evaluated 94781 times by 436 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

FALSE

evaluated 2 times by 1 test

Evaluated by:

Self test (438)

2-94781

800

return x;

executed 94783 times by 436 tests: return x;

Executed by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

94783

801 } -

802 -

803 /* -

804 ** The variable-length integer encoding is as follows: -

805 ** -

806 ** KEY: -

807 ** A = 0xxxxxxx 7 bits of data and one flag bit -

808 ** B = 1xxxxxxx 7 bits of data and one flag bit -

809 ** C = xxxxxxxx 8 bits of data -

810 ** -

811 ** 7 bits - A -

812 ** 14 bits - BA -

813 ** 21 bits - BBA -

814 ** 28 bits - BBBA -

815 ** 35 bits - BBBBA -

816 ** 42 bits - BBBBBA -

817 ** 49 bits - BBBBBBA -

818 ** 56 bits - BBBBBBBA -

819 ** 64 bits - BBBBBBBBC -

820 */ -

821 -

822 /* -

823 ** Write a 64-bit variable-length integer to memory starting at p[0]. -

824 ** The length of data write will be between 1 and 9 bytes. The number -

825 ** of bytes written is returned. -

826 ** -

827 ** A variable-length integer consists of the lower 7 bits of each byte -

828 ** for all bytes that have the 8th bit set and one byte with the 8th -

829 ** bit clear. Except, if we get to the 9th byte, it stores the full -

830 ** 8 bits and is the last byte. -

831 */ -

832 static int SQLITE_NOINLINE putVarint64(unsigned char *p, u64 v){ -

833 int i, j, n; -

834 u8 buf[10]; -

835

if( v & (((u64)0xff000000)<<32) ){

v & (((u64)0xff000000)<<32)	Description
TRUE	evaluated 20321 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 3160580 times by 12 tests Evaluated by: Self test (100) Self test (438) Self test (64) Self test (91) Self test (92) Self test (93) Self test (94) Self test (95) Self test (96) Self test (97) Self test (98) Self test (99)

20321-3160580

836 p[8] = (u8)v; -

837 v >>= 8; -

838

for(i=7; i>=0; i--){

i>=0	Description
TRUE	evaluated 162568 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 20321 times by 1 test Evaluated by: Self test (438)

20321-162568

839 p[i] = (u8)((v & 0x7f) | 0x80); -

840 v >>= 7; -

841

}

executed 162568 times by 1 test: end of block

Executed by:

Self test (438)

162568

842

return 9;

executed 20321 times by 1 test: return 9;

Executed by:

Self test (438)

20321

843 } -

844 n = 0; -

845 do{ -

846 buf[n++] = (u8)((v & 0x7f) | 0x80); -

847 v >>= 7; -

848

}while( v!=0 );

executed 11289314 times by 12 tests: end of block

Executed by:

Self test (100)
Self test (438)
Self test (64)
Self test (91)
Self test (92)
Self test (93)
Self test (94)
Self test (95)
Self test (96)
Self test (97)
Self test (98)
Self test (99)

v!=0	Description
TRUE	evaluated 8128734 times by 12 tests Evaluated by: Self test (100) Self test (438) Self test (64) Self test (91) Self test (92) Self test (93) Self test (94) Self test (95) Self test (96) Self test (97) Self test (98) Self test (99)
FALSE	evaluated 3160580 times by 12 tests Evaluated by: Self test (100) Self test (438) Self test (64) Self test (91) Self test (92) Self test (93) Self test (94) Self test (95) Self test (96) Self test (97) Self test (98) Self test (99)

3160580-11289314

849 buf[0] &= 0x7f; -

850 assert( n<=9 ); -

851

for(i=0, j=n-1; j>=0; j--, i++){

j>=0	Description
TRUE	evaluated 11289314 times by 12 tests Evaluated by: Self test (100) Self test (438) Self test (64) Self test (91) Self test (92) Self test (93) Self test (94) Self test (95) Self test (96) Self test (97) Self test (98) Self test (99)
FALSE	evaluated 3160580 times by 12 tests Evaluated by: Self test (100) Self test (438) Self test (64) Self test (91) Self test (92) Self test (93) Self test (94) Self test (95) Self test (96) Self test (97) Self test (98) Self test (99)

3160580-11289314

852 p[i] = buf[j]; -

853

}

executed 11289314 times by 12 tests: end of block

Executed by:

Self test (100)
Self test (438)
Self test (64)
Self test (91)
Self test (92)
Self test (93)
Self test (94)
Self test (95)
Self test (96)
Self test (97)
Self test (98)
Self test (99)

11289314

854

return n;

executed 3160580 times by 12 tests: return n;

Executed by:

Self test (100)
Self test (438)
Self test (64)
Self test (91)
Self test (92)
Self test (93)
Self test (94)
Self test (95)
Self test (96)
Self test (97)
Self test (98)
Self test (99)

3160580

855 } -

856 int sqlite3PutVarint(unsigned char *p, u64 v){ -

857

if( v<=0x7f ){

v<=0x7f

Description

TRUE

evaluated 4013691 times by 384 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (104)
Self test (105)
Self test (11)
Self test (119)
Self test (120)
Self test (121)
Self test (122)
Self test (123)
Self test (124)
Self test (125)
Self test (126)
Self test (127)
Self test (128)
Self test (129)
Self test (13)
Self test (130)
Self test (131)
Self test (132)
Self test (133)
Self test (134)
Self test (135)
...

FALSE

evaluated 9197302 times by 372 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
Self test (122)
Self test (123)
Self test (124)
...

4013691-9197302

858 p[0] = v&0x7f; -

859

return 1;

executed 4013650 times by 384 tests: return 1;

Executed by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (104)
Self test (105)
Self test (11)
Self test (119)
Self test (120)
Self test (121)
Self test (122)
Self test (123)
Self test (124)
Self test (125)
Self test (126)
Self test (127)
Self test (128)
Self test (129)
Self test (13)
Self test (130)
Self test (131)
Self test (132)
Self test (133)
Self test (134)
Self test (135)
...

4013650

860 } -

861

if( v<=0x3fff ){

v<=0x3fff

Description

TRUE

evaluated 6016400 times by 362 tests

Evaluated by:

Self test
Self test (10)
Self test (101)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
Self test (122)
Self test (123)
Self test (124)
Self test (125)
...

FALSE

evaluated 3180901 times by 12 tests

Evaluated by:

Self test (100)
Self test (438)
Self test (64)
Self test (91)
Self test (92)
Self test (93)
Self test (94)
Self test (95)
Self test (96)
Self test (97)
Self test (98)
Self test (99)

3180901-6016400

862 p[0] = ((v>>7)&0x7f)|0x80; -

863 p[1] = v&0x7f; -

864

return 2;

executed 6016400 times by 362 tests: return 2;

Executed by:

Self test
Self test (10)
Self test (101)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
Self test (122)
Self test (123)
Self test (124)
Self test (125)
...

6016400

865 } -

866

return putVarint64(p,v);

executed 3180901 times by 12 tests: return putVarint64(p,v);

Executed by:

Self test (100)
Self test (438)
Self test (64)
Self test (91)
Self test (92)
Self test (93)
Self test (94)
Self test (95)
Self test (96)
Self test (97)
Self test (98)
Self test (99)

3180901

867 } -

868 -

869 /* -

870 ** Bitmasks used by sqlite3GetVarint(). These precomputed constants -

871 ** are defined here rather than simply putting the constant expressions -

872 ** inline in order to work around bugs in the RVT compiler. -

873 ** -

874 ** SLOT_2_0 A mask for (0x7f<<14) | 0x7f -

875 ** -

876 ** SLOT_4_2_0 A mask for (0x7f<<28) | SLOT_2_0 -

877 */ -

878 #define SLOT_2_0 0x001fc07f -

879 #define SLOT_4_2_0 0xf01fc07f -

880 -

881 -

882 /* -

883 ** Read a 64-bit variable-length integer from memory starting at p[0]. -

884 ** Return the number of bytes read. The value is stored in *v. -

885 */ -

886 u8 sqlite3GetVarint(const unsigned char *p, u64 *v){ -

887 u32 a,b,s; -

888 -

889 a = *p; -

890 /* a: p0 (unmasked) */ -

891

if (!(a&0x80))

!(a&0x80)

Description

TRUE

evaluated 3405543 times by 33 tests

Evaluated by:

Self test
Self test (100)
Self test (101)
Self test (104)
Self test (24)
Self test (26)
Self test (27)
Self test (28)
Self test (29)
Self test (32)
Self test (33)
Self test (34)
Self test (40)
Self test (438)
Self test (47)
Self test (48)
Self test (57)
Self test (58)
Self test (65)
Self test (66)
Self test (67)
Self test (72)
Self test (73)
Self test (74)
Self test (91)
...

FALSE

evaluated 23509698 times by 6 tests

Evaluated by:

Self test
Self test (34)
Self test (438)
Self test (57)
Self test (58)
Self test (74)

3405543-23509698

892 { -

893 *v = a; -

894

return 1;

executed 3405561 times by 33 tests: return 1;

Executed by:

Self test
Self test (100)
Self test (101)
Self test (104)
Self test (24)
Self test (26)
Self test (27)
Self test (28)
Self test (29)
Self test (32)
Self test (33)
Self test (34)
Self test (40)
Self test (438)
Self test (47)
Self test (48)
Self test (57)
Self test (58)
Self test (65)
Self test (66)
Self test (67)
Self test (72)
Self test (73)
Self test (74)
Self test (91)
...

3405561

895 } -

896 -

897 p++; -

898 b = *p; -

899 /* b: p1 (unmasked) */ -

900

if (!(b&0x80))

!(b&0x80)	Description
TRUE	evaluated 5115558 times by 6 tests Evaluated by: Self test Self test (34) Self test (438) Self test (57) Self test (58) Self test (74)
FALSE	evaluated 18394140 times by 1 test Evaluated by: Self test (438)

5115558-18394140

901 { -

902 a &= 0x7f; -

903 a = a<<7; -

904 a |= b; -

905 *v = a; -

906

return 2;

executed 5115558 times by 6 tests: return 2;

Executed by:

Self test
Self test (34)
Self test (438)
Self test (57)
Self test (58)
Self test (74)

5115558

907 } -

908 -

909 /* Verify that constants are precomputed correctly */ -

910 assert( SLOT_2_0 == ((0x7f<<14) | (0x7f)) ); -

911 assert( SLOT_4_2_0 == ((0xfU<<28) | (0x7f<<14) | (0x7f)) ); -

912 -

913 p++; -

914 a = a<<14; -

915 a |= *p; -

916 /* a: p0<<14 | p2 (unmasked) */ -

917

if (!(a&0x80))

!(a&0x80)	Description
TRUE	evaluated 3482134 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 14912006 times by 1 test Evaluated by: Self test (438)

3482134-14912006

918 { -

919 a &= SLOT_2_0; -

920 b &= 0x7f; -

921 b = b<<7; -

922 a |= b; -

923 *v = a; -

924

return 3;

executed 3482134 times by 1 test: return 3;

Executed by:

Self test (438)

3482134

925 } -

926 -

927 /* CSE1 from below */ -

928 a &= SLOT_2_0; -

929 p++; -

930 b = b<<14; -

931 b |= *p; -

932 /* b: p1<<14 | p3 (unmasked) */ -

933

if (!(b&0x80))

!(b&0x80)	Description
TRUE	evaluated 3992741 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 10919265 times by 1 test Evaluated by: Self test (438)

3992741-10919265

934 { -

935 b &= SLOT_2_0; -

936 /* moved CSE1 up */ -

937 /* a &= (0x7f<<14)|(0x7f); */ -

938 a = a<<7; -

939 a |= b; -

940 *v = a; -

941

return 4;

executed 3992741 times by 1 test: return 4;

Executed by:

Self test (438)

3992741

942 } -

943 -

944 /* a: p0<<14 | p2 (masked) */ -

945 /* b: p1<<14 | p3 (unmasked) */ -

946 /* 1:save off p0<<21 | p1<<14 | p2<<7 | p3 (masked) */ -

947 /* moved CSE1 up */ -

948 /* a &= (0x7f<<14)|(0x7f); */ -

949 b &= SLOT_2_0; -

950 s = a; -

951 /* s: p0<<14 | p2 (masked) */ -

952 -

953 p++; -

954 a = a<<14; -

955 a |= *p; -

956 /* a: p0<<28 | p2<<14 | p4 (unmasked) */ -

957

if (!(a&0x80))

!(a&0x80)	Description
TRUE	evaluated 3628997 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 7290268 times by 1 test Evaluated by: Self test (438)

3628997-7290268

958 { -

959 /* we can skip these cause they were (effectively) done above -

960 ** while calculating s */ -

961 /* a &= (0x7f<<28)|(0x7f<<14)|(0x7f); */ -

962 /* b &= (0x7f<<14)|(0x7f); */ -

963 b = b<<7; -

964 a |= b; -

965 s = s>>18; -

966 *v = ((u64)s)<<32 | a; -

967

return 5;

executed 3628997 times by 1 test: return 5;

Executed by:

Self test (438)

3628997

968 } -

969 -

970 /* 2:save off p0<<21 | p1<<14 | p2<<7 | p3 (masked) */ -

971 s = s<<7; -

972 s |= b; -

973 /* s: p0<<21 | p1<<14 | p2<<7 | p3 (masked) */ -

974 -

975 p++; -

976 b = b<<14; -

977 b |= *p; -

978 /* b: p1<<28 | p3<<14 | p5 (unmasked) */ -

979

if (!(b&0x80))

!(b&0x80)	Description
TRUE	evaluated 4840974 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 2449294 times by 1 test Evaluated by: Self test (438)

2449294-4840974

980 { -

981 /* we can skip this cause it was (effectively) done above in calc'ing s */ -

982 /* b &= (0x7f<<28)|(0x7f<<14)|(0x7f); */ -

983 a &= SLOT_2_0; -

984 a = a<<7; -

985 a |= b; -

986 s = s>>18; -

987 *v = ((u64)s)<<32 | a; -

988

return 6;

executed 4840974 times by 1 test: return 6;

Executed by:

Self test (438)

4840974

989 } -

990 -

991 p++; -

992 a = a<<14; -

993 a |= *p; -

994 /* a: p2<<28 | p4<<14 | p6 (unmasked) */ -

995

if (!(a&0x80))

!(a&0x80)	Description
TRUE	evaluated 1605105 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 844189 times by 1 test Evaluated by: Self test (438)

844189-1605105

996 { -

997 a &= SLOT_4_2_0; -

998 b &= SLOT_2_0; -

999 b = b<<7; -

1000 a |= b; -

1001 s = s>>11; -

1002 *v = ((u64)s)<<32 | a; -

1003

return 7;

executed 1605105 times by 1 test: return 7;

Executed by:

Self test (438)

1605105

1004 } -

1005 -

1006 /* CSE2 from below */ -

1007 a &= SLOT_2_0; -

1008 p++; -

1009 b = b<<14; -

1010 b |= *p; -

1011 /* b: p3<<28 | p5<<14 | p7 (unmasked) */ -

1012

if (!(b&0x80))

!(b&0x80)	Description
TRUE	evaluated 402489 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 441700 times by 1 test Evaluated by: Self test (438)

402489-441700

1013 { -

1014 b &= SLOT_4_2_0; -

1015 /* moved CSE2 up */ -

1016 /* a &= (0x7f<<14)|(0x7f); */ -

1017 a = a<<7; -

1018 a |= b; -

1019 s = s>>4; -

1020 *v = ((u64)s)<<32 | a; -

1021

return 8;

executed 402489 times by 1 test: return 8;

Executed by:

Self test (438)

402489

1022 } -

1023 -

1024 p++; -

1025 a = a<<15; -

1026 a |= *p; -

1027 /* a: p4<<29 | p6<<15 | p8 (unmasked) */ -

1028 -

1029 /* moved CSE2 up */ -

1030 /* a &= (0x7f<<29)|(0x7f<<15)|(0xff); */ -

1031 b &= SLOT_2_0; -

1032 b = b<<8; -

1033 a |= b; -

1034 -

1035 s = s<<4; -

1036 b = p[-4]; -

1037 b &= 0x7f; -

1038 b = b>>3; -

1039 s |= b; -

1040 -

1041 *v = ((u64)s)<<32 | a; -

1042 -

1043

return 9;

executed 441700 times by 1 test: return 9;

Executed by:

Self test (438)

441700

1044 } -

1045 -

1046 /* -

1047 ** Read a 32-bit variable-length integer from memory starting at p[0]. -

1048 ** Return the number of bytes read. The value is stored in *v. -

1049 ** -

1050 ** If the varint stored in p[0] is larger than can fit in a 32-bit unsigned -

1051 ** integer, then set *v to 0xffffffff. -

1052 ** -

1053 ** A MACRO version, getVarint32, is provided which inlines the -

1054 ** single-byte case. All code should use the MACRO version as -

1055 ** this function assumes the single-byte case has already been handled. -

1056 */ -

1057 u8 sqlite3GetVarint32(const unsigned char *p, u32 *v){ -

1058 u32 a,b; -

1059 -

1060 /* The 1-byte case. Overwhelmingly the most common. Handled inline -

1061 ** by the getVarin32() macro */ -

1062 a = *p; -

1063 /* a: p0 (unmasked) */ -

1064 #ifndef getVarint32 -

1065 if (!(a&0x80)) -

1066 { -

1067 /* Values between 0 and 127 */ -

1068 *v = a; -

1069 return 1; -

1070 } -

1071 #endif -

1072 -

1073 /* The 2-byte case */ -

1074 p++; -

1075 b = *p; -

1076 /* b: p1 (unmasked) */ -

1077

if (!(b&0x80))

!(b&0x80)

Description

TRUE

evaluated 33196552 times by 367 tests

Evaluated by:

Self test (10)
Self test (101)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
Self test (122)
Self test (123)
Self test (124)
Self test (125)
Self test (126)
...

FALSE

evaluated 324790 times by 1 test

Evaluated by:

Self test (438)

324790-33196552

1078 { -

1079 /* Values between 128 and 16383 */ -

1080 a &= 0x7f; -

1081 a = a<<7; -

1082 *v = a | b; -

1083

return 2;

executed 33196499 times by 367 tests: return 2;

Executed by:

Self test (10)
Self test (101)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
Self test (122)
Self test (123)
Self test (124)
Self test (125)
Self test (126)
...

33196499

1084 } -

1085 -

1086 /* The 3-byte case */ -

1087 p++; -

1088 a = a<<14; -

1089 a |= *p; -

1090 /* a: p0<<14 | p2 (unmasked) */ -

1091

if (!(a&0x80))

!(a&0x80)	Description
TRUE	evaluated 85482 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 239308 times by 1 test Evaluated by: Self test (438)

85482-239308

1092 { -

1093 /* Values between 16384 and 2097151 */ -

1094 a &= (0x7f<<14)|(0x7f); -

1095 b &= 0x7f; -

1096 b = b<<7; -

1097 *v = a | b; -

1098

return 3;

executed 85482 times by 1 test: return 3;

Executed by:

Self test (438)

85482

1099 } -

1100 -

1101 /* A 32-bit varint is used to store size information in btrees. -

1102 ** Objects are rarely larger than 2MiB limit of a 3-byte varint. -

1103 ** A 3-byte varint is sufficient, for example, to record the size -

1104 ** of a 1048569-byte BLOB or string. -

1105 ** -

1106 ** We only unroll the first 1-, 2-, and 3- byte cases. The very -

1107 ** rare larger cases can be handled by the slower 64-bit varint -

1108 ** routine. -

1109 */ -

1110 #if 1 -

1111 { -

1112 u64 v64; -

1113 u8 n; -

1114 -

1115 p -= 2; -

1116 n = sqlite3GetVarint(p, &v64); -

1117 assert( n>3 && n<=9 ); -

1118

if( (v64 & SQLITE_MAX_U32)!=v64 ){

(v64 & ((((u64...<<32)-1))!=v64	Description
TRUE	evaluated 6 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 239302 times by 1 test Evaluated by: Self test (438)

6-239302

1119 *v = 0xffffffff; -

1120

}else{

executed 6 times by 1 test: end of block

Executed by:

Self test (438)

1121 *v = (u32)v64; -

1122

}

executed 239302 times by 1 test: end of block

Executed by:

Self test (438)

239302

1123

return n;

executed 239308 times by 1 test: return n;

Executed by:

Self test (438)

239308

1124 } -

1125 -

1126 #else -

1127 /* For following code (kept for historical record only) shows an -

1128 ** unrolling for the 3- and 4-byte varint cases. This code is -

1129 ** slightly faster, but it is also larger and much harder to test. -

1130 */ -

1131 p++; -

1132 b = b<<14; -

1133 b |= *p; -

1134 /* b: p1<<14 | p3 (unmasked) */ -

1135 if (!(b&0x80)) -

1136 { -

1137 /* Values between 2097152 and 268435455 */ -

1138 b &= (0x7f<<14)|(0x7f); -

1139 a &= (0x7f<<14)|(0x7f); -

1140 a = a<<7; -

1141 *v = a | b; -

1142 return 4; -

1143 } -

1144 -

1145 p++; -

1146 a = a<<14; -

1147 a |= *p; -

1148 /* a: p0<<28 | p2<<14 | p4 (unmasked) */ -

1149 if (!(a&0x80)) -

1150 { -

1151 /* Values between 268435456 and 34359738367 */ -

1152 a &= SLOT_4_2_0; -

1153 b &= SLOT_4_2_0; -

1154 b = b<<7; -

1155 *v = a | b; -

1156 return 5; -

1157 } -

1158 -

1159 /* We can only reach this point when reading a corrupt database -

1160 ** file. In that case we are not in any hurry. Use the (relatively -

1161 ** slow) general-purpose sqlite3GetVarint() routine to extract the -

1162 ** value. */ -

1163 { -

1164 u64 v64; -

1165 u8 n; -

1166 -

1167 p -= 4; -

1168 n = sqlite3GetVarint(p, &v64); -

1169 assert( n>5 && n<=9 ); -

1170 *v = (u32)v64; -

1171 return n; -

1172 } -

1173 #endif -

1174 } -

1175 -

1176 /* -

1177 ** Return the number of bytes that will be needed to store the given -

1178 ** 64-bit integer. -

1179 */ -

1180 int sqlite3VarintLen(u64 v){ -

1181 int i; -

1182

for(i=1; (v >>= 7)!=0; i++){ assert( i<10 ); }

executed 4108336 times by 377 tests: end of block

Executed by:

Self test (10)
Self test (100)
Self test (101)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
Self test (122)
Self test (123)
Self test (124)
Self test (125)
...

(v >>= 7)!=0

Description

TRUE

evaluated 4108336 times by 377 tests

Evaluated by:

Self test (10)
Self test (100)
Self test (101)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
Self test (122)
Self test (123)
Self test (124)
Self test (125)
...

FALSE

evaluated 7454272 times by 381 tests

Evaluated by:

Self test (10)
Self test (100)
Self test (101)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
Self test (122)
Self test (123)
Self test (124)
Self test (125)
...

4108336-7454272

1183

return i;

executed 7454222 times by 381 tests: return i;

Executed by:

Self test (10)
Self test (100)
Self test (101)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
Self test (122)
Self test (123)
Self test (124)
Self test (125)
...

7454222

1184 } -

1185 -

1186 -

1187 /* -

1188 ** Read or write a four-byte big-endian integer value. -

1189 */ -

1190 u32 sqlite3Get4byte(const u8 *p){ -

1191 #if SQLITE_BYTEORDER==4321 -

1192 u32 x; -

1193 memcpy(&x,p,4); -

1194 return x; -

1195 #elif SQLITE_BYTEORDER==1234 && GCC_VERSION>=4003000 -

1196 u32 x; -

1197 memcpy(&x,p,4); -

1198

return __builtin_bswap32(x);

executed 33128986 times by 435 tests: return __builtin_bswap32(x);

Executed by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

33128986

1199 #elif SQLITE_BYTEORDER==1234 && MSVC_VERSION>=1300 -

1200 u32 x; -

1201 memcpy(&x,p,4); -

1202 return _byteswap_ulong(x); -

1203 #else -

1204 testcase( p[0]&0x80 ); -

1205 return ((unsigned)p[0]<<24) | (p[1]<<16) | (p[2]<<8) | p[3]; -

1206 #endif -

1207 } -

1208 void sqlite3Put4byte(unsigned char *p, u32 v){ -

1209 #if SQLITE_BYTEORDER==4321 -

1210 memcpy(p,&v,4); -

1211 #elif SQLITE_BYTEORDER==1234 && GCC_VERSION>=4003000 -

1212 u32 x = __builtin_bswap32(v); -

1213 memcpy(p,&x,4); -

1214 #elif SQLITE_BYTEORDER==1234 && MSVC_VERSION>=1300 -

1215 u32 x = _byteswap_ulong(v); -

1216 memcpy(p,&x,4); -

1217 #else -

1218 p[0] = (u8)(v>>24); -

1219 p[1] = (u8)(v>>16); -

1220 p[2] = (u8)(v>>8); -

1221 p[3] = (u8)v; -

1222 #endif -

1223

}

executed 8169752 times by 402 tests: end of block

Executed by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
Self test (122)
...

8169752

1224 -

1225 -

1226 -

1227 /* -

1228 ** Translate a single byte of Hex into an integer. -

1229 ** This routine only works if h really is a valid hexadecimal -

1230 ** character: 0..9a..fA..F -

1231 */ -

1232 u8 sqlite3HexToInt(int h){ -

1233 assert( (h>='0' && h<='9') || (h>='a' && h<='f') || (h>='A' && h<='F') ); -

1234 #ifdef SQLITE_ASCII -

1235 h += 9*(1&(h>>6)); -

1236 #endif -

1237 #ifdef SQLITE_EBCDIC -

1238 h += 9*(1&~(h>>4)); -

1239 #endif -

1240

return (u8)(h & 0xf);

executed 13976 times by 1 test: return (u8)(h & 0xf);

Executed by:

Self test (438)

13976

1241 } -

1242 -

1243 #if !defined(SQLITE_OMIT_BLOB_LITERAL) || defined(SQLITE_HAS_CODEC) -

1244 /* -

1245 ** Convert a BLOB literal of the form "x'hhhhhh'" into its binary -

1246 ** value. Return a pointer to its binary value. Space to hold the -

1247 ** binary value has been obtained from malloc and must be freed by -

1248 ** the calling routine. -

1249 */ -

1250 void *sqlite3HexToBlob(sqlite3 *db, const char *z, int n){ -

1251 char *zBlob; -

1252 int i; -

1253 -

1254 zBlob = (char *)sqlite3DbMallocRawNN(db, n/2 + 1); -

1255 n--; -

1256

if( zBlob ){

zBlob	Description
TRUE	evaluated 2815 times by 1 test Evaluated by: Self test (438)
FALSE	never evaluated

0-2815

1257

for(i=0; i<n; i+=2){

i<n	Description
TRUE	evaluated 6413 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 2815 times by 1 test Evaluated by: Self test (438)

2815-6413

1258 zBlob[i/2] = (sqlite3HexToInt(z[i])<<4) | sqlite3HexToInt(z[i+1]); -

1259

}

executed 6413 times by 1 test: end of block

Executed by:

Self test (438)

6413

1260 zBlob[i/2] = 0; -

1261

}

executed 2815 times by 1 test: end of block

Executed by:

Self test (438)

2815

1262

return zBlob;

executed 2815 times by 1 test: return zBlob;

Executed by:

Self test (438)

2815

1263 } -

1264 #endif /* !SQLITE_OMIT_BLOB_LITERAL || SQLITE_HAS_CODEC */ -

1265 -

1266 /* -

1267 ** Log an error that is an API call on a connection pointer that should -

1268 ** not have been used. The "type" of connection pointer is given as the -

1269 ** argument. The zType is a word like "NULL" or "closed" or "invalid". -

1270 */ -

1271 static void logBadConnection(const char *zType){ -

1272 sqlite3_log(SQLITE_MISUSE, -

1273 "API call with %s database connection pointer", -

1274 zType -

1275 ); -

1276

}

executed 17 times by 1 test: end of block

Executed by:

Self test (438)

1277 -

1278 /* -

1279 ** Check to make sure we have a valid db pointer. This test is not -

1280 ** foolproof but it does provide some measure of protection against -

1281 ** misuse of the interface such as passing in db pointers that are -

1282 ** NULL or which have been previously closed. If this routine returns -

1283 ** 1 it means that the db pointer is valid and 0 if it should not be -

1284 ** dereferenced for any reason. The calling function should invoke -

1285 ** SQLITE_MISUSE immediately. -

1286 ** -

1287 ** sqlite3SafetyCheckOk() requires that the db pointer be valid for -

1288 ** use. sqlite3SafetyCheckSickOrOk() allows a db pointer that failed to -

1289 ** open properly and is not fit for general use but which can be -

1290 ** used as an argument to sqlite3_errmsg() or sqlite3_close(). -

1291 */ -

1292 int sqlite3SafetyCheckOk(sqlite3 *db){ -

1293 u32 magic; -

1294

if( db==0 ){

db==0

Description

TRUE

never evaluated

FALSE

evaluated 528809 times by 436 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

0-528809

1295 logBadConnection("NULL"); -

1296

return 0;

never executed: return 0;

1297 } -

1298 magic = db->magic; -

1299

if( magic!=SQLITE_MAGIC_OPEN ){

magic!=0xa029a697

Description

TRUE

evaluated 4 times by 1 test

Evaluated by:

Self test (438)

FALSE

evaluated 528805 times by 436 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

4-528805

1300

if( sqlite3SafetyCheckSickOrOk(db) ){

sqlite3SafetyCheckSickOrOk(db)	Description
TRUE	never evaluated
FALSE	evaluated 4 times by 1 test Evaluated by: Self test (438)

0-4

1301 testcase( sqlite3GlobalConfig.xLog!=0 ); -

1302 logBadConnection("unopened"); -

1303

}

never executed: end of block

1304

return 0;

executed 4 times by 1 test: return 0;

Executed by:

Self test (438)

1305 }else{ -

1306

return 1;

executed 528805 times by 436 tests: return 1;

Executed by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

528805

1307 } -

1308 } -

1309 int sqlite3SafetyCheckSickOrOk(sqlite3 *db){ -

1310 u32 magic; -

1311 magic = db->magic; -

1312

if( magic!=SQLITE_MAGIC_SICK &&

magic!=0x4b771290

Description

TRUE

evaluated 211670 times by 438 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (102)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
...

FALSE

evaluated 735 times by 1 test

Evaluated by:

Self test (438)

735-211670

1313

magic!=SQLITE_MAGIC_OPEN &&

magic!=0xa029a697

Description

TRUE

evaluated 931 times by 1 test

Evaluated by:

Self test (438)

FALSE

evaluated 210739 times by 438 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (102)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
...

931-210739

1314

magic!=SQLITE_MAGIC_BUSY ){

magic!=0xf03b7906	Description
TRUE	evaluated 17 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 914 times by 1 test Evaluated by: Self test (438)

17-914

1315 testcase( sqlite3GlobalConfig.xLog!=0 ); -

1316 logBadConnection("invalid"); -

1317

return 0;

executed 17 times by 1 test: return 0;

Executed by:

Self test (438)

1318 }else{ -

1319

return 1;

executed 212388 times by 438 tests: return 1;

Executed by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (102)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
...

212388

1320 } -

1321 } -

1322 -

1323 /* -

1324 ** Attempt to add, substract, or multiply the 64-bit signed value iB against -

1325 ** the other 64-bit signed integer at *pA and store the result in *pA. -

1326 ** Return 0 on success. Or if the operation would have resulted in an -

1327 ** overflow, leave *pA unchanged and return 1. -

1328 */ -

1329 int sqlite3AddInt64(i64 *pA, i64 iB){ -

1330 #if GCC_VERSION>=5004000 && !defined(__INTEL_COMPILER) -

1331

return __builtin_add_overflow(*pA, iB, pA);

executed 2859483 times by 1 test: return __builtin_add_overflow(*pA, iB, pA);

Executed by:

Self test (438)

2859483

1332 #else -

1333 i64 iA = *pA; -

1334 testcase( iA==0 ); testcase( iA==1 ); -

1335 testcase( iB==-1 ); testcase( iB==0 ); -

1336 if( iB>=0 ){ -

1337 testcase( iA>0 && LARGEST_INT64 - iA == iB ); -

1338 testcase( iA>0 && LARGEST_INT64 - iA == iB - 1 ); -

1339 if( iA>0 && LARGEST_INT64 - iA < iB ) return 1; -

1340 }else{ -

1341 testcase( iA<0 && -(iA + LARGEST_INT64) == iB + 1 ); -

1342 testcase( iA<0 && -(iA + LARGEST_INT64) == iB + 2 ); -

1343 if( iA<0 && -(iA + LARGEST_INT64) > iB + 1 ) return 1; -

1344 } -

1345 *pA += iB; -

1346 return 0; -

1347 #endif -

1348 } -

1349 int sqlite3SubInt64(i64 *pA, i64 iB){ -

1350 #if GCC_VERSION>=5004000 && !defined(__INTEL_COMPILER) -

1351

return __builtin_sub_overflow(*pA, iB, pA);

executed 1367032 times by 1 test: return __builtin_sub_overflow(*pA, iB, pA);

Executed by:

Self test (438)

1367032

1352 #else -

1353 testcase( iB==SMALLEST_INT64+1 ); -

1354 if( iB==SMALLEST_INT64 ){ -

1355 testcase( (*pA)==(-1) ); testcase( (*pA)==0 ); -

1356 if( (*pA)>=0 ) return 1; -

1357 *pA -= iB; -

1358 return 0; -

1359 }else{ -

1360 return sqlite3AddInt64(pA, -iB); -

1361 } -

1362 #endif -

1363 } -

1364 int sqlite3MulInt64(i64 *pA, i64 iB){ -

1365 #if GCC_VERSION>=5004000 && !defined(__INTEL_COMPILER) -

1366

return __builtin_mul_overflow(*pA, iB, pA);

executed 1329164 times by 1 test: return __builtin_mul_overflow(*pA, iB, pA);

Executed by:

Self test (438)

1329164

1367 #else -

1368 i64 iA = *pA; -

1369 if( iB>0 ){ -

1370 if( iA>LARGEST_INT64/iB ) return 1; -

1371 if( iA<SMALLEST_INT64/iB ) return 1; -

1372 }else if( iB<0 ){ -

1373 if( iA>0 ){ -

1374 if( iB<SMALLEST_INT64/iA ) return 1; -

1375 }else if( iA<0 ){ -

1376 if( iB==SMALLEST_INT64 ) return 1; -

1377 if( iA==SMALLEST_INT64 ) return 1; -

1378 if( -iA>LARGEST_INT64/-iB ) return 1; -

1379 } -

1380 } -

1381 *pA = iA*iB; -

1382 return 0; -

1383 #endif -

1384 } -

1385 -

1386 /* -

1387 ** Compute the absolute value of a 32-bit signed integer, of possible. Or -

1388 ** if the integer has a value of -2147483648, return +2147483647 -

1389 */ -

1390 int sqlite3AbsInt32(int x){ -

1391

if( x>=0 ) return x;

executed 2352801 times by 435 tests: return x;

Executed by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

x>=0

Description

TRUE

evaluated 2352801 times by 435 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

FALSE

evaluated 3094385 times by 1 test

Evaluated by:

Self test (438)

2352801-3094385

1392

if( x==(int)0x80000000 ) return 0x7fffffff;

never executed: return 0x7fffffff;

x==(int)0x80000000	Description
TRUE	never evaluated
FALSE	evaluated 3094385 times by 1 test Evaluated by: Self test (438)

0-3094385

1393

return -x;

executed 3094385 times by 1 test: return -x;

Executed by:

Self test (438)

3094385

1394 } -

1395 -

1396 #ifdef SQLITE_ENABLE_8_3_NAMES -

1397 /* -

1398 ** If SQLITE_ENABLE_8_3_NAMES is set at compile-time and if the database -

1399 ** filename in zBaseFilename is a URI with the "8_3_names=1" parameter and -

1400 ** if filename in z[] has a suffix (a.k.a. "extension") that is longer than -

1401 ** three characters, then shorten the suffix on z[] to be the last three -

1402 ** characters of the original suffix. -

1403 ** -

1404 ** If SQLITE_ENABLE_8_3_NAMES is set to 2 at compile-time, then always -

1405 ** do the suffix shortening regardless of URI parameter. -

1406 ** -

1407 ** Examples: -

1408 ** -

1409 ** test.db-journal => test.nal -

1410 ** test.db-wal => test.wal -

1411 ** test.db-shm => test.shm -

1412 ** test.db-mj7f3319fa => test.9fa -

1413 */ -

1414 void sqlite3FileSuffix3(const char *zBaseFilename, char *z){ -

1415 #if SQLITE_ENABLE_8_3_NAMES<2 -

1416 if( sqlite3_uri_boolean(zBaseFilename, "8_3_names", 0) ) -

1417 #endif -

1418 { -

1419 int i, sz; -

1420 sz = sqlite3Strlen30(z); -

1421 for(i=sz-1; i>0 && z[i]!='/' && z[i]!='.'; i--){} -

1422 if( z[i]=='.' && ALWAYS(sz>i+4) ) memmove(&z[i+1], &z[sz-3], 4); -

1423 } -

1424 } -

1425 #endif -

1426 -

1427 /* -

1428 ** Find (an approximate) sum of two LogEst values. This computation is -

1429 ** not a simple "+" operator because LogEst is stored as a logarithmic -

1430 ** value. -

1431 ** -

1432 */ -

1433 LogEst sqlite3LogEstAdd(LogEst a, LogEst b){ -

1434 static const unsigned char x[] = { -

1435 10, 10, /* 0,1 */ -

1436 9, 9, /* 2,3 */ -

1437 8, 8, /* 4,5 */ -

1438 7, 7, 7, /* 6,7,8 */ -

1439 6, 6, 6, /* 9,10,11 */ -

1440 5, 5, 5, /* 12-14 */ -

1441 4, 4, 4, 4, /* 15-18 */ -

1442 3, 3, 3, 3, 3, 3, /* 19-24 */ -

1443 2, 2, 2, 2, 2, 2, 2, /* 25-31 */ -

1444 }; -

1445

if( a>=b ){

a>=b

Description

TRUE

evaluated 1518201 times by 435 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

FALSE

evaluated 1444073 times by 435 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

1444073-1518201

1446

if( a>b+49 ) return a;

executed 1308209 times by 435 tests: return a;

Executed by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

a>b+49

Description

TRUE

evaluated 1308209 times by 435 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

FALSE

evaluated 209992 times by 33 tests

Evaluated by:

Self test
Self test (100)
Self test (101)
Self test (104)
Self test (24)
Self test (26)
Self test (27)
Self test (28)
Self test (29)
Self test (32)
Self test (33)
Self test (34)
Self test (4)
Self test (42)
Self test (438)
Self test (44)
Self test (46)
Self test (47)
Self test (48)
Self test (5)
Self test (57)
Self test (58)
Self test (72)
Self test (73)
Self test (91)
...

209992-1308209

1447

if( a>b+31 ) return a+1;

executed 37717 times by 1 test: return a+1;

Executed by:

Self test (438)

a>b+31

Description

TRUE

evaluated 37717 times by 1 test

Evaluated by:

Self test (438)

FALSE

evaluated 172275 times by 33 tests

Evaluated by:

Self test
Self test (100)
Self test (101)
Self test (104)
Self test (24)
Self test (26)
Self test (27)
Self test (28)
Self test (29)
Self test (32)
Self test (33)
Self test (34)
Self test (4)
Self test (42)
Self test (438)
Self test (44)
Self test (46)
Self test (47)
Self test (48)
Self test (5)
Self test (57)
Self test (58)
Self test (72)
Self test (73)
Self test (91)
...

37717-172275

1448

return a+x[a-b];

executed 172275 times by 33 tests: return a+x[a-b];

Executed by:

Self test
Self test (100)
Self test (101)
Self test (104)
Self test (24)
Self test (26)
Self test (27)
Self test (28)
Self test (29)
Self test (32)
Self test (33)
Self test (34)
Self test (4)
Self test (42)
Self test (438)
Self test (44)
Self test (46)
Self test (47)
Self test (48)
Self test (5)
Self test (57)
Self test (58)
Self test (72)
Self test (73)
Self test (91)
...

172275

1449 }else{ -

1450

if( b>a+49 ) return b;

executed 1347902 times by 435 tests: return b;

Executed by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

b>a+49

Description

TRUE

evaluated 1347902 times by 435 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

FALSE

evaluated 96171 times by 2 tests

Evaluated by:

Self test (438)
Self test (47)

96171-1347902

1451

if( b>a+31 ) return b+1;

executed 31983 times by 1 test: return b+1;

Executed by:

Self test (438)

b>a+31	Description
TRUE	evaluated 31983 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 64188 times by 2 tests Evaluated by: Self test (438) Self test (47)

31983-64188

1452

return b+x[b-a];

executed 64188 times by 2 tests: return b+x[b-a];

Executed by:

Self test (438)
Self test (47)

64188

1453 } -

1454 } -

1455 -

1456 /* -

1457 ** Convert an integer into a LogEst. In other words, compute an -

1458 ** approximation for 10*log2(x). -

1459 */ -

1460 LogEst sqlite3LogEst(u64 x){ -

1461 static LogEst a[] = { 0, 2, 3, 5, 6, 7, 8, 9 }; -

1462 LogEst y = 40; -

1463

if( x<8 ){

x<8

Description

TRUE

evaluated 37662 times by 10 tests

Evaluated by:

Self test
Self test (24)
Self test (26)
Self test (27)
Self test (28)
Self test (29)
Self test (438)
Self test (47)
Self test (57)
Self test (58)

FALSE

evaluated 980526 times by 436 tests

Evaluated by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

37662-980526

1464

if( x<2 ) return 0;

executed 30658 times by 1 test: return 0;

Executed by:

Self test (438)

x<2	Description
TRUE	evaluated 30658 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 7004 times by 10 tests Evaluated by: Self test Self test (24) Self test (26) Self test (27) Self test (28) Self test (29) Self test (438) Self test (47) Self test (57) Self test (58)

7004-30658

1465

while( x<8 ){ y -= 10; x <<= 1; }

executed 8354 times by 10 tests: end of block

Executed by:

Self test
Self test (24)
Self test (26)
Self test (27)
Self test (28)
Self test (29)
Self test (438)
Self test (47)
Self test (57)
Self test (58)

x<8	Description
TRUE	evaluated 8354 times by 10 tests Evaluated by: Self test Self test (24) Self test (26) Self test (27) Self test (28) Self test (29) Self test (438) Self test (47) Self test (57) Self test (58)
FALSE	evaluated 7004 times by 10 tests Evaluated by: Self test Self test (24) Self test (26) Self test (27) Self test (28) Self test (29) Self test (438) Self test (47) Self test (57) Self test (58)

7004-8354

1466

}else{

executed 7004 times by 10 tests: end of block

Executed by:

Self test
Self test (24)
Self test (26)
Self test (27)
Self test (28)
Self test (29)
Self test (438)
Self test (47)
Self test (57)
Self test (58)

7004

1467 #if GCC_VERSION>=5004000 -

1468 int i = 60 - __builtin_clzll(x); -

1469 y += i*10; -

1470 x >>= i; -

1471 #else -

1472 while( x>255 ){ y += 40; x >>= 4; } /*OPTIMIZATION-IF-TRUE*/ -

1473 while( x>15 ){ y += 10; x >>= 1; } -

1474 #endif -

1475

}

executed 980526 times by 436 tests: end of block

Executed by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

980526

1476

return a[x&7] + y - 10;

executed 987530 times by 436 tests: return a[x&7] + y - 10;

Executed by:

Self test
Self test (10)
Self test (100)
Self test (101)
Self test (103)
Self test (104)
Self test (105)
Self test (106)
Self test (107)
Self test (108)
Self test (109)
Self test (11)
Self test (110)
Self test (111)
Self test (112)
Self test (113)
Self test (114)
Self test (115)
Self test (116)
Self test (117)
Self test (118)
Self test (119)
Self test (12)
Self test (120)
Self test (121)
...

987530

1477 } -

1478 -

1479 #ifndef SQLITE_OMIT_VIRTUALTABLE -

1480 /* -

1481 ** Convert a double into a LogEst -

1482 ** In other words, compute an approximation for 10*log2(x). -

1483 */ -

1484 LogEst sqlite3LogEstFromDouble(double x){ -

1485 u64 a; -

1486 LogEst e; -

1487 assert( sizeof(x)==8 && sizeof(a)==8 ); -

1488

if( x<=1 ) return 0;

executed 481 times by 1 test: return 0;

Executed by:

Self test (438)

x<=1	Description
TRUE	evaluated 481 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 11353 times by 1 test Evaluated by: Self test (438)

481-11353

1489

if( x<=2000000000 ) return sqlite3LogEst((u64)x);

executed 11139 times by 1 test: return sqlite3LogEst((u64)x);

Executed by:

Self test (438)

x<=2000000000	Description
TRUE	evaluated 11139 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 214 times by 1 test Evaluated by: Self test (438)

214-11139

1490 memcpy(&a, &x, 8); -

1491 e = (a>>52) - 1022; -

1492

return e*10;

executed 214 times by 1 test: return e*10;

Executed by:

Self test (438)

214

1493 } -

1494 #endif /* SQLITE_OMIT_VIRTUALTABLE */ -

1495 -

1496 #if defined(SQLITE_ENABLE_STMT_SCANSTATUS) || \ -

1497 defined(SQLITE_ENABLE_STAT3_OR_STAT4) || \ -

1498 defined(SQLITE_EXPLAIN_ESTIMATED_ROWS) -

1499 /* -

1500 ** Convert a LogEst into an integer. -

1501 ** -

1502 ** Note that this routine is only used when one or more of various -

1503 ** non-standard compile-time options is enabled. -

1504 */ -

1505 u64 sqlite3LogEstToInt(LogEst x){ -

1506 u64 n; -

1507 n = x%10; -

1508 x /= 10; -

1509 if( n>=5 ) n -= 2; -

1510 else if( n>=1 ) n -= 1; -

1511 #if defined(SQLITE_ENABLE_STMT_SCANSTATUS) || \ -

1512 defined(SQLITE_EXPLAIN_ESTIMATED_ROWS) -

1513 if( x>60 ) return (u64)LARGEST_INT64; -

1514 #else -

1515 /* If only SQLITE_ENABLE_STAT3_OR_STAT4 is on, then the largest input -

1516 ** possible to this routine is 310, resulting in a maximum x of 31 */ -

1517 assert( x<=60 ); -

1518 #endif -

1519 return x>=3 ? (n+8)<<(x-3) : (n+8)>>(3-x); -

1520 } -

1521 #endif /* defined SCANSTAT or STAT4 or ESTIMATED_ROWS */ -

1522 -

1523 /* -

1524 ** Add a new name/number pair to a VList. This might require that the -

1525 ** VList object be reallocated, so return the new VList. If an OOM -

1526 ** error occurs, the original VList returned and the -

1527 ** db->mallocFailed flag is set. -

1528 ** -

1529 ** A VList is really just an array of integers. To destroy a VList, -

1530 ** simply pass it to sqlite3DbFree(). -

1531 ** -

1532 ** The first integer is the number of integers allocated for the whole -

1533 ** VList. The second integer is the number of integers actually used. -

1534 ** Each name/number pair is encoded by subsequent groups of 3 or more -

1535 ** integers. -

1536 ** -

1537 ** Each name/number pair starts with two integers which are the numeric -

1538 ** value for the pair and the size of the name/number pair, respectively. -

1539 ** The text name overlays one or more following integers. The text name -

1540 ** is always zero-terminated. -

1541 ** -

1542 ** Conceptually: -

1543 ** -

1544 ** struct VList { -

1545 ** int nAlloc; // Number of allocated slots -

1546 ** int nUsed; // Number of used slots -

1547 ** struct VListEntry { -

1548 ** int iValue; // Value for this entry -

1549 ** int nSlot; // Slots used by this entry -

1550 ** // ... variable name goes here -

1551 ** } a[0]; -

1552 ** } -

1553 ** -

1554 ** During code generation, pointers to the variable names within the -

1555 ** VList are taken. When that happens, nAlloc is set to zero as an -

1556 ** indication that the VList may never again be enlarged, since the -

1557 ** accompanying realloc() would invalidate the pointers. -

1558 */ -

1559 VList *sqlite3VListAdd( -

1560 sqlite3 *db, /* The database connection used for malloc() */ -

1561 VList *pIn, /* The input VList. Might be NULL */ -

1562 const char *zName, /* Name of symbol to add */ -

1563 int nName, /* Bytes of text in zName */ -

1564 int iVal /* Value to associate with zName */ -

1565 ){ -

1566 int nInt; /* number of sizeof(int) objects needed for zName */ -

1567 char *z; /* Pointer to where zName will be stored */ -

1568 int i; /* Index in pIn[] where zName is stored */ -

1569 -

1570 nInt = nName/4 + 3; -

1571 assert( pIn==0 || pIn[0]>=3 ); /* Verify ok to add new elements */ -

1572

if( pIn==0 || pIn[1]+nInt > pIn[0] ){

pIn==0	Description
TRUE	evaluated 28079 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 4568 times by 1 test Evaluated by: Self test (438)

pIn[1]+nInt > pIn[0]	Description
TRUE	evaluated 32 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 4536 times by 1 test Evaluated by: Self test (438)

32-28079

1573 /* Enlarge the allocation */ -

1574

int nAlloc = (pIn ? pIn[0]*2 : 10) + nInt;

pIn	Description
TRUE	evaluated 32 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 28079 times by 1 test Evaluated by: Self test (438)

32-28079

1575 VList *pOut = sqlite3DbRealloc(db, pIn, nAlloc*sizeof(int)); -

1576

if( pOut==0 ) return pIn;

never executed: return pIn;

pOut==0	Description
TRUE	never evaluated
FALSE	evaluated 28111 times by 1 test Evaluated by: Self test (438)

0-28111

1577

if( pIn==0 ) pOut[1] = 2;

executed 28079 times by 1 test: pOut[1] = 2;

Executed by:

Self test (438)

pIn==0	Description
TRUE	evaluated 28079 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 32 times by 1 test Evaluated by: Self test (438)

32-28079

1578 pIn = pOut; -

1579 pIn[0] = nAlloc; -

1580

}

executed 28111 times by 1 test: end of block

Executed by:

Self test (438)

28111

1581 i = pIn[1]; -

1582 pIn[i] = iVal; -

1583 pIn[i+1] = nInt; -

1584 z = (char*)&pIn[i+2]; -

1585 pIn[1] = i+nInt; -

1586 assert( pIn[1]<=pIn[0] ); -

1587 memcpy(z, zName, nName); -

1588 z[nName] = 0; -

1589

return pIn;

executed 32647 times by 1 test: return pIn;

Executed by:

Self test (438)

32647

1590 } -

1591 -

1592 /* -

1593 ** Return a pointer to the name of a variable in the given VList that -

1594 ** has the value iVal. Or return a NULL if there is no such variable in -

1595 ** the list -

1596 */ -

1597 const char *sqlite3VListNumToName(VList *pIn, int iVal){ -

1598 int i, mx; -

1599

if( pIn==0 ) return 0;

executed 397 times by 1 test: return 0;

Executed by:

Self test (438)

pIn==0	Description
TRUE	evaluated 397 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 551894 times by 1 test Evaluated by: Self test (438)

397-551894

1600 mx = pIn[1]; -

1601 i = 2; -

1602 do{ -

1603

if( pIn[i]==iVal ) return (char*)&pIn[i+2];

executed 551742 times by 1 test: return (char*)&pIn[i+2];

Executed by:

Self test (438)

pIn[i]==iVal	Description
TRUE	evaluated 551742 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 109621 times by 1 test Evaluated by: Self test (438)

109621-551742

1604 i += pIn[i+1]; -

1605

}while( i<mx );

executed 109621 times by 1 test: end of block

Executed by:

Self test (438)

i<mx	Description
TRUE	evaluated 109469 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 152 times by 1 test Evaluated by: Self test (438)

152-109621

1606

return 0;

executed 152 times by 1 test: return 0;

Executed by:

Self test (438)

152

1607 } -

1608 -

1609 /* -

1610 ** Return the number of the variable named zName, if it is in VList. -

1611 ** or return 0 if there is no such variable. -

1612 */ -

1613 int sqlite3VListNameToNum(VList *pIn, const char *zName, int nName){ -

1614 int i, mx; -

1615

if( pIn==0 ) return 0;

executed 26601 times by 1 test: return 0;

Executed by:

Self test (438)

pIn==0	Description
TRUE	evaluated 26601 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 4089 times by 1 test Evaluated by: Self test (438)

4089-26601

1616 mx = pIn[1]; -

1617 i = 2; -

1618 do{ -

1619 const char *z = (const char*)&pIn[i+2]; -

1620

if( strncmp(z,zName,nName)==0 && z[nName]==0 ) return pIn[i];

never executed: __result = (((const unsigned char *) (const char *) ( z ))[3] - __s2[3]);

never executed: end of block

never executed: __result = (((const unsigned char *) (const char *) ( zName ))[3] - __s2[3]);

never executed: end of block

executed 337 times by 1 test: return pIn[i];

Executed by:

Self test (438)

(__extension__... nName ))) ==0	Description
TRUE	evaluated 342 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 5688 times by 1 test Evaluated by: Self test (438)

__builtin_constant_p ( nName )	Description
TRUE	never evaluated
FALSE	evaluated 6030 times by 1 test Evaluated by: Self test (438)

__builtin_constant_p ( z )	Description
TRUE	never evaluated
FALSE	never evaluated

strlen ( z ) <..._t) ( nName ))	Description
TRUE	never evaluated
FALSE	never evaluated

__builtin_constant_p ( zName )	Description
TRUE	never evaluated
FALSE	never evaluated

strlen ( zName..._t) ( nName ))	Description
TRUE	never evaluated
FALSE	never evaluated

__s1_len > 0	Description
TRUE	never evaluated
FALSE	never evaluated

__result == 0	Description
TRUE	never evaluated
FALSE	never evaluated

__s1_len > 1	Description
TRUE	never evaluated
FALSE	never evaluated

__result == 0	Description
TRUE	never evaluated
FALSE	never evaluated

__s1_len > 2	Description
TRUE	never evaluated
FALSE	never evaluated

__result == 0	Description
TRUE	never evaluated
FALSE	never evaluated

__s2_len > 0	Description
TRUE	never evaluated
FALSE	never evaluated

__result == 0	Description
TRUE	never evaluated
FALSE	never evaluated

__s2_len > 1	Description
TRUE	never evaluated
FALSE	never evaluated

__result == 0	Description
TRUE	never evaluated
FALSE	never evaluated

__s2_len > 2	Description
TRUE	never evaluated
FALSE	never evaluated

__result == 0	Description
TRUE	never evaluated
FALSE	never evaluated

z[nName]==0	Description
TRUE	evaluated 337 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 5 times by 1 test Evaluated by: Self test (438)

0-6030

1621 i += pIn[i+1]; -

1622

}while( i<mx );

executed 5693 times by 1 test: end of block

Executed by:

Self test (438)

i<mx	Description
TRUE	evaluated 1941 times by 1 test Evaluated by: Self test (438)
FALSE	evaluated 3752 times by 1 test Evaluated by: Self test (438)

1941-5693

1623

return 0;

executed 3752 times by 1 test: return 0;

Executed by:

Self test (438)

3752

1624 } -

Source code

Switch to Preprocessed file

Generated by Squish Coco 4.2.2