[dbsrgits/DBIx-Class.git] / t / 752sqlite.t

use strict;
use warnings;

use Test::More;
use Test::Exception;
use Test::Warn;
use Time::HiRes 'time';
use Math::BigInt;

use lib qw(t/lib);
use DBICTest;
use DBIx::Class::_Util qw( sigwarn_silencer modver_gt_or_eq modver_gt_or_eq_and_lt );

# check that we work somewhat OK with braindead SQLite transaction handling
#
# As per https://metacpan.org/source/ADAMK/DBD-SQLite-1.37/lib/DBD/SQLite.pm#L921
# SQLite does *not* try to synchronize
#
# However DBD::SQLite 1.38_02 seems to fix this, with an accompanying test:
# https://metacpan.org/source/ADAMK/DBD-SQLite-1.38_02/t/54_literal_txn.t

require DBD::SQLite;
my $lit_txn_todo = modver_gt_or_eq('DBD::SQLite', '1.38_02')
  ? undef
  : "DBD::SQLite before 1.38_02 is retarded wrt detecting literal BEGIN/COMMIT statements"
;

for my $prefix_comment (qw/Begin_only Commit_only Begin_and_Commit/) {
  note "Testing with comment prefixes on $prefix_comment";

  # FIXME warning won't help us for the time being
  # perhaps when (if ever) DBD::SQLite gets fixed,
  # we can do something extra here
  local $SIG{__WARN__} = sigwarn_silencer( qr/Internal transaction state .+? does not seem to match/ )
    if ( $lit_txn_todo && !$ENV{TEST_VERBOSE} );

  my ($c_begin, $c_commit) = map { $prefix_comment =~ $_ ? 1 : 0 } (qr/Begin/, qr/Commit/);

  my $schema = DBICTest->init_schema( no_deploy => 1 );
  my $ars = $schema->resultset('Artist');

  ok (! $schema->storage->connected, 'No connection yet');

  $schema->storage->dbh->do(<<'DDL');
CREATE TABLE artist (
  artistid INTEGER PRIMARY KEY NOT NULL,
  name varchar(100),
  rank integer DEFAULT 13,
  charfield char(10) NULL
);
DDL

  my $artist = $ars->create({ name => 'Artist_' . time() });
  is ($ars->count, 1, 'Inserted artist ' . $artist->name);

  ok ($schema->storage->connected, 'Connected');
  ok ($schema->storage->_dbh->{AutoCommit}, 'DBD not in txn yet');

  $schema->storage->dbh->do(join "\n",
    $c_begin ? '-- comment' : (),
    'BEGIN TRANSACTION'
  );
  ok ($schema->storage->connected, 'Still connected');
  {
    local $TODO = $lit_txn_todo if $c_begin;
    ok (! $schema->storage->_dbh->{AutoCommit}, "DBD aware of txn begin with comments on $prefix_comment");
  }

  $schema->storage->dbh->do(join "\n",
    $c_commit ? '-- comment' : (),
    'COMMIT'
  );
  ok ($schema->storage->connected, 'Still connected');
  {
    local $TODO = $lit_txn_todo if $c_commit and ! $c_begin;
    ok ($schema->storage->_dbh->{AutoCommit}, "DBD aware txn ended with comments on $prefix_comment");
  }

  is ($ars->count, 1, 'Inserted artists still there');

  {
    # this never worked in the 1st place
    local $TODO = $lit_txn_todo if ! $c_begin and $c_commit;

    # odd argument passing, because such nested crefs leak on 5.8
    lives_ok {
      $schema->storage->txn_do (sub {
        ok ($_[0]->find({ name => $_[1] }), "Artist still where we left it after cycle with comments on $prefix_comment");
      }, $ars, $artist->name );
    } "Succesfull transaction with comments on $prefix_comment";
  }
}

