Method isNoWrite

ir/pointer.cpp:909–911 · view source on GitHub ↗

Source from the content-addressed store, hash-verified

907	}
908
909	expr Pointer::isNoWrite() const {
910	GET_ATTR(has_nowrite, (unsigned)has_nocapture + (unsigned)has_noread);
911	}
912
913	expr Pointer::isBasedOnArg() const {
914	GET_ATTR(has_ptr_arg, (unsigned)has_nocapture + (unsigned)has_noread +

computeAliasingMethod · 0.80

isDereferenceableMethod · 0.80

no outgoing calls

no test coverage detected