admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
e2c7404218fa262bb2a079351bc20f3e78d5d674
revng-revng/lib/RestructureCFG
T
History
Andrea Gussoni 12bf4e7db0 RestructureCFG: fail on unexpected dummy purge 
When attempting to simplify away a dummy that simply connects a
Predecessor and a Successor, fail if Predecessor and Successor are
already connected.

In order to handle such failure, we need to decorate a lot of function
on the stack trace in order to be able to propagate the failure code.
2025-06-19 11:36:49 +02:00
..
ASTNode.cpp
Merge revng-c into revng
2024-11-21 10:50:55 +01:00
ASTNodeUtils.cpp
Standardize comment formatting
2025-02-13 13:09:50 +02:00
ASTTree.cpp
Merge revng-c into revng
2024-11-21 10:50:55 +01:00
BasicBlockNode.cpp
Merge revng-c into revng
2024-11-21 10:50:55 +01:00
BeautifyGHAST.cpp
auto [...] -> auto &&[...]
2025-02-13 13:10:51 +02:00
CMakeLists.txt
MTGoTo: introduce the MaterializeTrivialGoto pass
2025-04-30 16:10:54 +02:00
DAGifyPass.cpp
DAGify: single ScopeGraphBuilder instance
2025-06-12 15:31:38 +02:00
EnforceSingleExitPass.cpp
ESE: single ScopeGraphBuilder instance
2025-06-12 15:31:38 +02:00
ExprNode.cpp
Merge revng-c into revng
2024-11-21 10:50:55 +01:00
FallThroughScopeAnalysis.cpp
Standardize comment formatting
2025-02-13 13:09:50 +02:00
FallThroughScopeAnalysis.h
FallThroughScope: remove SwitchBreak type
2024-05-07 14:17:05 +02:00
GenericRegionInfo.cpp
Fix MIT license
2025-04-30 16:10:54 +02:00
GenericRegionPass.cpp
Fix MIT license
2025-04-30 16:10:54 +02:00
InlineDispatcherSwitch.cpp
Standardize comment formatting
2025-02-13 13:09:50 +02:00
InlineDispatcherSwitch.h
InlineDispatcherSwitch: improve function signature
2024-05-07 14:17:05 +02:00
InlineDivergentScopesPass.cpp
IDS: improve collection restart criterion
2025-06-12 15:31:38 +02:00
MaterializeTrivialGotoPass.cpp
MTGoTo: introduce the MaterializeTrivialGoto pass
2025-04-30 16:10:54 +02:00
MetaRegion.cpp
Merge revng-c into revng
2024-11-21 10:50:55 +01:00
PromoteCallNoReturn.cpp
Standardize comment formatting
2025-02-13 13:09:50 +02:00
PromoteCallNoReturn.h
Relicense to MIT
2024-02-29 17:03:36 +01:00
RegionCFGTree.cpp
Merge revng-c into revng
2024-11-21 10:50:55 +01:00
RemoveDeadCode.cpp
Merge revng-c into revng
2024-11-21 10:50:55 +01:00
RemoveDeadCode.h
RemoveDeadCode: dead code removal beautify
2024-05-07 14:17:05 +02:00
RestructureCFG.cpp
RestructureCFG: fail on unexpected dummy purge
2025-06-19 11:36:49 +02:00
ScopeGraphAlgorithms.cpp
ScopeGraph: introduce isScopeGraphDecided helper
2025-04-30 16:10:54 +02:00
ScopeGraphUtils.cpp
ScopeGraph: optimize ScopeGraphBuilder
2025-06-12 15:31:38 +02:00
SelectScopePass.cpp
SelectScope: single ScopeGraphBuilder instance
2025-06-12 15:31:38 +02:00
SimplifyCompareNode.cpp
Merge revng-c into revng
2024-11-21 10:50:55 +01:00
SimplifyCompareNode.h
Relicense to MIT
2024-02-29 17:03:36 +01:00
SimplifyDualSwitch.cpp
Merge revng-c into revng
2024-11-21 10:50:55 +01:00
SimplifyDualSwitch.h
Relicense to MIT
2024-02-29 17:03:36 +01:00
SimplifyHybridNot.cpp
Merge revng-c into revng
2024-11-21 10:50:55 +01:00
SimplifyHybridNot.h
Relicense to MIT
2024-02-29 17:03:36 +01:00
SimplifyImplicitStatement.cpp
Merge revng-c into revng
2024-11-21 10:50:55 +01:00
SimplifyImplicitStatement.h
Relicense to MIT
2024-02-29 17:03:36 +01:00