Skip to content

Unsafe post snapshot #1036

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
wants to merge 50 commits into from
Closed

Unsafe post snapshot #1036

wants to merge 50 commits into from

Conversation

nikomatsakis
Copy link
Contributor

Adds checking for unsafe operations and so forth as well as unsafe annotations.

@nikomatsakis
expand purity to include unsafe
00bf461
@nikomatsakis
Extend the unchecked block stuff to allow unsafe blocks as well.
60ce53c
@nikomatsakis
Add unsafe blocks, unsafe functions, and two rudimentary tests
a2582b2 
related to them
@nikomatsakis
it is also legal to call unsafe functions from other unsafe functions
a0efd30
@nikomatsakis
fix test to include a main() function
91a039c
@nikomatsakis
add 'u' to decoder (kinda' important)
6ec4b8b
@nikomatsakis
add 'u' to one other place it was missing
f829894
@nikomatsakis
make treatment of unchecked/unsafe blocks more uniform; also
4450a82 
repair various errors in the parser related to such blocks.
rename checked_blk to default_blk to reflect the fact that it
inherits its purity from the surrounding context.
@nikomatsakis
enable unsafe checking but only with a flag --check-unsafe
66c3bbd
@nikomatsakis
correct lines over 78 chars
234263d
@nikomatsakis
skip test, remove whitespace
7a12d54
@nikomatsakis
make native functions markable as unsafe and incorporate that
9886fc0 
into the type check
@nikomatsakis
Add unsafe tags to usage of LLVM funcs
26c2a6e
@nikomatsakis
add unsafe tags into various points in the translation chains
9eff1a0 
and so forth
@nikomatsakis
continue to annotate trans functions as unsafe where neccessary
816548b
@nikomatsakis
continue to annotate trans functions as unsafe where neccessary
d961094
@nikomatsakis
continue to annotate functions as unsafe where neccessary
37a8c1b
@nikomatsakis
all tests pass
e4bd3cc
@nikomatsakis
all tests pass
01490a4
@nikomatsakis
add pass to check that unsafe fns cannot be used as values
0746572
@nikomatsakis
improve the span used in test generation
7dbf2e9
@nikomatsakis
make a good error msg if you try to use an unsafe fn for a test
f273250
@nikomatsakis
convert a few tests from unsafe fns to fns with unsafe bodies
76e25c0
@nikomatsakis
add some new tests
6ebbe72
@nikomatsakis
fix error msg
140a467
@nikomatsakis
prohibit ptr deref unless in unsafe code
3866463
@nikomatsakis
make compiler emit more than 1 error in the case of unsafe
991314c
@nikomatsakis
new test
b70e41c
@nikomatsakis
remove unsafe tags
8029ce8
@nikomatsakis
reimplement some of the unsafe stuff which got lost:
f5f9e2d 
  - blocks inherit unsafety
  - remove the --check-unsafe flag
  - add unsafe annotations where needed to get things to compile
@nikomatsakis
make treatment of unchecked/unsafe blocks more uniform; also
7f92f88 
repair various errors in the parser related to such blocks.
rename checked_blk to default_blk to reflect the fact that it
inherits its purity from the surrounding context.
@nikomatsakis
Add unsafe tags to usage of LLVM funcs
d394bdc
@nikomatsakis
add unsafe tags into various points in the translation chains
1e206cd 
and so forth
@nikomatsakis
continue to annotate trans functions as unsafe where neccessary
5f288f2
@nikomatsakis
continue to annotate trans functions as unsafe where neccessary
7a0d10f
@nikomatsakis
continue to annotate functions as unsafe where neccessary
cab76a5
@nikomatsakis
all tests pass
777dd6a
@nikomatsakis
all tests pass
a6cd35e
@nikomatsakis
add pass to check that unsafe fns cannot be used as values
c5d671c
@nikomatsakis
improve the span used in test generation
4ad03cc
@nikomatsakis
make a good error msg if you try to use an unsafe fn for a test
2771e94
@nikomatsakis
convert a few tests from unsafe fns to fns with unsafe bodies
8000ac3
@nikomatsakis
add some new tests
98ee7ff
@nikomatsakis
fix error msg
d3ecc46
@nikomatsakis
prohibit ptr deref unless in unsafe code
63eee8f
@nikomatsakis
make compiler emit more than 1 error in the case of unsafe
fece625
@nikomatsakis
new test
70c69f7
@nikomatsakis
remove unsafe tags
4173916
@nikomatsakis
reimplement some of the unsafe stuff which got lost:
f804562 
  - blocks inherit unsafety
  - remove the --check-unsafe flag
  - add unsafe annotations where needed to get things to compile
@nikomatsakis
Merge branch 'unsafe-post-snapshot' of github.com:nikomatsakis/rust i…
fca04a9 
…nto unsafe-post-snapshot
@brson
Copy link
Contributor

brson commented Oct 12, 2011

Integrated

@brson brson closed this Oct 12, 2011
coastalwhite pushed a commit to coastalwhite/rust that referenced this pull request Aug 5, 2023
@tesuji
unblock CI: Fix errors by non-upper-case-globals (rust-lang#1036)
0d4c2f8
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@nikomatsakis @brson