Ralf Jung
|
6c2521f54f
|
adjust error messages
|
2020-07-07 22:48:51 +02:00 |
|
Ralf Jung
|
28b44d970c
|
test validation of uninit memory (used to ICE)
|
2020-07-07 22:48:51 +02:00 |
|
Ralf Jung
|
2940da9d1f
|
bump Rust
|
2020-06-20 11:48:42 +02:00 |
|
Ralf Jung
|
3032224d19
|
rustup, adjust error message
|
2020-05-31 10:30:25 +02:00 |
|
Oliver Scherer
|
3fdab9c446
|
Update to rustc changes
|
2020-05-10 10:14:03 +02:00 |
|
Ralf Jung
|
b4ad90669b
|
rustup
|
2020-05-07 23:59:26 +02:00 |
|
Ralf Jung
|
fb3a067ac6
|
rustup; fix error messages
|
2020-05-07 08:38:59 +02:00 |
|
Ralf Jung
|
1a704a517a
|
rustup, adjust error messages
|
2020-05-01 10:29:39 +02:00 |
|
Ralf Jung
|
0345ee42da
|
some UB gets masked by optimizations
|
2020-04-18 09:15:59 +02:00 |
|
Ralf Jung
|
e6822d60b3
|
make sure we find some things without validation or stacked borrows, respectively
|
2020-04-14 10:23:47 +02:00 |
|
Ralf Jung
|
77cc0cddd9
|
add test for validation finding use-after-free
|
2020-03-19 08:25:08 +01:00 |
|
Ralf Jung
|
1103a10e2c
|
adjust for error reform
|
2020-03-19 08:25:08 +01:00 |
|
Ralf Jung
|
88c45f9891
|
adjust for rustc changes
|
2020-03-02 13:51:08 +01:00 |
|
Ralf Jung
|
e952e37a39
|
compile-fail tests work with optimizations now
|
2019-12-29 12:38:40 +01:00 |
|
Ralf Jung
|
428fc531d8
|
silence a lint that catches the bug statically
|
2019-11-07 09:44:00 +01:00 |
|
Ralf Jung
|
cecbe1611b
|
test for invalid wide raw ptr
|
2019-08-29 17:19:09 +02:00 |
|
Ralf Jung
|
3c1ab78196
|
review failing compile-fail tests
|
2019-07-23 23:25:06 +02:00 |
|
Ralf Jung
|
95e6e671bf
|
fix compile-fail tests for latest rustc
|
2019-07-16 18:39:18 +02:00 |
|
Ralf Jung
|
4dc188a60e
|
adjust for refactored memory pointer checks
|
2019-06-23 20:19:26 +02:00 |
|
Alexander Regueiro
|
a478bfebd2
|
Removed copyright notices.
|
2019-02-26 18:37:45 +00:00 |
|
Ralf Jung
|
bbdc3380d5
|
fix tests
|
2018-12-07 10:15:25 +01:00 |
|
Ralf Jung
|
36a2b89522
|
remove a whole lot of unnecessary attributes
|
2018-12-02 11:26:09 +01:00 |
|
Ralf Jung
|
58309956c1
|
for now, we allow Undef in raw pointers as we do in integers
|
2018-11-27 14:26:23 +01:00 |
|
Ralf Jung
|
7d623f73cc
|
do not use 'let _', it is strange
|
2018-11-26 15:31:53 +01:00 |
|
Ralf Jung
|
d694dc43f4
|
bump Rust version
|
2018-11-08 08:35:14 +01:00 |
|
Ralf Jung
|
74635a57e2
|
re-do large parts of stacked borrows, now with proper support for partiall frozen data
|
2018-11-08 08:29:34 +01:00 |
|
Ralf Jung
|
efd2f0e0e4
|
move new test to correct dir
|
2018-11-03 12:33:14 +01:00 |
|
Ralf Jung
|
7ac0e79ad5
|
stub Retag hook; fix tests for removal of -Zmir-emit-validate
|
2018-11-01 08:58:03 +01:00 |
|
Ralf Jung
|
fda03e9d7d
|
some more compile-fail tests
|
2018-10-22 16:48:10 +02:00 |
|
Ralf Jung
|
dd1558f337
|
rustc update and be very selective about what we accept on a deref
|
2018-10-22 16:48:09 +02:00 |
|
Ralf Jung
|
1907782b64
|
reenable some tests that work now, and organize them better with directories
|
2018-10-17 16:58:54 +02:00 |
|