isresultmodeled - Robuta Search

https://codeql.github.com/codeql-standard-libraries/cpp/semmle/code/cpp/ir/implementation/unaliased_ssa/Instruction.qll/predicate.Instruction$Instruction$isResultModeled.0.html isResultModeled API documentation for CodeQL