'cssu': lambda x: PO.CPOSignedToSignedCastUB(*x), 'csul': lambda x: PO.CPOSignedToUnsignedCastLB(*x), 'csuu': lambda x: PO.CPOSignedToUnsignedCastUB(*x), 'cus': lambda x: PO.CPOUnsignedToSignedCast(*x), 'cuu': lambda x: PO.CPOUnsignedToUnsignedCast(*x), 'dr': lambda x: PO.CPODistinctRegion(*x), 'fc': lambda x: PO.CPOFormatCast(*x), 'ft': lambda x: PO.CPOFormatString(*x), 'ga': lambda x: PO.CPOGlobalAddress(*x), 'ha': lambda x: PO.CPOHeapAddress(*x), 'i': lambda x: PO.CPOInitialized(*x), 'ilb': lambda x: PO.CPOIndexLowerBound(*x), 'io': lambda x: PO.CPOIntOverflow(*x), 'ir': lambda x: PO.CPOInitializedRange(*x), 'is': lambda x: PO.CPOInScope(*x), 'iu': lambda x: PO.CPOIntUnderflow(*x), 'iub': lambda x: PO.CPOIndexUpperBound(*x), 'lb': lambda x: PO.CPOLowerBound(*x), "nm": lambda x: PO.CPONewMemory(*x), 'nn': lambda x: PO.CPONotNull(*x), 'nneg': lambda x: PO.CPONonNegative(*x), 'no': lambda x: PO.CPONoOverlap(*x), 'nt': lambda x: PO.CPONullTerminated(*x), 'null': lambda x: PO.CPONull(*x), 'pc': lambda x: PO.CPOPointerCast(*x), 'plb': lambda x: PO.CPOPtrLowerBound(*x), 'pre': lambda x: PO.CPOPredicate(*x), 'prm': lambda x: PO.CPOPreservedAllMemory(*x), 'pub': lambda x: PO.CPOPtrUpperBound(*x), 'pubd': lambda x: PO.CPOPtrUpperBoundDeref(*x), 'pv': lambda x: PO.CPOPreservedValue(*x),
def f(index, key):
return PO.CPOIntUnderflow(self, index, p.tags, args)
"cssu": lambda x: PO.CPOSignedToSignedCastUB(*x), "csul": lambda x: PO.CPOSignedToUnsignedCastLB(*x), "csuu": lambda x: PO.CPOSignedToUnsignedCastUB(*x), "cus": lambda x: PO.CPOUnsignedToSignedCast(*x), "cuu": lambda x: PO.CPOUnsignedToUnsignedCast(*x), "dr": lambda x: PO.CPODistinctRegion(*x), "fc": lambda x: PO.CPOFormatCast(*x), "ft": lambda x: PO.CPOFormatString(*x), "ga": lambda x: PO.CPOGlobalAddress(*x), "ha": lambda x: PO.CPOHeapAddress(*x), "i": lambda x: PO.CPOInitialized(*x), "ilb": lambda x: PO.CPOIndexLowerBound(*x), "io": lambda x: PO.CPOIntOverflow(*x), "ir": lambda x: PO.CPOInitializedRange(*x), "is": lambda x: PO.CPOInScope(*x), "iu": lambda x: PO.CPOIntUnderflow(*x), "iub": lambda x: PO.CPOIndexUpperBound(*x), "lb": lambda x: PO.CPOLowerBound(*x), "nm": lambda x: PO.CPONewMemory(*x), "nn": lambda x: PO.CPONotNull(*x), "nneg": lambda x: PO.CPONonNegative(*x), "no": lambda x: PO.CPONoOverlap(*x), "nt": lambda x: PO.CPONullTerminated(*x), "null": lambda x: PO.CPONull(*x), "pc": lambda x: PO.CPOPointerCast(*x), "plb": lambda x: PO.CPOPtrLowerBound(*x), "pre": lambda x: PO.CPOPredicate(*x), "prm": lambda x: PO.CPOPreservedAllMemory(*x), "pub": lambda x: PO.CPOPtrUpperBound(*x), "pubd": lambda x: PO.CPOPtrUpperBoundDeref(*x), "pv": lambda x: PO.CPOPreservedValue(*x),