https://github.com/paulsemel closed
https://github.com/llvm/llvm-project/pull/101640
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
@@ -1710,4 +1710,25 @@ TEST_F(TopTest, ForRangeStmtConverges) {
// analysis converged.
});
}
+
+TEST_F(TopTest, ForRangeStmtHasFlowCondition) {
+ std::string Code = R"(
+#include
+void target(bool Foo) {
+ std::array t;
+ for (a
https://github.com/paulsemel updated
https://github.com/llvm/llvm-project/pull/80989
>From 9cbe0ef60f0154cbbefaa7d3092d65e4a4ab4d2a Mon Sep 17 00:00:00 2001
From: Paul Semel
Date: Wed, 7 Feb 2024 13:06:40 +
Subject: [PATCH] [dataflow] CXXForRangeStmt should extend flow condition
This is ne
https://github.com/paulsemel closed
https://github.com/llvm/llvm-project/pull/80970
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/paulsemel updated
https://github.com/llvm/llvm-project/pull/80970
>From 584e875913dc2f3d667aae95f44225c1c0b3101a Mon Sep 17 00:00:00 2001
From: Paul Semel
Date: Wed, 7 Feb 2024 10:26:23 +
Subject: [PATCH] [dataflow] Fix crash when InitListExpr is not a prvalue
---
clang
https://github.com/paulsemel updated
https://github.com/llvm/llvm-project/pull/80970
>From 35fa8c1f4815bf2922ba9018d3f64b99428ecdc6 Mon Sep 17 00:00:00 2001
From: Paul Semel
Date: Wed, 7 Feb 2024 10:26:23 +
Subject: [PATCH 1/2] [dataflow] Fix crash when InitListExpr is not a prvalue
---
c
https://github.com/paulsemel closed
https://github.com/llvm/llvm-project/pull/80991
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/paulsemel edited
https://github.com/llvm/llvm-project/pull/80970
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/paulsemel updated
https://github.com/llvm/llvm-project/pull/80970
>From 35fa8c1f4815bf2922ba9018d3f64b99428ecdc6 Mon Sep 17 00:00:00 2001
From: Paul Semel
Date: Wed, 7 Feb 2024 10:26:23 +
Subject: [PATCH] [dataflow] Fix crash when InitListExpr is not a prvalue
---
clang
@@ -648,6 +648,12 @@ class TransferVisitor : public
ConstStmtVisitor {
QualType Type = S->getType();
if (!Type->isStructureOrClassType()) {
+ // It is possible that InitListExpr is not a prvalue, in which case
+ // `setValue` will fail. In this case, we can
https://github.com/paulsemel updated
https://github.com/llvm/llvm-project/pull/80970
>From 1ff7ea57e76041b25889685ead115a1b793d3921 Mon Sep 17 00:00:00 2001
From: Paul Semel
Date: Wed, 7 Feb 2024 10:26:23 +
Subject: [PATCH] [dataflow] Fix crash when InitListExpr is not a prvalue
---
clang
https://github.com/paulsemel updated
https://github.com/llvm/llvm-project/pull/80991
>From 0d03870ef82fac51387c353bbe4e095e431d7ce8 Mon Sep 17 00:00:00 2001
From: Paul Semel
Date: Wed, 7 Feb 2024 13:59:40 +
Subject: [PATCH 1/2] [dataflow] CXXOperatorCallExpr equal operator might not
be a g
@@ -535,7 +535,19 @@ class TransferVisitor : public
ConstStmtVisitor {
return;
copyRecord(*LocSrc, *LocDst, Env);
- Env.setStorageLocation(*S, *LocDst);
+
+ // If the expr is a glvalue, we can reasonably assume the operator is
+ // returning T& an
https://github.com/paulsemel updated
https://github.com/llvm/llvm-project/pull/80991
>From 0d03870ef82fac51387c353bbe4e095e431d7ce8 Mon Sep 17 00:00:00 2001
From: Paul Semel
Date: Wed, 7 Feb 2024 13:59:40 +
Subject: [PATCH] [dataflow] CXXOperatorCallExpr equal operator might not be a
glval
https://github.com/paulsemel created
https://github.com/llvm/llvm-project/pull/80991
Although in a normal implementation the assumption is reasonable, it seems that
some esoteric implementation are not returning a T&. This should be handled
correctly and the values be propagated.
>From 4aad70
https://github.com/paulsemel created
https://github.com/llvm/llvm-project/pull/80989
This is needed in order to correctly assume implicit iterator validity in the
iterator checker.
>From b227aa82732cdc087ead5df62077055042d22696 Mon Sep 17 00:00:00 2001
From: Paul Semel
Date: Wed, 7 Feb 2024 1
https://github.com/paulsemel created
https://github.com/llvm/llvm-project/pull/80970
None
>From e56ced76e19d57a020030ab41a125012460d08d7 Mon Sep 17 00:00:00 2001
From: Paul Semel
Date: Wed, 7 Feb 2024 10:26:23 +
Subject: [PATCH] [dataflow] Fix crash when InitListExpr is not a prvalue
---
https://github.com/paulsemel closed
https://github.com/llvm/llvm-project/pull/79608
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/paulsemel updated
https://github.com/llvm/llvm-project/pull/79608
>From 6af0f5971783214f6f3ce5f95aba97ed1c79824e Mon Sep 17 00:00:00 2001
From: Paul Semel
Date: Fri, 26 Jan 2024 15:29:58 +
Subject: [PATCH 1/3] [dataflow] fix assert in
`Environment::getResultObjectLocatio
paulsemel wrote:
The added test aborts (assert fails) without this patch.
https://github.com/llvm/llvm-project/pull/79608
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/paulsemel updated
https://github.com/llvm/llvm-project/pull/79608
>From 6af0f5971783214f6f3ce5f95aba97ed1c79824e Mon Sep 17 00:00:00 2001
From: Paul Semel
Date: Fri, 26 Jan 2024 15:29:58 +
Subject: [PATCH 1/3] [dataflow] fix assert in
`Environment::getResultObjectLocatio
https://github.com/paulsemel created
https://github.com/llvm/llvm-project/pull/79608
When calling `Environment::getResultObjectLocation` with a CXXOperatorCallExpr
that is a prvalue, we just hit an assert because no record was ever created.
>From 6af0f5971783214f6f3ce5f95aba97ed1c79824e Mon Se
Author: Paul Semel
Date: 2023-07-26T08:52:06Z
New Revision: 145f353fd67909e03c39b968b464ac625edde6cb
URL:
https://github.com/llvm/llvm-project/commit/145f353fd67909e03c39b968b464ac625edde6cb
DIFF:
https://github.com/llvm/llvm-project/commit/145f353fd67909e03c39b968b464ac625edde6cb.diff
LOG: [c
Author: Paul Semel
Date: 2023-07-26T08:50:28Z
New Revision: bc37893433d35b1448c5d4628d932fafec92efd0
URL:
https://github.com/llvm/llvm-project/commit/bc37893433d35b1448c5d4628d932fafec92efd0
DIFF:
https://github.com/llvm/llvm-project/commit/bc37893433d35b1448c5d4628d932fafec92efd0.diff
LOG: [c
Author: Paul Semel
Date: 2023-02-28T15:43:28Z
New Revision: 96d035c1dcd795e3da76ef17796101006269f9c7
URL:
https://github.com/llvm/llvm-project/commit/96d035c1dcd795e3da76ef17796101006269f9c7
DIFF:
https://github.com/llvm/llvm-project/commit/96d035c1dcd795e3da76ef17796101006269f9c7.diff
LOG: [c
Author: Paul Semel
Date: 2023-02-24T09:51:10Z
New Revision: e6e753d173db14bb1273db65387dec696b7d7a48
URL:
https://github.com/llvm/llvm-project/commit/e6e753d173db14bb1273db65387dec696b7d7a48
DIFF:
https://github.com/llvm/llvm-project/commit/e6e753d173db14bb1273db65387dec696b7d7a48.diff
LOG: [c
Author: paulsemel
Date: Wed Apr 25 03:09:20 2018
New Revision: 330808
URL: http://llvm.org/viewvc/llvm-project?rev=330808&view=rev
Log:
add check for long double for __builtin_dump_struct
Modified:
cfe/trunk/test/CodeGen/dump-struct-builtin.c
Modified: cfe/trunk/test/CodeGen/dump-struct-buil
27 matches
Mail list logo