# test blank begin/svp/commit/begin cycle
warnings_are {
  my $schema = DBICTest->init_schema( no_populate => 1 );
  my $rs = $schema->resultset('Artist');
  is ($rs->count, 0, 'Start with empty table');

  for my $do_commit (1, 0) {
    $schema->txn_begin;
    $schema->svp_begin;
    $schema->svp_rollback;

    $schema->svp_begin;
    $schema->svp_rollback;

    $schema->svp_release;

    $schema->svp_begin;

    $schema->txn_rollback;

    $schema->txn_begin;
    $schema->svp_begin;
    $schema->svp_rollback;

    $schema->svp_begin;
    $schema->svp_rollback;

    $schema->svp_release;

    $schema->svp_begin;

    $do_commit ? $schema->txn_commit : $schema->txn_rollback;

    is_deeply $schema->storage->savepoints, [], 'Savepoint names cleared away'
  }

  $schema->txn_do(sub {
    ok (1, 'all seems fine');
  });
} [], 'No warnings emitted';

my $schema = DBICTest->init_schema();

# make sure the side-effects of RT#67581 do not result in data loss
my $row;
warnings_exist { $row = $schema->resultset('Artist')->create ({ name => 'alpha rank', rank => 'abc' }) }
  [qr/Non-integer value supplied for column 'rank' despite the integer datatype/],
  'proper warning on string insertion into an numeric column'
;
$row->discard_changes;
is ($row->rank, 'abc', 'proper rank inserted into database');

# and make sure we do not lose actual bigints
{
  package DBICTest::BigIntArtist;
  use base 'DBICTest::Schema::Artist';
  __PACKAGE__->table('artist');
  __PACKAGE__->add_column(bigint => { data_type => 'bigint' });
}
$schema->register_class(BigIntArtist => 'DBICTest::BigIntArtist');
$schema->storage->dbh_do(sub {
  $_[1]->do('ALTER TABLE artist ADD COLUMN bigint BIGINT');
});

my $sqlite_broken_bigint = modver_gt_or_eq_and_lt( 'DBD::SQLite', '1.34', '1.37' );

# 63 bit integer
my $many_bits = (Math::BigInt->new(2) ** 62);

