Search results

Should a mutable reference which is only used for reads become invalid on reads through other ptrs?

A-aliasing-modelTopic: Related to the aliasing model (e.g. Stacked/Tree Borrows)Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows)

A-SB-vs-TBTopic: Design questions where SB and TB are opposite sides of the design axisTopic: Design questions where SB and TB are opposite sides of the design axis

Status: Open.

#351 In rust-lang/unsafe-code-guidelines;

· RalfJung opened on Jul 11, 2022

Storing an object as &Header, but reading the data past the end of the header

A-aliasing-modelTopic: Related to the aliasing model (e.g. Stacked/Tree Borrows)Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows)

A-SB-vs-TBTopic: Design questions where SB and TB are opposite sides of the design axisTopic: Design questions where SB and TB are opposite sides of the design axis

C-open-questionCategory: An open question that we should revisitCategory: An open question that we should revisit

Status: Open.

#256 In rust-lang/unsafe-code-guidelines;

· thomcc opened on Nov 11, 2020

Stacked Borrows: How precise should UnsafeCell be tracked?

A-aliasing-modelTopic: Related to the aliasing model (e.g. Stacked/Tree Borrows)Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows)

A-SB-vs-TBTopic: Design questions where SB and TB are opposite sides of the design axisTopic: Design questions where SB and TB are opposite sides of the design axis

C-open-questionCategory: An open question that we should revisitCategory: An open question that we should revisit

Status: Open.

#236 In rust-lang/unsafe-code-guidelines;

· RalfJung opened on Jun 12, 2020

Stacked Borrows: raw pointer usable only for <code>T</code> too strict?

A-aliasing-modelTopic: Related to the aliasing model (e.g. Stacked/Tree Borrows)Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows)

A-SB-vs-TBTopic: Design questions where SB and TB are opposite sides of the design axisTopic: Design questions where SB and TB are opposite sides of the design axis

C-open-questionCategory: An open question that we should revisitCategory: An open question that we should revisit

S-pending-designStatus: Resolving this issue requires addressing some open design questionsStatus: Resolving this issue requires addressing some open design questions

Status: Open.

#134 In rust-lang/unsafe-code-guidelines;

· RalfJung opened on May 28, 2019

Stacked Borrows: asserting uniqueness too early? Should we allow the optimizer to add spurious stores?

A-aliasing-modelTopic: Related to the aliasing model (e.g. Stacked/Tree Borrows)Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows)

A-SB-vs-TBTopic: Design questions where SB and TB are opposite sides of the design axisTopic: Design questions where SB and TB are opposite sides of the design axis

C-open-questionCategory: An open question that we should revisitCategory: An open question that we should revisit

S-pending-designStatus: Resolving this issue requires addressing some open design questionsStatus: Resolving this issue requires addressing some open design questions

Status: Open.

#133 In rust-lang/unsafe-code-guidelines;

· RalfJung opened on May 28, 2019