CodeQL library for C/C++
Search

Member predicate Function::mayHaveSideEffects

Holds if this function may have side-effects; if in doubt, we assume it may.

predicate mayHaveSideEffects()