# test upper/lower boundaries for sqlite and some values inbetween
# range is -(2**63) .. 2**63 - 1
#
# Not testing -0 - it seems to overflow to ~0 on some combinations,
# thus not triggering the >32 bit guards
# interesting read: https://en.wikipedia.org/wiki/Signed_zero#Representations
for my $bi ( qw(
  -2
  -1
  0
  +0
  1
  2

  -9223372036854775808
  -9223372036854775807
  -8694837494948124658
  -6848440844435891639
  -5664812265578554454
  -5380388020020483213
  -2564279463598428141
  2442753333597784273
  4790993557925631491
  6773854980030157393
  7627910776496326154
  8297530189347439311
  9223372036854775806
  9223372036854775807

  4294967295
  4294967296

  -4294967296
  -4294967295
  -4294967294

  -2147483649
  -2147483648
  -2147483647
  -2147483646

  2147483646
  2147483647
),
  # these values cause exceptions even with all workarounds in place on these
  # fucked DBD::SQLite versions *regardless* of ivsize >.<
  $sqlite_broken_bigint
    ? ()
    : ( '2147483648', '2147483649' )
) {
  # unsigned 32 bit ints have a range of −2,147,483,648 to 2,147,483,647
  # alternatively expressed as the hexadecimal numbers below
  # the comparison math will come out right regardless of ivsize, since
  # we are operating within 31 bits
  # P.S. 31 because one bit is lost for the sign
  my $v_bits = ($bi > 0x7fff_ffff || $bi < -0x8000_0000) ? 64 : 32;

  my $v_desc = sprintf '%s (%d bit signed int)', $bi, $v_bits;

  my @w;
  local $SIG{__WARN__} = sub {
    if ($_[0] =~ /datatype mismatch/) {
      push @w, @_;
    }
    elsif ($_[0] =~ /An integer value occupying more than 32 bits was supplied .+ can not bind properly so DBIC will treat it as a string instead/ ) {
      # do nothing, this warning will pop up here and there depending on
      # DBD/bitness combination
      # we don't want to test for it explicitly, we are just interested
      # in the results matching at the end
    }
    else {
      warn @_;
    }
  };

  # some combinations of SQLite 1.35 and older 5.8 faimly is wonky
  # instead of a warning we get a full exception. Sod it
  eval {
    $row = $schema->resultset('BigIntArtist')->create({ bigint => $bi });
  } or do {
    fail("Exception on inserting $v_desc") unless $sqlite_broken_bigint;
    next;
  };

  # explicitly using eq, to make sure we did not nummify the argument
  # which can be an issue on 32 bit ivsize
  cmp_ok ($row->bigint, 'eq', $bi, "value in object correct ($v_desc)");

  $row->discard_changes;

  cmp_ok (
    $row->bigint,

    # the test will not pass an == if we are running under 32 bit ivsize
    # use 'eq' on the numified (and possibly "scientificied") returned value
    (DBIx::Class::_ENV_::IV_SIZE < 8 and $v_bits > 32) ? 'eq' : '==',

    # in 1.37 DBD::SQLite switched to proper losless representation of bigints
    # regardless of ivize
    # before this use 'eq' (from above) on the numified (and possibly
    # "scientificied") returned value
    (DBIx::Class::_ENV_::IV_SIZE < 8 and ! modver_gt_or_eq('DBD::SQLite', '1.37')) ? $bi+0 : $bi,

    "value in database correct ($v_desc)"
  );

# FIXME - temporary smoke-only escape
SKIP: {
  skip 'Potential for false negatives - investigation pending', 1
    if DBICTest::RunMode->is_plain;

  # check if math works
  # start by adding/subtracting a 50 bit integer, and then divide by 2 for good measure
  my ($sqlop, $expect) = $bi < 0
    ? ( '(bigint + ? )', ($bi + $many_bits) )
    : ( '(bigint - ? )', ($bi - $many_bits) )
  ;

  $expect = ($expect + ($expect % 2)) / 2;

  # read https://en.wikipedia.org/wiki/Modulo_operation#Common_pitfalls
  # and check the tables on the right side of the article for an
  # enlightening journey on why a mere bigint % 2 won't work
  $sqlop = "( $sqlop + ( ((bigint % 2)+2)%2 ) ) / 2";

  for my $dtype (undef, \'int', \'bigint') {

    # FIXME - the double-load should not be needed
    # will fix in the future
    $row->update({ bigint => $bi });
    $row->discard_changes;
    $row->update({ bigint => \[ $sqlop, [ $dtype => $many_bits ] ] });
    $row->discard_changes;

    # can't use cmp_ok - will not engage the M::BI overload of $many_bits
    ok (
      $row->bigint

      ==

      (DBIx::Class::_ENV_::IV_SIZE < 8 and ! modver_gt_or_eq('DBD::SQLite', '1.37')) ? $expect->bstr + 0 : $expect
    , "simple integer math with@{[ $dtype ? '' : 'out' ]} bindtype in database correct (base $v_desc)")
      or diag sprintf '%s != %s', $row->bigint, $expect;
  }
# end of fixme
}

  is_deeply (\@w, [], "No mismatch warnings on bigint operations ($v_desc)" );
}

done_testing;

# vim:sts=2 sw=2:
Commit	Line	Data
86a51471	1	use strict;
	2	use warnings;
	3
	4	use Test::More;
	5	use Test::Exception;
632d1e0f	6	use Test::Warn;
2aeb3c7f	7	use Time::HiRes 'time';
f3b1224b	8	use Math::BigInt;
67b35a45	9
86a51471	10	use lib qw(t/lib);
86a51471	11	use DBICTest;
d634850b	12	use DBIx::Class::_Util qw( sigwarn_silencer modver_gt_or_eq modver_gt_or_eq_and_lt );
86a51471	13
2aeb3c7f	14	# check that we work somewhat OK with braindead SQLite transaction handling
	15	#
	16	# As per https://metacpan.org/source/ADAMK/DBD-SQLite-1.37/lib/DBD/SQLite.pm#L921
	17	# SQLite does not try to synchronize
ab0b0a09	18	#
	19	# However DBD::SQLite 1.38_02 seems to fix this, with an accompanying test:
	20	# https://metacpan.org/source/ADAMK/DBD-SQLite-1.38_02/t/54_literal_txn.t
	21
56270bba	22	require DBD::SQLite;
b1dbf716	23	my $lit_txn_todo = modver_gt_or_eq('DBD::SQLite', '1.38_02')
ab0b0a09	24	? undef
	25	: "DBD::SQLite before 1.38_02 is retarded wrt detecting literal BEGIN/COMMIT statements"
	26	;
