bf5adce413
Overhaul Clift loop syntax, add break/continue
2025-10-21 09:15:40 +02:00
ecb9d76c64
Model: drop obsolete default value handling
2025-10-13 18:33:10 +03:00
89282f31da
Minor improvements
2025-10-13 18:33:10 +03:00
653d451e6c
Remove undef name configuration support
...
Also adds a model migration removing
Configuration.Naming.UndefinedValuePrefix.
2025-09-29 18:05:55 +03:00
b982ae68d0
NamingConfiguration: add UnnamedGotoLabelPrefix
2025-07-23 11:38:50 +02:00
a7eb86174b
Add revng/Support/Identifier.h for id validation
2025-06-04 15:13:47 +02:00
0426c773b2
CABIFunctionDefinition: drop array argument/return
...
This commit bans from the model array types in as argument or return
types in CABIFunctionDefinition.
CABIFunctionDefinition implies we're decompiling towards C, and C does
not support array arguments (passed by copy) nor array return types.
Banning these from the model reduces the number of situations where we
have to emit artificial array wrappers (not present in the model) around
types when printing C code, simplifying the handling of such situations
when translating to clift and in general in the decompilation pipeline.
2025-05-28 17:11:11 +02:00
1622bb91a1
Introduce automatic names for dynamic functions
2025-04-24 13:22:14 +02:00
79964eac74
Avoid ' misuse in error messages and comments
2025-04-17 16:41:21 +02:00
83324fcf07
NameBuilder: improve documentation
2025-04-17 11:19:17 +03:00
e96e64f035
CNameBuilder: ban known llvm intrinsic names
2025-04-17 11:19:17 +03:00
29554ef303
CNameBuilder: ban known helper names
2025-04-17 11:19:17 +03:00
57b5eb7f98
NameBuilder: allow different name checkers
2025-04-17 11:19:17 +03:00
c9ade8d458
NameBuilder: report reason when renaming something
2025-04-17 11:19:17 +03:00
355d4f634c
NameBuilder: prevent collisions with macros
2025-04-17 11:19:17 +03:00
dce5c1a02c
NamingConfiguration: pull more prefixes inside
...
Unify additional values that used to be hardcoded in the old backend
under the same naming configuration root.
2025-04-17 11:19:17 +03:00
af79a289d8
NamingConfiguration: add a new option
...
It's `ReserveNamesStartingWithUnderscore`.
2025-04-17 11:19:17 +03:00
645cf7fc2e
NameBuilder: sunset deduplication
...
This reworks NameBuilder to ease the transition to the system where
the model will be guaranteed to never contain any name collisions, both
between user-specified names and the automatic ones.
2025-04-15 16:35:42 +03:00
6710dacfed
Model: give path helpers a home
2025-04-15 16:35:42 +03:00
705e4a5955
auto [...] -> auto &&[...]
2025-02-13 13:10:51 +02:00
6c43cebc90
Model: let VerifyHelper depend on NameBuilder
2025-02-13 13:09:50 +02:00
814e025ee2
Remove moves before return in NameBuilder.cpp
2025-01-02 11:25:32 +02:00
672ee5df50
Replace std::string_view with llvm::StringRef
2024-11-06 15:43:13 +02:00
ad868f57ad
Model: introduce name builder
2024-11-06 15:43:13 +02:00
Lauri Vasama