Overview of 19432 results from 11219 .log files Categories 13606 RESULT: Ultimate could not prove your program: Toolchain returned no result. 2947 ExceptionOrErrorResult 2027 UnsupportedSyntaxResult 457 Killed from outside 233 encountered a call to a var args function, var args are not supported at the moment 56 encountered a call to a var args function and varargs usage is unknown 36 UnsupportedOperationException: floating point operation not supported in non-bitprecise translation 34 StackOverflowError: null 24 Wrong parameter type at index 9 SyntaxErrorResult 2 TypeErrorResult 1 TypeCheckException Actual results 13606 RESULT: Ultimate ... RESULT: Ultimate could not prove your program: Toolchain returned no result.: 1588 UnsupportedSyntax... Found a cast between two array/pointer types where the value type is smaller than the cast-to type while using memory model HoenickeLindenmann_Original (while Not using bitvector translation): 854 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: IllegalArgumentException: byte size smaller than 1 makes no sense: de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.preferences.CACSLPreferenceInitializer$MemoryModel.getPreciseEnoughMemoryModelFor(CACSLPreferenceInitializer.java:193): 457 Killed from outside ...: 342 UnsupportedSyntax... Undefined type int64_t: 309 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: IllegalArgumentException: cannot determine size of incomplete type: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.constructSizeTValueAndOffsets_StructAndUnion(TypeSizeAndOffsetComputer.java:256): 284 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*pci_dev *pci_device_id ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 233 encountered a cal... [2019-11-24 22:27:22,198 ERROR L326 MainTranslator]: Unsupported Syntax: encountered a call to a var args function, var args are not supported at the moment: bb_perror_msg_and_die: 224 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*pci_dev ~pci_channel_state_t~0 ) : ~pci_ers_result_t~0): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 92 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*file *CHAR UINT *~loff_t~0 ) : UINT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 82 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*usb_interface *usb_device_id ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 77 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((INT *VOID ) : ~irqreturn_t~0): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 76 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type(() : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 74 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*sk_buff *net_device ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 71 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: AssertionError: only flexible array member at the end can have non-constant size: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeMemberOffset(TypeSizeAndOffsetComputer.java:583): 69 UnsupportedSyntax... we need to generalize this to nested and/or variable length arrays: 56 encountered a cal... [2019-11-24 21:36:22,454 ERROR L326 MainTranslator]: Unsupported Syntax: encountered a call to a var args function and varargs usage is unknown: snprintf: 51 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*device *device_attribute *CHAR UINT ) : UINT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 48 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*VOID ULONG *VOID UINT UINT ~gfp_t~0 ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 40 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: IllegalArgumentException: incompatible types UINT INT: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.expressiontranslation.BitvectorTranslation.constructArithmeticIntegerExpression(BitvectorTranslation.java:387): 36 UnsupportedOperat... java.lang.UnsupportedOperationException: floating point operation not supported in non-bitprecise translation: isinf: 34 StackOverflowErro... - ExceptionOrErrorResult: StackOverflowError: null: 32 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*device *device_attribute *CHAR ) : UINT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 30 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: createNanOrInfinity is unsupported in non-bitprecise translation: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.expressiontranslation.IntegerTranslation.createNanOrInfinity(IntegerTranslation.java:835): 28 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*net_device ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 24 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*lgdt3305_config *i2c_adapter ) : *dvb_frontend): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 24 Wrong parameter t... [2019-11-24 21:58:33,871 ERROR L1131 TypeChecker]: C: __builtin_alloca(sizeof(*tb) * __lengthoftb) [9369]: Wrong parameter type at index 0: CallStatement[null,false,[VariableLHS[#t~malloc662,]],#Ultimate.allocOnStack,[FunctionApplication[~bvmul64,[FunctionApplication[~sign_extendFrom32To64,[BitvecLiteral[1,32]]],IdentifierExpression[~__lengthoftb~0,]]]]]: 24 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*net_device ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 20 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Bitfield reference: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.StructHandler.handleFieldReference(StructHandler.java:146): 18 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*gspca_dev *usb_device_id ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 16 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*VOID *module ULONG ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 16 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*zl10353_config *i2c_adapter ) : *dvb_frontend): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 14 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*mt352_config *i2c_adapter ) : *dvb_frontend): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 14 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*VOID ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 12 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*i2c_client *i2c_device_id ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 12 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: AssertionError: cannot convert to CFunction: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.result.ExpressionResultTransformer.performImplicitConversion(ExpressionResultTransformer.java:706): 12 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*st_var_header ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 10 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*us_data ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 10 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*dvb_frontend *xc2028_config ) : *dvb_frontend): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 10 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*VOID *device ~u32~0 ~u32~0 ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 8 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((~PDEVICE_OBJECT~0 ~PIRP~0 ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 8 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*file_system_type INT *CHAR *VOID ) : *dentry): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 8 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*dvb_frontend ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 8 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*VOID *request_queue *bio INT ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 8 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*VOID ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 8 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*CHAR *kernel_param ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 7 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: not yet supported float operation signbit: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.expressiontranslation.BitvectorTranslation.constructOtherUnaryFloatOperation(BitvectorTranslation.java:1143): 6 UnsupportedSyntax... Unsupported function from math.h: rint: 6 UnsupportedSyntax... Undefined type __float128: 6 SyntaxErrorResult Empty initializers are not allowed by the C standard.: 6 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: fesetround not supported in non-bitprecise translation: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.expressiontranslation.IntegerTranslation.constructBuiltinFesetround(IntegerTranslation.java:959): 6 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*ves1x93_config *i2c_adapter ) : *dvb_frontend): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 6 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*tda10086_config *i2c_adapter ) : *dvb_frontend): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 6 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*stv0900_config *i2c_adapter INT ) : *dvb_frontend): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 6 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*md_rdev ~dev_t~0 INT ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 6 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*inode *file ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 6 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*i2c_adapter ~u8~0 *dib3000mc_config ) : *dvb_frontend): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 6 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*dvb_usb_device *~u8~0 ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 6 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*dvb_frontend *i2c_adapter ~u8~0 UINT ) : *dvb_frontend): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 6 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*comedi_device *comedi_insn *UINT *VOID ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 6 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*VOID *ata_queued_cmd ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 6 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: AssertionError: not an integer constant: FunctionApplication[~bitwiseOr,[IntegerLiteral[0],IdentifierExpression[~unnamed5~0~ADDR_LIMIT_32BIT,GLOBAL]]]: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.TypeHandler.constructEnumValue(TypeHandler.java:870): 5 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: AssertionError: passing these results is not yet implemented: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1146): 4 UnsupportedSyntax... Unsupported function: pthread_attr_init: 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: not yet supported float operation copysign: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.expressiontranslation.BitvectorTranslation.constructOtherBinaryFloatOperation(BitvectorTranslation.java:1231): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((~PDEVICE_OBJECT~0 ~PVOID~0 *((~PVOID~0 ~PUCHAR~0 ~BOOLEAN~0 ) : ~NTSTATUS~0) *((~PVOID~0 ~UCHAR~0 ~BOOLEAN~0 ) : ~NTSTATUS~0) ~PBOOLEAN~0 ) : ~NTSTATUS~0): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((~PDEVICE_OBJECT~0 ~PIRP~0 ) : ~NTSTATUS~0): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((INT INT INT ULONG ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*~lmc_softc_t~0 ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*vmw_resource ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*vb2_queue *v4l2_format *UINT *UINT *UINT **VOID ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*tda10048_config *i2c_adapter ) : *dvb_frontend): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*s5h1432_config *i2c_adapter ) : *dvb_frontend): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*rtl2830_config *i2c_adapter ) : *dvb_frontend): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*rt2x00_dev UINT ~u8~0 ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*phy_device ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*net_device INT *~u_char~0 INT ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*mtd_info ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*map_info ~map_word~0 ULONG ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*hso_serial ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*file *VOID *v4l2_audio ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*dvb_frontend ~u8~0 *i2c_adapter *tda18271_config ) : *dvb_frontend): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*dvb_frontend ~u32~0 ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*dvb_frontend ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*drxk_config *i2c_adapter ) : *dvb_frontend): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*dib3000_config *i2c_adapter *dib_fe_xfer_ops ) : *dvb_frontend): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*bfad_s ~bfad_sm_event~0 ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*VOID *nfs_read_data INT ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*VOID *mt7601u_dev ~u32~0 ~u32~0 ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type(() : ~xp_retval~0): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type(() : *VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: NullPointerException: null: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.checkIfNecessaryMemoryModelAdaption(CHandler.java:965): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: IllegalArgumentException: The value of the constructed RValue has a BoogieType ([int]int) that is incompatible with its CType (*~UINT32~0).: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.result.RValue.checkType(RValue.java:92): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: IllegalArgumentException: The value of the constructed RValue has a BoogieType ([bv32]bv32) that is incompatible with its CType (*~UINT32~0).: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.result.RValue.checkType(RValue.java:92): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: AssertionError: result.lrVal has to be either HeapLValue or LocalLValue: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.ArrayHandler.handleArraySubscriptExpression(ArrayHandler.java:211): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: AssertionError: function not known to function handler: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1490): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.boogie.preprocessor: AssertionError: Incorrect DeclarationInformation of "~#list_14~0". Expected: Found: GLOBAL: de.uni_freiburg.informatik.ultimate.boogie.typechecker.TypeCheckHelper.internalError(TypeCheckHelper.java:296): 3 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: not yet supported float operation sin: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.expressiontranslation.BitvectorTranslation.constructOtherUnaryFloatOperation(BitvectorTranslation.java:1034): 3 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*net_device INT ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 3 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: AssertionError: not an integer constant: FunctionApplication[~bvsub64,[FunctionApplication[~bvshl64,[BitvecLiteral[1,64],FunctionApplication[~sign_extendFrom32To64,[IdentifierExpression[~unnamed10~0~WORK_STRUCT_FLAG_BITS,GLOBAL]]]]],FunctionApplication[~sign_extendFrom32To64,[BitvecLiteral[1,32]]]]]: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.TypeHandler.constructEnumValue(TypeHandler.java:870): 2 UnsupportedSyntax... identifier is not declared (neither a variable nor a function name): dib0700_devices in file /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/ldv-linux-3.4-simple/32_7_cilled_const_ok_linux-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dib0700.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i: 2 UnsupportedSyntax... Unsupported function: pthread_setspecific: 2 UnsupportedSyntax... Unsupported function: pthread_getspecific: 2 UnsupportedSyntax... Unsupported function from math.h: nearbyint: 2 UnsupportedSyntax... Unsupported function from math.h: modff: 2 TypeErrorResult Break label not found: BreakStatement[null]: 2 SyntaxErrorResult wrong array type in declaration: 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((~acpi_handle~0 ~u32~0 *VOID **VOID ) : ~acpi_status~0): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((~PDRIVER_OBJECT~0 ~PUNICODE_STRING~0 ) : ~NTSTATUS~0): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((ULONG ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*~hfcusb_data~0 ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*xenbus_device *xenbus_device_id ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*stv0299_config *i2c_adapter ) : *dvb_frontend): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*stb0899_config *i2c_adapter ) : *dvb_frontend): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*ssb_device *ssb_device_id ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*spk_synth *CHAR ) : *CHAR): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*pnp_dev *pnp_device_id ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*pnfs_layout_hdr *xdr_stream *nfs4_layoutcommit_args ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*net_device *sk_buff ) : USHORT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*mmc_host *mmc_request ~bool~0 ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*map_info ) : *mtd_info): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*lcd_device ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*kiocb *iovec ULONG ~loff_t~0 ) : UINT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*ipr_cmnd ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*input_dev *key_entry ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*ide_drive_s ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*i2c_adapter USHORT ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*hwbus_priv UINT *VOID INT ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*hid_device *hid_device_id ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*file *page ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*file *VOID *v4l2_frequency ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*dvb_frontend *stv6110x_config *i2c_adapter ) : *stv6110x_devctl): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*dvb_frontend *analog_parameters ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*console *CHAR UINT ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*bcm_mini_adapter ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*_DEVICE_OBJECT *_IRP ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*VOID ~bool~0 ~u32~0 ~u64~0 INT ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*VOID INT INT ~u16~0 INT ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*VOID INT *v4l2_buffer ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*VOID *~u64~0 ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*FsmInst INT *VOID ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*CHAR *CHAR ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type(() : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: NumberFormatException: Illegal leading minus sign on unsigned string -1234567.: java.lang.Integer.parseUnsignedInt(Integer.java:672): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: AssertionError: not an integer constant: FunctionApplication[~bvsub64,[FunctionApplication[~bvshl64,[BitvecLiteral[1,64],FunctionApplication[~sign_extendFrom32To64,[IdentifierExpression[~unnamed8~0~WORK_STRUCT_FLAG_BITS,GLOBAL]]]]],FunctionApplication[~sign_extendFrom32To64,[BitvecLiteral[1,32]]]]]: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.TypeHandler.constructEnumValue(TypeHandler.java:870): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.boogie.preprocessor: AssertionError: Incorrect DeclarationInformation of "~#top~1". Expected: Found: GLOBAL: de.uni_freiburg.informatik.ultimate.boogie.typechecker.TypeCheckHelper.internalError(TypeCheckHelper.java:296): 2 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.boogie.preprocessor: AssertionError: Incorrect DeclarationInformation of "~#dst~0". Expected: Found: GLOBAL: de.uni_freiburg.informatik.ultimate.boogie.typechecker.TypeCheckHelper.internalError(TypeCheckHelper.java:296): 1 UnsupportedSyntax... conversion to CStruct not implemented.: 1 UnsupportedSyntax... Unsupported function from math.h: lrint: 1 TypeCheckException de.uni_freiburg.informatik.ultimate.boogie.typechecker.TypeCheckException: Type mismatch (real != int) in : 1 SyntaxErrorResult Implementation does not match declaration! Type missmatch on in-parameters! 1 arguments, 1 parameters, first missmatch at position 0, argument type C_INT, param type #in~0 : C_LONG: 1 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: not yet supported float operation remainder: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.expressiontranslation.BitvectorTranslation.constructOtherBinaryFloatOperation(BitvectorTranslation.java:1231): 1 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*se_session *UCHAR ~u32~0 ) : ~u32~0): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 1 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*i1480 ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 1 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*file *poll_table_struct ) : UINT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 1 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*fc_seq *fc_frame *VOID ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 1 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*dvb_demux_feed *~u8~0 UINT ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 1 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*drm_mode_set ) : INT): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 1 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: UnsupportedOperationException: Unsupported type((*catc *ctrl_queue ) : VOID): de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.computeSize(TypeSizeAndOffsetComputer.java:205): 1 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: AssertionError: not an integer constant: FunctionApplication[~bvsub64,[FunctionApplication[~bvshl64,[BitvecLiteral[1,64],FunctionApplication[~sign_extendFrom32To64,[IdentifierExpression[~unnamed13~0~WORK_STRUCT_FLAG_BITS,GLOBAL]]]]],FunctionApplication[~sign_extendFrom32To64,[BitvecLiteral[1,32]]]]]: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.TypeHandler.constructEnumValue(TypeHandler.java:870): 1 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.boogie.procedureinliner: AssertionError: Incorrect DeclarationInformation of "~#list_14~0". Expected: Found: GLOBAL: de.uni_freiburg.informatik.ultimate.boogie.typechecker.TypeCheckHelper.internalError(TypeCheckHelper.java:296):