2aeb3c7f	27
	28	for my $prefix_comment (qw/Begin_only Commit_only Begin_and_Commit/) {
	29	note "Testing with comment prefixes on $prefix_comment";
	30
	31	# FIXME warning won't help us for the time being
	32	# perhaps when (if ever) DBD::SQLite gets fixed,
	33	# we can do something extra here
052a832c	34	local $SIG{__WARN__} = sigwarn_silencer( qr/Internal transaction state .+? does not seem to match/ )
ab0b0a09	35	if ( $lit_txn_todo && !$ENV{TEST_VERBOSE} );
2aeb3c7f	36
	37	my ($c_begin, $c_commit) = map { $prefix_comment =~ $_ ? 1 : 0 } (qr/Begin/, qr/Commit/);
	38
	39	my $schema = DBICTest->init_schema( no_deploy => 1 );
	40	my $ars = $schema->resultset('Artist');
	41
	42	ok (! $schema->storage->connected, 'No connection yet');
	43
	44	$schema->storage->dbh->do(<<'DDL');
	45	CREATE TABLE artist (
	46	artistid INTEGER PRIMARY KEY NOT NULL,
	47	name varchar(100),
	48	rank integer DEFAULT 13,
	49	charfield char(10) NULL
	50	);
	51	DDL
	52
	53	my $artist = $ars->create({ name => 'Artist_' . time() });
	54	is ($ars->count, 1, 'Inserted artist ' . $artist->name);
	55
	56	ok ($schema->storage->connected, 'Connected');
	57	ok ($schema->storage->_dbh->{AutoCommit}, 'DBD not in txn yet');
	58
	59	$schema->storage->dbh->do(join "\n",
	60	$c_begin ? '-- comment' : (),
	61	'BEGIN TRANSACTION'
	62	);
	63	ok ($schema->storage->connected, 'Still connected');
	64	{
ab0b0a09	65	local $TODO = $lit_txn_todo if $c_begin;
2aeb3c7f	66	ok (! $schema->storage->_dbh->{AutoCommit}, "DBD aware of txn begin with comments on $prefix_comment");
	67	}
	68
	69	$schema->storage->dbh->do(join "\n",
	70	$c_commit ? '-- comment' : (),
	71	'COMMIT'
	72	);
	73	ok ($schema->storage->connected, 'Still connected');
	74	{
ab0b0a09	75	local $TODO = $lit_txn_todo if $c_commit and ! $c_begin;
2aeb3c7f	76	ok ($schema->storage->_dbh->{AutoCommit}, "DBD aware txn ended with comments on $prefix_comment");
	77	}
	78
	79	is ($ars->count, 1, 'Inserted artists still there');
	80
	81	{
	82	# this never worked in the 1st place
ab0b0a09	83	local $TODO = $lit_txn_todo if ! $c_begin and $c_commit;
2aeb3c7f	84
08615cfb	85	# odd argument passing, because such nested crefs leak on 5.8
2aeb3c7f	86	lives_ok {
2aeb3c7f	87	$schema->storage->txn_do (sub {
08615cfb	88	ok ($_[0]->find({ name => $_[1] }), "Artist still where we left it after cycle with comments on $prefix_comment");
08615cfb	89	}, $ars, $artist->name );
2aeb3c7f	90	} "Succesfull transaction with comments on $prefix_comment";
	91	}
	92	}
	93
398215b1	94	# test blank begin/svp/commit/begin cycle
	95	warnings_are {
	96	my $schema = DBICTest->init_schema( no_populate => 1 );
	97	my $rs = $schema->resultset('Artist');
	98	is ($rs->count, 0, 'Start with empty table');
	99
	100	for my $do_commit (1, 0) {
	101	$schema->txn_begin;
	102	$schema->svp_begin;
	103	$schema->svp_rollback;
	104
	105	$schema->svp_begin;
	106	$schema->svp_rollback;
	107
	108	$schema->svp_release;
	109
	110	$schema->svp_begin;
	111
	112	$schema->txn_rollback;
	113
	114	$schema->txn_begin;
	115	$schema->svp_begin;
	116	$schema->svp_rollback;
	117
	118	$schema->svp_begin;
	119	$schema->svp_rollback;
	120
	121	$schema->svp_release;
	122
	123	$schema->svp_begin;
	124
	125	$do_commit ? $schema->txn_commit : $schema->txn_rollback;
	126
	127	is_deeply $schema->storage->savepoints, [], 'Savepoint names cleared away'
	128	}
	129
	130	$schema->txn_do(sub {
	131	ok (1, 'all seems fine');
	132	});
	133	} [], 'No warnings emitted';
