[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[csmith-project/csmith] 7e0873: Update facts for definitive assignment based on nu...
Branch: refs/heads/master
Home: https://github.com/csmith-project/csmith
Commit: 7e0873373529f7d7d393a48384e0afa7b2d368af
https://github.com/csmith-project/csmith/commit/7e0873373529f7d7d393a48384e0afa7b2d368af
Author: Xuejun Yang <xuejya@microsoft.com>
Date: 2020-11-27 (Fri, 27 Nov 2020)
Changed paths:
M src/Block.cpp
M src/ExpressionComma.cpp
M src/ExpressionVariable.cpp
M src/Fact.cpp
M src/Fact.h
M src/FactMgr.cpp
M src/FactPointTo.cpp
M src/FactPointTo.h
M src/FactUnion.cpp
M src/FactUnion.h
M src/FunctionInvocation.cpp
M src/FunctionInvocationBinary.cpp
M src/Lhs.cpp
M src/Statement.cpp
M src/Statement.h
M src/StatementArrayOp.cpp
M src/StatementAssign.cpp
M src/StatementBreak.cpp
M src/StatementContinue.cpp
M src/StatementExpr.cpp
M src/StatementFor.cpp
M src/StatementGoto.cpp
M src/StatementIf.cpp
M src/StatementReturn.cpp
M src/util.cpp
M src/util.h
Log Message:
-----------
Update facts for definitive assignment based on number of pointees on LHS
Also:
1) Add Statement::to_string for better debugging
2) Force all analysis failures to be reported via log_analysis_fail
Fix #104
Commit: 72c49db757c47aeb55538aeb0d7aecd7fea85076
https://github.com/csmith-project/csmith/commit/72c49db757c47aeb55538aeb0d7aecd7fea85076
Author: Xuejun Yang <nitsnow@gmail.com>
Date: 2020-11-27 (Fri, 27 Nov 2020)
Changed paths:
M src/Block.cpp
M src/ExpressionComma.cpp
M src/ExpressionVariable.cpp
M src/Fact.cpp
M src/Fact.h
M src/FactMgr.cpp
M src/FactPointTo.cpp
M src/FactPointTo.h
M src/FactUnion.cpp
M src/FactUnion.h
M src/FunctionInvocation.cpp
M src/FunctionInvocationBinary.cpp
M src/Lhs.cpp
M src/Statement.cpp
M src/Statement.h
M src/StatementArrayOp.cpp
M src/StatementAssign.cpp
M src/StatementBreak.cpp
M src/StatementContinue.cpp
M src/StatementExpr.cpp
M src/StatementFor.cpp
M src/StatementGoto.cpp
M src/StatementIf.cpp
M src/StatementReturn.cpp
M src/util.cpp
M src/util.h
Log Message:
-----------
Merge pull request #107 from csmith-project/jxyang.issue104
Update facts for definitive assignment based on number of pointees on…
Compare: https://github.com/csmith-project/csmith/compare/0bd545feec35...72c49db757c4