[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-08-27 Thread via cfe-commits
pirama-arumuga-nainar wrote: FYI, this PR causes https://github.com/llvm/llvm-project/issues/105569. https://github.com/llvm/llvm-project/pull/99439 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-08-13 Thread via cfe-commits
skc7 wrote: > > > > I remain concerned that newly developed instrumentations may require > > > > this special property. Is it useful to restrict this to HIP programs, > > > > at least before we gain more experience to comfortably apply this to > > > > other configurations? > > > > I'm also wor

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-08-13 Thread Fangrui Song via cfe-commits
MaskRay wrote: > > > I remain concerned that newly developed instrumentations may require this > > > special property. Is it useful to restrict this to HIP programs, at least > > > before we gain more experience to comfortably apply this to other > > > configurations? > > > I'm also worried th

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-08-13 Thread Jon Chesterfield via cfe-commits
JonChesterfield wrote: Sanizer passes setting a "no sanitizer" magic variable is backwards. If this behaviour is the way to go, have clang set a "needs_asan_lowering" or whatever and have the corresponding pass remove it. It shouldn't be necessary to emit ever increasing lists of pass and targ

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-08-11 Thread via cfe-commits
https://github.com/skc7 closed https://github.com/llvm/llvm-project/pull/99439 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-08-10 Thread via cfe-commits
https://github.com/skc7 edited https://github.com/llvm/llvm-project/pull/99439 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-08-10 Thread via cfe-commits
@@ -12,12 +12,47 @@ //===--===// #include "llvm/Transforms/Instrumentation.h" +#include "llvm/IR/DiagnosticInfo.h" +#include "llvm/IR/DiagnosticPrinter.h" #include "llvm/IR/IntrinsicInst.h" #include "llvm/I

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-08-10 Thread via cfe-commits
https://github.com/skc7 updated https://github.com/llvm/llvm-project/pull/99439 >From b7c0520ab9ea9d00fe5008717d2af04d494942eb Mon Sep 17 00:00:00 2001 From: skc7 Date: Thu, 18 Jul 2024 11:49:24 +0530 Subject: [PATCH] [Sanitizer] Make sanitizer passes idempotent. --- clang/test/CodeGenObjC/no-

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-08-09 Thread Fangrui Song via cfe-commits
MaskRay wrote: > > I remain concerned that newly developed instrumentations may require this > > special property. Is it useful to restrict this to HIP programs, at least > > before we gain more experience to comfortably apply this to other > > configurations? > > I'm also worried that this ch

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-08-09 Thread via cfe-commits
b-sumner wrote: Also > I remain concerned that newly developed instrumentations may require this > special property. Is it useful to restrict this to HIP programs, at least > before we gain more experience to comfortably apply this to other > configurations? > > I'm also worried that this c

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-08-09 Thread Vitaly Buka via cfe-commits
vitalybuka wrote: > I remain concerned that newly developed instrumentations may require this > special property. Is it useful to restrict this to HIP programs, at least > before we gain more experience to comfortably apply this to other > configurations? > > I'm also worried that this change

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-08-09 Thread Fangrui Song via cfe-commits
MaskRay wrote: I am still nervous as newer instrumentations might all need to know about the special property. Is it useful to restrict this to HIP programs, at least before we gain more experience to comfortably apply this to other configurations? I do worry that such a change will cause us n

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-08-09 Thread Vitaly Buka via cfe-commits
https://github.com/vitalybuka approved this pull request. https://github.com/llvm/llvm-project/pull/99439 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-08-09 Thread Vitaly Buka via cfe-commits
@@ -12,12 +12,47 @@ //===--===// #include "llvm/Transforms/Instrumentation.h" +#include "llvm/IR/DiagnosticInfo.h" +#include "llvm/IR/DiagnosticPrinter.h" #include "llvm/IR/IntrinsicInst.h" #include "llvm/I

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-08-08 Thread Vitaly Buka via cfe-commits
vitalybuka wrote: I will take another look tomorrow. https://github.com/llvm/llvm-project/pull/99439 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-08-08 Thread Vitaly Buka via cfe-commits
vitalybuka wrote: > > @vitalybuka @nikic Let me know if anything needs to be changed in this PR? > > Else, will merge the PR after approval. > > Please review. you should click "re-request review" button next to review. https://github.com/llvm/llvm-project/pull/99439 _

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-08-08 Thread via cfe-commits
skc7 wrote: > @vitalybuka @nikic Let me know if anything needs to be changed in this PR? > Else, will merge the PR after approval. Please review. https://github.com/llvm/llvm-project/pull/99439 ___ cfe-commits mailing list cfe-commits@lists.llvm.org

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-08-05 Thread via cfe-commits
https://github.com/skc7 updated https://github.com/llvm/llvm-project/pull/99439 >From 3c7c677b7d6dc3934fddc452021dcc2c06086606 Mon Sep 17 00:00:00 2001 From: skc7 Date: Thu, 18 Jul 2024 11:49:24 +0530 Subject: [PATCH] [Sanitizer] Make sanitizer passes idempotent. --- clang/test/CodeGenObjC/no-

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-08-01 Thread via cfe-commits
skc7 wrote: @vitalybuka @nikic Let me know if anything needs to be changed in this PR? Else, will merge the PR after approval. https://github.com/llvm/llvm-project/pull/99439 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.o

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-07-29 Thread via cfe-commits
@@ -12,12 +12,33 @@ //===--===// #include "llvm/Transforms/Instrumentation.h" +#include "llvm/IR/DiagnosticInfo.h" #include "llvm/IR/IntrinsicInst.h" #include "llvm/IR/Module.h" #include "llvm/TargetParser

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-07-29 Thread via cfe-commits
https://github.com/skc7 updated https://github.com/llvm/llvm-project/pull/99439 >From 2bcca883eae902238cb49d44ed24aa1304364646 Mon Sep 17 00:00:00 2001 From: skc7 Date: Thu, 18 Jul 2024 11:49:24 +0530 Subject: [PATCH 1/3] [Sanitizer] Make sanitizer passes idempotent. --- clang/test/CodeGenObjC

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-07-29 Thread Nikita Popov via cfe-commits
@@ -12,12 +12,33 @@ //===--===// #include "llvm/Transforms/Instrumentation.h" +#include "llvm/IR/DiagnosticInfo.h" #include "llvm/IR/IntrinsicInst.h" #include "llvm/IR/Module.h" #include "llvm/TargetParser

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-07-29 Thread Nikita Popov via cfe-commits
@@ -19,6 +19,7 @@ #include "llvm/IR/Function.h" #include "llvm/IR/IRBuilder.h" #include "llvm/IR/Instruction.h" +#include "llvm/IR/Module.h" nikic wrote: Should be a forward-declare. https://github.com/llvm/llvm-project/pull/99439

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-07-29 Thread Nikita Popov via cfe-commits
@@ -12,12 +12,33 @@ //===--===// #include "llvm/Transforms/Instrumentation.h" +#include "llvm/IR/DiagnosticInfo.h" #include "llvm/IR/IntrinsicInst.h" #include "llvm/IR/Module.h" #include "llvm/TargetParser

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-07-29 Thread Nikita Popov via cfe-commits
https://github.com/nikic edited https://github.com/llvm/llvm-project/pull/99439 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-07-29 Thread Nikita Popov via cfe-commits
https://github.com/nikic commented: Some nits, no strong opinion on overall approach. https://github.com/llvm/llvm-project/pull/99439 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-07-29 Thread via cfe-commits
https://github.com/skc7 updated https://github.com/llvm/llvm-project/pull/99439 >From 2bcca883eae902238cb49d44ed24aa1304364646 Mon Sep 17 00:00:00 2001 From: skc7 Date: Thu, 18 Jul 2024 11:49:24 +0530 Subject: [PATCH 1/2] [Sanitizer] Make sanitizer passes idempotent. --- clang/test/CodeGenObjC

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-07-26 Thread via cfe-commits
https://github.com/skc7 updated https://github.com/llvm/llvm-project/pull/99439 >From 2bcca883eae902238cb49d44ed24aa1304364646 Mon Sep 17 00:00:00 2001 From: skc7 Date: Thu, 18 Jul 2024 11:49:24 +0530 Subject: [PATCH] [Sanitizer] Make sanitizer passes idempotent. --- clang/test/CodeGenObjC/no-

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-07-26 Thread Vitaly Buka via cfe-commits
vitalybuka wrote: > > @MaskRay can you talk more about your concerns? This won't affect compile > > time, and instrumenting a shadow load will cause an immediate crash of the > > application at runtime. This patch seems much more robust than counting on > > toolchains to always arrange to avoi

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-07-26 Thread Vitaly Buka via cfe-commits
vitalybuka wrote: > In the worse case we need this, I'd hope that this is target-specific. What does this mean? https://github.com/llvm/llvm-project/pull/99439 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/ma

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-07-26 Thread Fangrui Song via cfe-commits
MaskRay wrote: > @MaskRay can you talk more about your concerns? This won't affect compile > time, and instrumenting a shadow load will cause an immediate crash of the > application at runtime. This patch seems much more robust than counting on > toolchains to always arrange to avoid double in

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-07-26 Thread via cfe-commits
b-sumner wrote: @MaskRay can you talk more about your concerns? This won't affect compile time, and instrumenting a shadow load will cause an immediate crash of the application at runtime. This seems much more robust than counting on toolchains to always arrange to avoid double instrumentati

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-07-26 Thread Fangrui Song via cfe-commits
MaskRay wrote: In the worse case we need this, I'd hope that this is target-specific. https://github.com/llvm/llvm-project/pull/99439 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-07-26 Thread Fangrui Song via cfe-commits
MaskRay wrote: > all previous proposals to add such "re-run" protection ended up with "the > pipeline is wrong". But implementation is so trivial, so I don't mind just to > have it implemented. While the implementation is trivial, I also share the concern whether sanitizers should do this. Th

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-07-26 Thread via cfe-commits
b-sumner wrote: LGTM https://github.com/llvm/llvm-project/pull/99439 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-07-26 Thread Vitaly Buka via cfe-commits
https://github.com/vitalybuka approved this pull request. LGTM, but please git some time others to respond https://github.com/llvm/llvm-project/pull/99439 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/li

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-07-26 Thread Vitaly Buka via cfe-commits
vitalybuka wrote: > > ThreadSanitizer is missing > > Have added the flag for tsan-module, But not sure about tsan, which is > function pass. How do we make that idempotent? We merged Module and function passes for other sanitizers, and we should do for tsan as well. So implementing for module

[clang] [llvm] [Sanitizer] Make sanitizer passes idempotent (PR #99439)

2024-07-26 Thread via cfe-commits
https://github.com/skc7 updated https://github.com/llvm/llvm-project/pull/99439 >From 8a2a63ba5e2005fb2bf03b24610dc0e19130a978 Mon Sep 17 00:00:00 2001 From: skc7 Date: Thu, 18 Jul 2024 11:49:24 +0530 Subject: [PATCH 1/7] [ASAN] Make asan pass idempotent. --- .../Instrumentation/AddressSanitiz