RFR: 8345580: Remove const from Node::_idx which is modified

Emanuel Peter epeter at openjdk.org
Tue Dec 17 17:35:42 UTC 2024


On Mon, 9 Dec 2024 15:16:32 GMT, Yagmur Eren <duke at openjdk.org> wrote:

> `Node::_idx` is declared as `const`, however, it is modified by `Node::set_idx`. Please see: https://github.com/openjdk/jdk/blob/166c12771d9d8c466e73a9490c4eb1fc9a5f6c24/src/hotspot/share/opto/node.hpp#L588
> 
> As already stated in [JDK-8345580](https://bugs.openjdk.org/browse/JDK-8345580) issue, this behavior is counterintuitive because a const variable is expected to remain unmodified throughout its lifetime. Additionally, C++ International Standard states that "_...any attempt to modify a `const` object during its lifetime results in undefined behavior._ ". 
> To address this, `const` should be removed from the declaration of `Node::_idx` to align with its intended use and avoid violating the C++ standard. Tested with tier1,2,3,4,5.

@nelanbu You should probably then remove the hack with casting away the const-ness:

  void set_idx(uint new_idx) {
    const node_idx_t* ref = &_idx;
    *(node_idx_t*)ref = new_idx;
  }

Could simply become

  void set_idx(uint new_idx) {
    _idx = new_idx;
  }

Please check if there is any similar trick anywhere else.

-------------

PR Comment: https://git.openjdk.org/jdk/pull/22646#issuecomment-2549125658


More information about the hotspot-compiler-dev mailing list