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)