This is my fault. I thought I had run make test before this commit. I've reverted r4636 (a change to CFG.cpp), and the failures go away. I'm investigating.
On Jan 25, 2008, at 2:17 PM, Steve Naroff wrote: > Are other folks seeing the test failures below? > > snaroff > > ******************** TEST 'Analysis/conditional-op-missing-lhs.c' > FAILED! ******************** > Command: > clang -warn-dead-stores -warn-uninit-values -verify Analysis/ > conditional-op-missing-lhs.c > Output: > 0 clang 0x0022e655 > _ZN40_GLOBAL__N_Signals.cpp_00000000_1A94971F15PrintStackTraceEv + 45 > 1 clang 0x0022e9fb > _ZN40_GLOBAL__N_Signals.cpp_00000000_1A94971F13SignalHandlerEi + 323 > 2 libSystem.B.dylib 0x916fd97b _sigtramp + 43 > 3 ??? 0xffffffff 0x0 + 4294967295 > 4 clang 0x000e63f9 > _ZN5clang14BinaryOperator7classofEPKNS_4StmtE + 17 > 5 clang 0x000c96b9 > _ZN4llvm8isa_implIN5clang14BinaryOperatorENS1_4StmtEEEbRKT0_ + 17 > 6 clang 0x00077935 > _ZN4llvm13isa_impl_wrapIN5clang14BinaryOperatorEKNS1_4StmtES4_E4doitERS4_ > + 17 > 7 clang 0x000c96d1 > _ZN4llvm11isa_impl_clIN5clang4StmtEE3isaINS1_14BinaryOperatorEEEbRKS2_ > + 17 > 8 clang 0x0007794d > _ZN4llvm11isa_impl_clIPN5clang4StmtEE3isaINS1_14BinaryOperatorEEEbS3_ > + 17 > 9 clang 0x000c96eb > _ZN4llvm3isaIN5clang14BinaryOperatorEPNS1_4StmtEEEbRKT0_ + 19 > 10 clang 0x000c976d > _ZN4llvm8dyn_castIN5clang14BinaryOperatorEPNS1_4StmtEEENS_10cast_rettyIT_T0_E8ret_typeES7_ > + 17 > 11 clang 0x000c059b > _ZN36_GLOBAL__N_CFG > .cpp_00000000_9BCA14CD10print_stmtERSoPNS_17StmtPrinterHelperEPN5clang4StmtE > + 525 > 12 clang 0x000c06a7 > _ZN36_GLOBAL__N_CFG > .cpp_00000000_9BCA14CD10print_stmtERSoPNS_17StmtPrinterHelperEPN5clang4StmtE > + 793 > 13 clang 0x000c08f7 > _ZN5clang3CFG14getNumBlkExprsEv + 45 > 14 clang 0x0007535a > _ZNK5clang23ExprDeclBitVector_Types14AnalysisDataTy11getNumExprsEv + > 20 > 15 clang 0x0007dae8 > _ZN5clang23ExprDeclBitVector_Types5ValTy11resetValuesERNS0_14AnalysisDataTyE > + 44 > 16 clang 0x0007db56 > _ZN5clang23ExprDeclBitVector_Types5ValTy11resetValuesERNS0_14AnalysisDataTyE > + 154 > 17 clang 0x0007db70 > _ZN5clang23ExprDeclBitVector_Types5ValTy11resetValuesERNS0_14AnalysisDataTyE > + 180 > 18 clang 0x0007dbae > _ZN5clang14DataflowSolverINS_19UninitializedValuesEN52_GLOBAL__N_UninitializedValues > .cpp_00000000_7535CE1A13TransferFuncsENS_23ExprDeclBitVector_Types5UnionESt8equal_toINS4_5ValTyEEEC2ERS1_ > + 60 > 19 clang 0x0007dbc8 > _ZN5clang14DataflowSolverINS_19UninitializedValuesEN52_GLOBAL__N_UninitializedValues > .cpp_00000000_7535CE1A13TransferFuncsENS_23ExprDeclBitVector_Types5UnionESt8equal_toINS4_5ValTyEEEC1ERS1_ > + 24 > 20 clang 0x0007cdc0 > _ZN5clang24CheckUninitializedValuesERNS_3CFGERNS_10ASTContextERNS_10DiagnosticEb > + 80 > 21 clang 0x0000424d > _ZN45_GLOBAL__N_ASTConsumers > .cpp_00000000_CC4C52DC17UninitValsVisitor8VisitCFGERN5clang3CFGE + 45 > 22 clang 0x00003145 > _ZN45_GLOBAL__N_ASTConsumers > .cpp_00000000_CC4C52DC10CFGVisitor18HandleTopLevelDeclEPN5clang4DeclE > + 195 > 23 clang 0x00086af0 > _ZN5clang8ParseASTERNS_12PreprocessorEPNS_11ASTConsumerEb + 244 > 24 clang 0x0000951d > _ZN5clang16CheckASTConsumerERNS_12PreprocessorEPNS_11ASTConsumerE + 33 > 25 clang 0x00023166 > _ZNSsC1IN9__gnu_cxx17__normal_iteratorIPcSsEEEET_S4_RKSaIcE + 4816 > 26 clang 0x0002529d main + 1315 > 27 clang 0x000018be start + 54 > Output/Analysis/conditional-op-missing-lhs.c.out.script: line 1: 71591 > Bus error clang -warn-dead-stores -warn-uninit-values - > verify Analysis/conditional-op-missing-lhs.c > ******************** TEST 'Analysis/conditional-op-missing-lhs.c' > FAILED! ******************** > Analysis/dead-stores.c > Analysis/uninit-vals.c > ******************** TEST 'Analysis/uninit-vals.c' FAILED! > ******************** > Command: > clang -warn-uninit-values -verify Analysis/uninit-vals.c > Output: > Assertion failed: (AD.isTracked(E)), function BlockStmt_VisitExpr, > file UninitializedValues.cpp, line 204. > 0 clang 0x0022e655 > _ZN40_GLOBAL__N_Signals.cpp_00000000_1A94971F15PrintStackTraceEv + 45 > 1 clang 0x0022e9fb > _ZN40_GLOBAL__N_Signals.cpp_00000000_1A94971F13SignalHandlerEi + 323 > 2 libSystem.B.dylib 0x916fd97b _sigtramp + 43 > 3 ??? 0xffffffff 0x0 + 4294967295 > 4 libSystem.B.dylib 0x91776782 raise + 26 > 5 libSystem.B.dylib 0x91785d3f abort + 73 > 6 libSystem.B.dylib 0x91777923 __assert_rtn + 101 > 7 clang 0x0007c89a > _ZN5clang30UninitializedValues_ValueTypes10ObserverTyD0Ev + 996 > 8 clang 0x000810b7 > _ZN5clang14CFGStmtVisitorIN52_GLOBAL__N_UninitializedValues > .cpp_00000000_7535CE1A13TransferFuncsEbE15BlockStmt_VisitEPNS_4StmtE + > 335 > 9 clang 0x0008114f > _ZN5clang14DataflowSolverINS_19UninitializedValuesEN52_GLOBAL__N_UninitializedValues > .cpp_00000000_7535CE1A13TransferFuncsENS_23ExprDeclBitVector_Types5UnionESt8equal_toINS4_5ValTyEEE11ProcessStmtEPKNS_4StmtEbNS_8dataflow20forward_analysis_tagE > + 103 > 10 clang 0x000811ad > _ZN5clang14DataflowSolverINS_19UninitializedValuesEN52_GLOBAL__N_UninitializedValues > .cpp_00000000_7535CE1A13TransferFuncsENS_23ExprDeclBitVector_Types5UnionESt8equal_toINS4_5ValTyEEE12ProcessBlockEPKNS_8CFGBlockEb > + 87 > 11 clang 0x00081240 > _ZN5clang14DataflowSolverINS_19UninitializedValuesEN52_GLOBAL__N_UninitializedValues > .cpp_00000000_7535CE1A13TransferFuncsENS_23ExprDeclBitVector_Types5UnionESt8equal_toINS4_5ValTyEEE22SolveDataflowEquationsERNS_3CFGEb > + 108 > 12 clang 0x00082786 > _ZN5clang14DataflowSolverINS_19UninitializedValuesEN52_GLOBAL__N_UninitializedValues > .cpp_00000000_7535CE1A13TransferFuncsENS_23ExprDeclBitVector_Types5UnionESt8equal_toINS4_5ValTyEEE8runOnCFGERNS_3CFGEb > + 58 > 13 clang 0x0007cddd > _ZN5clang24CheckUninitializedValuesERNS_3CFGERNS_10ASTContextERNS_10DiagnosticEb > + 109 > 14 clang 0x0000424d > _ZN45_GLOBAL__N_ASTConsumers > .cpp_00000000_CC4C52DC17UninitValsVisitor8VisitCFGERN5clang3CFGE + 45 > 15 clang 0x00003145 > _ZN45_GLOBAL__N_ASTConsumers > .cpp_00000000_CC4C52DC10CFGVisitor18HandleTopLevelDeclEPN5clang4DeclE > + 195 > 16 clang 0x00086af0 > _ZN5clang8ParseASTERNS_12PreprocessorEPNS_11ASTConsumerEb + 244 > 17 clang 0x0000951d > _ZN5clang16CheckASTConsumerERNS_12PreprocessorEPNS_11ASTConsumerE + 33 > 18 clang 0x00023166 > _ZNSsC1IN9__gnu_cxx17__normal_iteratorIPcSsEEEET_S4_RKSaIcE + 4816 > 19 clang 0x0002529d main + 1315 > 20 clang 0x000018be start + 54 > Output/Analysis/uninit-vals.c.out.script: line 1: 71615 Abort > trap clang -warn-uninit-values -verify Analysis/uninit- > vals.c > ******************** TEST 'Analysis/uninit-vals.c' FAILED! > ******************** > > _______________________________________________ > cfe-dev mailing list > [email protected] > http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev _______________________________________________ cfe-dev mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
