Hello all,
The following patch to GCC trunk commit 91fa9c15cc4fb9 could provide a (partial)
fix to
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118587
diff --git a/gcc/jit/jit-recording.h b/gcc/jit/jit-recording.h
index 0ac9245c2df..5e54f02923f 100644
--- a/gcc/jit/jit-recording.h
+++ b/gcc/jit/jit-recording.h
@@ -580,6 +580,21 @@ private:
int m_line;
int m_column;
bool m_created_by_user;
+public:
+ const std::string get_filename() const {
+ if (m_filename)
+ return std::string(m_filename);
+ return "";
+ };
+ int get_line() const {
+ return m_line;
+ };
+ int get_column() const {
+ return m_column;
+ };
+ bool is_created_by_user() const {
+ return m_created_by_user;
+ };
};
class type : public memento
Could someone please review it (and if autorized to) apply it? I feel it is
pretty trivial and definitely useful.
Thanks
--
Basile STARYNKEVITCH <[email protected]>
8 rue de la Faïencerie
92340 Bourg-la-Reine, France
http://starynkevitch.net/Basile & https://github.com/bstarynk
