[go: up one dir, main page]

Crash from r32266 in CInitializers

Since r32266 (dca05a35), the following command crashes:

scripts/cpa.sh -noout -heap 2000M -predicateAnalysis -timelimit 90s -stats -spec test/programs/simple/ALL.prp test/programs/simple/struct-initializer-anonymous-field_false-unreach-label.c

Stacktrace:

Exception in thread "main" java.lang.ClassCastException: class org.sosy_lab.cpachecker.cfa.types.c.CBitFieldType cannot be cast to class org.sosy_lab.cpachecker.cfa.types.c.CElaboratedType (org.sosy_lab.cpachecker.cfa.types.c.CBitFieldType and org.sosy_lab.cpachecker.cfa.types.c.CElaboratedType are in unnamed module of loader 'app')
        at org.sosy_lab.cpachecker.cfa.ast.c.CInitializers.lambda$handleInitializerForCompositeType$0(CInitializers.java:452)
        at com.google.common.collect.Iterators$5.computeNext(Iterators.java:637)
        at com.google.common.collect.AbstractIterator.tryToComputeNext(AbstractIterator.java:141)
        at com.google.common.collect.AbstractIterator.hasNext(AbstractIterator.java:136)
        at com.google.common.collect.TransformedIterator.hasNext(TransformedIterator.java:42)
        at org.sosy_lab.cpachecker.cfa.ast.c.CInitializers.handleInitializerForCompositeType(CInitializers.java:459)
        at org.sosy_lab.cpachecker.cfa.ast.c.CInitializers.handleInitializerList(CInitializers.java:159)
        at org.sosy_lab.cpachecker.cfa.ast.c.CInitializers.convertToAssignments(CInitializers.java:113)
        at org.sosy_lab.cpachecker.util.variableclassification.VariableAndFieldRelevancyComputer.handleEdge(VariableAndFieldRelevancyComputer.java:498)
        at org.sosy_lab.cpachecker.util.variableclassification.VariableClassificationBuilder.collectVars(VariableClassificationBuilder.java:421)
        at org.sosy_lab.cpachecker.util.variableclassification.VariableClassificationBuilder.build(VariableClassificationBuilder.java:197)
        at org.sosy_lab.cpachecker.cfa.CFACreator.createCFA(CFACreator.java:540)
        at org.sosy_lab.cpachecker.cfa.CFACreator.parseFileAndCreateCFA(CFACreator.java:458)
        at org.sosy_lab.cpachecker.core.CPAchecker.parse(CPAchecker.java:501)
        at org.sosy_lab.cpachecker.core.CPAchecker.run(CPAchecker.java:359)
        at org.sosy_lab.cpachecker.cmdline.CPAMain.main(CPAMain.java:183)