CodeQL library for C/C++
Search

Member predicate Function::isSideEffectFree

Holds if this function is side-effect free (conservative approximation).

predicate isSideEffectFree()