Skip to content

Commit

Permalink
Remove useless UB point
Browse files Browse the repository at this point in the history
As suggested by the review, this is already covered by "metadata must be valid" point.
  • Loading branch information
WaffleLapkin committed Sep 20, 2024
1 parent b936305 commit e7c2fa0
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion src/behavior-considered-undefined.md
Original file line number Diff line number Diff line change
Expand Up @@ -49,7 +49,6 @@ undefined behavior, it is *unsound*.
* Invoking undefined behavior via compiler intrinsics.
* Executing code compiled with platform features that the current platform
does not support (see [`target_feature`]), *except* if the platform explicitly documents this to be safe.
* Performing non-nop coercion on a dangling or unaligned raw pointer.
* Calling a function with the wrong call ABI or unwinding from a function with the wrong unwind ABI.
* Producing an [invalid value][invalid-values]. "Producing" a
value happens any time a value is assigned to or read from a place, passed to
Expand Down

0 comments on commit e7c2fa0

Please sign in to comment.