Skip to content

Explain why each use of unsafe is sound #628

Open
@sebcrozet

Description

@sebcrozet

See that discussion on reddit. Doing this will reassure others, that our unsafe code is actually sound.

We should add comments explaining why each unsafe is sound throughout the nalgebra source code.

Doing this will take an extremely large amount of time so any incremental contribution is welcome. In other words, event adding one comment for one unsafe statement is a great contribution and justify a PR.

All use of mem::uninitialized can be ignored and left uncommented as we intend to get rid of them. See #556.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions