R.Chavignat
|
b417f01ed8
|
Also test that the CastExpr's right arm is numeric.
|
2015-08-20 14:36:26 +02:00 |
|
R.Chavignat
|
93d9249f76
|
Moved allow(unknown_lints) to crate level.
|
2015-08-20 14:25:08 +02:00 |
|
R.Chavignat
|
1846581baa
|
Added examples to lint descriptions.
|
2015-08-20 14:24:26 +02:00 |
|
Manish Goregaokar
|
af1340e4fe
|
bump crates to 0.0.12
|
2015-08-20 12:49:49 +05:30 |
|
Manish Goregaokar
|
c91857c62d
|
Merge pull request #209 from Manishearth/where_credit_is_due
give credit where credit is due
|
2015-08-20 12:31:05 +05:30 |
|
llogiq
|
36ef03158f
|
give credit where credit is due
|
2015-08-20 08:59:07 +02:00 |
|
R.Chavignat
|
993239d33a
|
Initial implementation of lossy cast lints.
Introduces 3 lints :
cast_possible_overflow
cast_precision_loss
cast_sign_loss
Add a compile-test test case.
Fix errors spotted by dogfood script.
|
2015-08-20 01:04:06 +02:00 |
|
llogiq
|
150840667e
|
Merge pull request #204 from Manishearth/bit-mask
Extend and correct the ineffective_bit_mask check
|
2015-08-19 13:25:43 +02:00 |
|
llogiq
|
85f7f4c9b4
|
Merge pull request #205 from Manishearth/const
Mul and Div for integers
|
2015-08-19 13:24:59 +02:00 |
|
llogiq
|
973d5e5c6b
|
Mul and Div for integers
|
2015-08-19 11:58:59 +02:00 |
|
llogiq
|
98d24b5b56
|
fixed #203 and #197
|
2015-08-19 09:39:03 +02:00 |
|
llogiq
|
bbc917fef0
|
Merge pull request #202 from birkenfeld/unit_cmp
new lint: comparing unit types (fixes #201)
|
2015-08-19 08:34:19 +02:00 |
|
Georg Brandl
|
8f4499f3ae
|
new lint: comparing unit types (fixes #201)
|
2015-08-19 08:11:00 +02:00 |
|
Manish Goregaokar
|
7ddc402127
|
Merge pull request #200 from Manishearth/consts
more small const improvements
|
2015-08-18 18:41:30 +05:30 |
|
llogiq
|
9f67ba7f8d
|
re-applied birkenfeld's improvements
|
2015-08-18 14:18:36 +02:00 |
|
llogiq
|
6e0c103133
|
more small const improvements
|
2015-08-18 12:26:01 +02:00 |
|
llogiq
|
6182445cf5
|
Merge pull request #198 from birkenfeld/const_enh
consts: minor improvements
|
2015-08-18 11:29:03 +02:00 |
|
Georg Brandl
|
49ad73f6e4
|
consts: minor improvements
|
2015-08-18 11:07:13 +02:00 |
|
llogiq
|
8a9e03dd9f
|
Merge pull request #196 from birkenfeld/const_struct
[rfc] consts: convert to using a struct with state
|
2015-08-18 11:02:04 +02:00 |
|
Georg Brandl
|
7f52239cab
|
consts: convert to using a struct with state
Struct has the context reference (as an Option) and the
needed_resolution flag.
|
2015-08-17 19:58:21 +02:00 |
|
llogiq
|
202e66708e
|
Merge pull request #195 from birkenfeld/impl_const_not
const eval: implement ! for integers
|
2015-08-17 17:02:26 +02:00 |
|
Georg Brandl
|
a2dcbfea65
|
const eval: implement ! for integers
|
2015-08-17 16:45:56 +02:00 |
|
llogiq
|
26f17e8c4a
|
Merge pull request #194 from Manishearth/consts_neg_zero
added test and fixed negativity check in Partial{Eq, Ord} impl
|
2015-08-17 16:29:02 +02:00 |
|
llogiq
|
a2ee637be6
|
added test and fixed negativity check in Partial{Eq, Ord} impl
|
2015-08-17 16:24:57 +02:00 |
|
llogiq
|
59d0ae8739
|
Merge pull request #193 from Manishearth/const_bitop
Added bit operations to const folding
|
2015-08-17 15:15:21 +02:00 |
|
llogiq
|
c47402416b
|
Added bit operations to const folding
|
2015-08-17 15:11:36 +02:00 |
|
llogiq
|
d7ec53b52f
|
Merge pull request #192 from Manishearth/const_cmp
Const cmp
|
2015-08-17 13:25:40 +02:00 |
|
llogiq
|
4394362836
|
dogfooding
|
2015-08-17 13:23:17 +02:00 |
|
llogiq
|
9f134f8e95
|
added PartialEq/PartialOrd to ConstantVariant, used to implement comparing binops
|
2015-08-17 13:18:14 +02:00 |
|
llogiq
|
5087913304
|
Merge pull request #191 from Manishearth/fix-165
Closes #165
|
2015-08-17 12:11:32 +02:00 |
|
llogiq
|
0e67c0134f
|
make float_cmp check for zero
|
2015-08-17 12:08:45 +02:00 |
|
llogiq
|
e354fdc3e8
|
added regression test for #189
|
2015-08-17 12:08:45 +02:00 |
|
llogiq
|
fb715ce45d
|
fix 189, fixed a few warnings, ==/!= for consts, refactored consts test
|
2015-08-17 12:08:45 +02:00 |
|
llogiq
|
d3bdc6d1bf
|
Merge pull request #190 from Manishearth/fix-189
Fix 189
|
2015-08-17 11:49:05 +02:00 |
|
llogiq
|
f7677b03e1
|
added regression test for #189
|
2015-08-17 11:46:45 +02:00 |
|
llogiq
|
84abfcd22d
|
fix 189, fixed a few warnings, ==/!= for consts, refactored consts test
|
2015-08-17 11:43:36 +02:00 |
|
Manish Goregaokar
|
4f1fcd4d5b
|
Merge pull request #184 from Manishearth/identity_op
Identity op now uses const folding, no longer follows const bindings
|
2015-08-17 14:35:45 +05:30 |
|
Manish Goregaokar
|
65deb956f1
|
Merge pull request #186 from birkenfeld/fix
loops: fix two trailing periods in lint msgs
|
2015-08-17 11:05:02 +05:30 |
|
Manish Goregaokar
|
85edd159f7
|
Merge pull request #185 from birkenfeld/iter_next_loop
new lint: iterating over any Iterator::next() result (fixes #182)
|
2015-08-17 11:04:58 +05:30 |
|
Georg Brandl
|
caeb72c47b
|
loops: fix two trailing periods in lint msgs
|
2015-08-17 07:30:33 +02:00 |
|
Georg Brandl
|
e9a41e2374
|
new lint: lint when iterating over any Iterator::next() result (fixes #182)
|
2015-08-17 07:28:40 +02:00 |
|
llogiq
|
759b45a46d
|
made is_negative(..) public (+doctest), fixed identity_op and precedence
|
2015-08-16 23:09:56 +02:00 |
|
llogiq
|
c4b07ead17
|
Merge pull request #179 from nweston/step-by-zero
New lint: Range::step_by(0) (fixes #95)
|
2015-08-16 20:12:52 +02:00 |
|
Nathan Weston
|
23a38c4170
|
New lint: Range::step_by(0) (fixes #95)
Uses type information so it can detect non-literal ranges as well
(Range or RangeFrom -- the other range types don't have step_by).
|
2015-08-16 12:58:54 -04:00 |
|
llogiq
|
e1438e7010
|
copied over cmp_owned fix from master
|
2015-08-16 16:13:44 +02:00 |
|
llogiq
|
4244f2479f
|
dogfooding, part 2
|
2015-08-16 16:09:00 +02:00 |
|
llogiq
|
fe0de07b28
|
dogfooded
|
2015-08-16 16:05:51 +02:00 |
|
llogiq
|
03c7d7074d
|
With working test now
|
2015-08-16 15:56:09 +02:00 |
|
Manish Goregaokar
|
164907ece2
|
restrict toplevel_ref_arg to only functions (fixes #170)
|
2015-08-16 17:24:03 +05:30 |
|
Manish Goregaokar
|
7a870ad46b
|
Merge pull request #180 from birkenfeld/small_changes
Small changes
|
2015-08-16 13:12:56 +05:30 |
|