VG_(di_notify_mmap): don't complain about being unable to stat64/stat files in /dev...

Some applications cause this message to be emitted hundreds of times, which is annoying.

diff --git a/coregrind/m_debuginfo/debuginfo.c b/coregrind/m_debuginfo/debuginfo.c
index 3f86aced5e9fe9fc0e6d703284f5cefeba348bad..c8a6124a2cb9b485cec59f1accdb28bce08a09d3 100644 (file)
--- a/coregrind/m_debuginfo/debuginfo.c
+++ b/coregrind/m_debuginfo/debuginfo.c
@@ -1044,7 +1044,8 @@ ULong VG_(di_notify_mmap)( Addr a, Bool allow_SkFileV, Int use_fd )
       sources of noise before complaining, though. */
    if (sr_isError(statres)) {
       DebugInfo fake_di;
-      Bool quiet = VG_(strstr)(filename, "/var/run/nscd/") != NULL;
+      Bool quiet = VG_(strstr)(filename, "/var/run/nscd/") != NULL
+                   || VG_(strstr)(filename, "/dev/shm/") != NULL;
       if (!quiet && VG_(clo_verbosity) > 1) {
          VG_(memset)(&fake_di, 0, sizeof(fake_di));
          fake_di.fsm.filename = ML_(dinfo_strdup)("di.debuginfo.nmm", filename);