mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Giacomo Vercesi
6bb745ddfb
When initializing `revng::InitRevng` it is assumed by its parent, `InitLLVM`, that the lifetime of `Argv` and be equivalent to static, because it might be later retrieved to print it in case of a crash. This works with the traditional `main`, however in the pipebox the string passed are not guaranteed to have that lifetime. This commits moves ownership of the strings to a class that stores them to avoid this problem.