10000 Glossary unspecified/implementation-defined behavior · Issue #201 · rust-lang/unsafe-code-guidelines · GitHub
[go: up one dir, main page]

Skip to content
Glossary unspecified/implementation-defined behavior #201
Open
@gnzlbg

Description

@gnzlbg

We should probably document these terms in the glossary somewhere.

  • defined behavior:
    • implementation-independent behavior (or some other name, like maybe well-defined behavior?): the behavior is well-defined and implementation-independent.
    • Implementation-defined: the implementation must say what the behavior is
      • typically target dependent things
    • unspecified: the implementation doesn't have to say what the behavior is
      • isn't necessarily deterministic, or should it be?

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-abstract-machineTopic: concerning the abstract machine in general (as opposed to any specific part of it)C-terminologyCategory: Discussing terminology -- which term to use, how to define it, adding it to the glossaryTriagedVisited during a backlog bonanza meeting

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions

      0