Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
fsckboy
on Jan 31, 2024
|
parent
|
context
|
favorite
| on:
The C bounded model checker: criminally underused
>
Since any use of the variable is undefined behavior
use of the variable as an lvalue is not undefined
kazinator
on Jan 31, 2024
[–]
When I say that a variable is used, I mean that its value is accessed. This is in line with compiler jargon. In this basic block, the variable
x
has no
next use
at the first line; the assignment of 42 is a dead assignment.
x = 42 y = w x = 43
Search the web for "next-use information".
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
use of the variable as an lvalue is not undefined