2aeb3c7f	134
67b35a45	135	my $schema = DBICTest->init_schema();
86a51471	136
632d1e0f	137	# make sure the side-effects of RT#67581 do not result in data loss
632d1e0f	138	my $row;
67b35a45	139	warnings_exist { $row = $schema->resultset('Artist')->create ({ name => 'alpha rank', rank => 'abc' }) }
445bc0cd	140	[qr/Non-integer value supplied for column 'rank' despite the integer datatype/],
632d1e0f	141	'proper warning on string insertion into an numeric column'
	142	;
	143	$row->discard_changes;
	144	is ($row->rank, 'abc', 'proper rank inserted into database');
	145
67b35a45	146	# and make sure we do not lose actual bigints
	147	{
	148	package DBICTest::BigIntArtist;
	149	use base 'DBICTest::Schema::Artist';
	150	__PACKAGE__->table('artist');
	151	__PACKAGE__->add_column(bigint => { data_type => 'bigint' });
	152	}
	153	$schema->register_class(BigIntArtist => 'DBICTest::BigIntArtist');
	154	$schema->storage->dbh_do(sub {
	155	$_[1]->do('ALTER TABLE artist ADD COLUMN bigint BIGINT');
	156	});
	157
d634850b	158	my $sqlite_broken_bigint = modver_gt_or_eq_and_lt( 'DBD::SQLite', '1.34', '1.37' );
f3b1224b	159
	160	# 63 bit integer
	161	my $many_bits = (Math::BigInt->new(2) ** 62);
	162
67b35a45	163	# test upper/lower boundaries for sqlite and some values inbetween
67b35a45	164	# range is -(263) .. 263 - 1
f3b1224b	165	#
	166	# Not testing -0 - it seems to overflow to ~0 on some combinations,
	167	# thus not triggering the >32 bit guards
	168	# interesting read: https://en.wikipedia.org/wiki/Signed_zero#Representations
