diff options
author | Rico Tzschichholz <ricotz@ubuntu.com> | 2022-06-14 12:43:16 +0200 |
---|---|---|
committer | Rico Tzschichholz <ricotz@ubuntu.com> | 2022-06-14 12:49:22 +0200 |
commit | 05b7ed117d79da7b3d22d76c7a49d96a6a958031 (patch) | |
tree | 8c7213984a9eba0f9627385e3c344129f2839de9 /vala/valasourcefile.vala | |
parent | 87bed05011c073daf2445a8a077933bb04ba655c (diff) | |
download | vala-05b7ed117d79da7b3d22d76c7a49d96a6a958031.tar.gz |
vala: Avoid critical in SourceFile.get_mapped_length()
See https://gitlab.gnome.org/GNOME/vala/issues/1330
Diffstat (limited to 'vala/valasourcefile.vala')
-rw-r--r-- | vala/valasourcefile.vala | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/vala/valasourcefile.vala b/vala/valasourcefile.vala index 9d8808038..8f4175cde 100644 --- a/vala/valasourcefile.vala +++ b/vala/valasourcefile.vala @@ -362,6 +362,10 @@ public class Vala.SourceFile { return content.length; } + if (mapped_file == null) { + return 0; + } + return mapped_file.get_length (); } |