[Bug middle-end/78294] [5/6/7 Regression] -fsanitize=thread broken by ignoring __attribute__((tls_model("initial-exec")))

[trippels at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78294

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|REOPENED                    |NEW
                 CC|                            |amodra at gcc dot gnu.org
          Component|sanitizer                   |middle-end
      Known to work|                            |4.9.3
            Summary|-fsanitize=thread broken    |[5/6/7 Regression]
                   |                            |-fsanitize=thread broken by
                   |                            |ignoring
                   |                            |__attribute__((tls_model("i
                   |                            |nitial-exec")))
      Known to fail|                            |5.4.0, 6.2.0, 7.0

--- Comment #13 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
Started with r216361 (bizarrely committed by me, but it wasn't my patch).

From the comment added in that revision:

+         /* This isn't quite correct for something like
+               int __thread x attribute ((tls_model ("local-exec")));
+               extern int __thread x;
+            as we'll lose the "local-exec" model.  */