Predicate hasFloatingPointType
Holds if an IRFloatingPointType with the specified size, base, and type domain should exist.
Import path
import semmle.code.cpp.ir.internal.CppTypepredicate hasFloatingPointType(int byteSize, int base, TypeDomain domain)