Thanks! snaroff
On Jan 25, 2008, at 3:23 PM, Ted Kremenek wrote: > 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