04ab4eb1	169	for my $bi ( qw(
f3b1224b	170	-2
	171	-1
	172	0
	173	+0
	174	1
	175	2
	176
04ab4eb1	177	-9223372036854775808
	178	-9223372036854775807
	179	-8694837494948124658
	180	-6848440844435891639
	181	-5664812265578554454
	182	-5380388020020483213
	183	-2564279463598428141
	184	2442753333597784273
	185	4790993557925631491
	186	6773854980030157393
	187	7627910776496326154
	188	8297530189347439311
	189	9223372036854775806
	190	9223372036854775807
	191
	192	4294967295
	193	4294967296
	194
	195	-4294967296
	196	-4294967295
	197	-4294967294
	198
	199	-2147483649
	200	-2147483648
	201	-2147483647
	202	-2147483646
	203
	204	2147483646
	205	2147483647
	206	),
	207	# these values cause exceptions even with all workarounds in place on these
	208	# fucked DBD::SQLite versions regardless of ivsize >.<
f3b1224b	209	$sqlite_broken_bigint
04ab4eb1	210	? ()
	211	: ( '2147483648', '2147483649' )
	212	) {
	213	# unsigned 32 bit ints have a range of −2,147,483,648 to 2,147,483,647
	214	# alternatively expressed as the hexadecimal numbers below
	215	# the comparison math will come out right regardless of ivsize, since
	216	# we are operating within 31 bits
	217	# P.S. 31 because one bit is lost for the sign
	218	my $v_bits = ($bi > 0x7fff_ffff \|\| $bi < -0x8000_0000) ? 64 : 32;
	219
	220	my $v_desc = sprintf '%s (%d bit signed int)', $bi, $v_bits;
	221
1363f0f5	222	my @w;
113322e5	223	local $SIG{__WARN__} = sub {
	224	if ($_[0] =~ /datatype mismatch/) {
	225	push @w, @_;
	226	}
	227	elsif ($_[0] =~ /An integer value occupying more than 32 bits was supplied .+ can not bind properly so DBIC will treat it as a string instead/ ) {
	228	# do nothing, this warning will pop up here and there depending on
	229	# DBD/bitness combination
	230	# we don't want to test for it explicitly, we are just interested
	231	# in the results matching at the end
	232	}
	233	else {
	234	warn @_;
	235	}
	236	};
1363f0f5	237
f3b1224b	238	# some combinations of SQLite 1.35 and older 5.8 faimly is wonky
	239	# instead of a warning we get a full exception. Sod it
	240	eval {
2e092442	241	$row = $schema->resultset('BigIntArtist')->create({ bigint => $bi });
f3b1224b	242	} or do {
	243	fail("Exception on inserting $v_desc") unless $sqlite_broken_bigint;
	244	next;
	245	};
04ab4eb1	246
	247	# explicitly using eq, to make sure we did not nummify the argument
	248	# which can be an issue on 32 bit ivsize
	249	cmp_ok ($row->bigint, 'eq', $bi, "value in object correct ($v_desc)");
	250
	251	$row->discard_changes;
	252
	253	cmp_ok (
	254	$row->bigint,
	255
	256	# the test will not pass an == if we are running under 32 bit ivsize
	257	# use 'eq' on the numified (and possibly "scientificied") returned value
f3b1224b	258	(DBIx::Class::_ENV_::IV_SIZE < 8 and $v_bits > 32) ? 'eq' : '==',
04ab4eb1	259
	260	# in 1.37 DBD::SQLite switched to proper losless representation of bigints
	261	# regardless of ivize
	262	# before this use 'eq' (from above) on the numified (and possibly
	263	# "scientificied") returned value
	264	(DBIx::Class::_ENV_::IV_SIZE < 8 and ! modver_gt_or_eq('DBD::SQLite', '1.37')) ? $bi+0 : $bi,
	265
	266	"value in database correct ($v_desc)"
	267	);
1363f0f5	268
f3b1224b	269	# FIXME - temporary smoke-only escape
	270	SKIP: {
	271	skip 'Potential for false negatives - investigation pending', 1
	272	if DBICTest::RunMode->is_plain;
	273
	274	# check if math works
	275	# start by adding/subtracting a 50 bit integer, and then divide by 2 for good measure
	276	my ($sqlop, $expect) = $bi < 0
	277	? ( '(bigint + ? )', ($bi + $many_bits) )
	278	: ( '(bigint - ? )', ($bi - $many_bits) )
	279	;
	280
	281	$expect = ($expect + ($expect % 2)) / 2;
	282
	283	# read https://en.wikipedia.org/wiki/Modulo_operation#Common_pitfalls
	284	# and check the tables on the right side of the article for an
	285	# enlightening journey on why a mere bigint % 2 won't work
	286	$sqlop = "( $sqlop + ( ((bigint % 2)+2)%2 ) ) / 2";
	287
	288	for my $dtype (undef, \'int', \'bigint') {
	289
	290	# FIXME - the double-load should not be needed
	291	# will fix in the future
	292	$row->update({ bigint => $bi });
	293	$row->discard_changes;
	294	$row->update({ bigint => \[ $sqlop, [ $dtype => $many_bits ] ] });
	295	$row->discard_changes;
	296
	297	# can't use cmp_ok - will not engage the M::BI overload of $many_bits
	298	ok (
	299	$row->bigint
	300
	301	==
	302
	303	(DBIx::Class::_ENV_::IV_SIZE < 8 and ! modver_gt_or_eq('DBD::SQLite', '1.37')) ? $expect->bstr + 0 : $expect
	304	, "simple integer math with@{[ $dtype ? '' : 'out' ]} bindtype in database correct (base $v_desc)")
	305	or diag sprintf '%s != %s', $row->bigint, $expect;
	306	}
	307	# end of fixme
	308	}
	309
	310	is_deeply (\@w, [], "No mismatch warnings on bigint operations ($v_desc)" );
67b35a45	311	}
67b35a45	312
86a51471	313	done_testing;
	314
	315	# vim:sts=2 sw=2: