Member predicate SsaSourceField::isVolatile
Holds if the field itself or any of the fields part of the qualifier are volatile.
predicate isVolatile()
Holds if the field itself or any of the fields part of the qualifier are volatile.
predicate isVolatile()