Much like const a new volatile keyword can be used to influence PVS / constant dataflow which can be useful for fixing up dead code elimination among other issues. We should document it in https://dev-docs.binary.ninja/dev/concepts.html#memory-permissions-impact-on-analysis
Much like
consta newvolatilekeyword can be used to influence PVS / constant dataflow which can be useful for fixing up dead code elimination among other issues. We should document it in https://dev-docs.binary.ninja/dev/concepts.html#memory-permissions-impact-on-analysis