mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Pietro Fezzardi
ea3cbe4c1b
Type inlining was a feature that allowed type definitions of structs/unions/enums to be printed in C directly inside the definition of another parent struct/union, if the inner type was only used once in the parent type. This kind of reasoning is inherently global: a type definition of the subtype can be inlined in the parent type one only if *globally* the subtype it isn't referred anywhere else. This caused issues with type inlining inside definitions of stack types in the body of functions. Indeed, for a given function, due to type inlining, it was necessary to do global reasoning about what other types could be inlined in the definition of the function's stack frame type. This, in turn, had heavy consequences on invalidation, because any change to any type (even if it wasn't referred in a given function's body) was causing invalidation of all functions' bodies. For this reason it was decided to drop the type inlining feature.
18 lines
549 B
C++
18 lines
549 B
C++
//
|
|
// This file is distributed under the MIT License. See LICENSE.md for details.
|
|
//
|
|
|
|
#include "revng/HeadersGeneration/Options.h"
|
|
|
|
using namespace llvm::cl;
|
|
|
|
namespace revng::options {
|
|
|
|
opt<bool> EnableStackFrameInlining("enable-stack-frame-inlining",
|
|
desc("Enable printing the definition "
|
|
"of a function's stack type inside "
|
|
"the function's body."),
|
|
init(false));
|
|
|
|
} // namespace revng::options
|