[clang] [analyzer] Allow egraph rewriter not to open the generated HTML directly (PR #85515)

2024-03-26 Thread Ella Ma via cfe-commits
https://github.com/Snape3058 closed https://github.com/llvm/llvm-project/pull/85515 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [analyzer] Allow egraph rewriter not to open the generated HTML directly (PR #85515)

2024-03-18 Thread Ella Ma via cfe-commits
Snape3058 wrote: Updated as suggested. https://github.com/llvm/llvm-project/pull/85515 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [analyzer] Allow egraph rewriter not to open the generated HTML directly (PR #85515)

2024-03-18 Thread Ella Ma via cfe-commits
@@ -1186,6 +1192,14 @@ def main(): "displaying it, dump the rewritten dot file " "to stdout", ) +dump_conflict.add_argument( +"--dump-html-only", +action="store_const", +dest="dump_html_only", +const=True, +default

[clang] [analyzer] Allow egraph rewriter not to open the generated HTML directly (PR #85515)

2024-03-18 Thread Ella Ma via cfe-commits
@@ -479,12 +479,15 @@ def add_raw_line(self, raw_line): # A visitor that dumps the ExplodedGraph into a DOT file with fancy HTML-based # syntax highlighing. class DotDumpVisitor: -def __init__(self, do_diffs, dark_mode, gray_mode, topo_mode, dump_dot_only): +def __init

[clang] [analyzer] Allow egraph rewriter not to open the generated HTML directly (PR #85515)

2024-03-18 Thread Ella Ma via cfe-commits
@@ -479,12 +479,15 @@ def add_raw_line(self, raw_line): # A visitor that dumps the ExplodedGraph into a DOT file with fancy HTML-based # syntax highlighing. class DotDumpVisitor: -def __init__(self, do_diffs, dark_mode, gray_mode, topo_mode, dump_dot_only): +def __init

[clang] [analyzer] Allow egraph rewriter not to open the generated HTML directly (PR #85515)

2024-03-18 Thread Ella Ma via cfe-commits
https://github.com/Snape3058 edited https://github.com/llvm/llvm-project/pull/85515 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [analyzer] Allow egraph rewriter not to open the generated HTML directly (PR #85515)

2024-03-18 Thread Ella Ma via cfe-commits
https://github.com/Snape3058 updated https://github.com/llvm/llvm-project/pull/85515 >From 1d37cd1a7dac2ddb05fdcf125483991b3ac645d8 Mon Sep 17 00:00:00 2001 From: Ella Ma Date: Sat, 16 Mar 2024 18:25:12 +0800 Subject: [PATCH 1/3] allow egraph rewriter not to open html directly --- .../utils/a

[clang] [analyzer] Allow egraph rewriter not to open the generated HTML directly (PR #85515)

2024-03-16 Thread Ella Ma via cfe-commits
https://github.com/Snape3058 updated https://github.com/llvm/llvm-project/pull/85515 >From 1d37cd1a7dac2ddb05fdcf125483991b3ac645d8 Mon Sep 17 00:00:00 2001 From: Ella Ma Date: Sat, 16 Mar 2024 18:25:12 +0800 Subject: [PATCH 1/2] allow egraph rewriter not to open html directly --- .../utils/a

[clang] [analyzer] Allow egraph rewriter not to open the generated HTML directly (PR #85515)

2024-03-16 Thread Ella Ma via cfe-commits
https://github.com/Snape3058 created https://github.com/llvm/llvm-project/pull/85515 When developing on a headless device through SSH, we do not have a browser or even an X environment. Hence, it would be more convenient if the rewriter could stop before attempting to open the generated HTML f

[clang] [analyzer] Fix false double free when including 3rd-party headers with overloaded delete operator as system headers (PR #85224)

2024-03-14 Thread Ella Ma via cfe-commits
@@ -1090,7 +1090,8 @@ static bool isStandardNewDelete(const FunctionDecl *FD) { // If the header for operator delete is not included, it's still defined // in an invalid source location. Check to make sure we don't crash. return !L.isValid() || - FD->getASTContext

[clang] [analyzer] Fix false double free when including 3rd-party headers with overloaded delete operator as system headers (PR #85224)

2024-03-14 Thread Ella Ma via cfe-commits
Snape3058 wrote: This version is just a trivial workaround for this issue. Refer to the FIXME comment in the checker. Feel free to provide suggestions on fixing this bug. https://github.com/llvm/llvm-project/pull/85224 ___ cfe-commits mailing list cfe

[clang] [analyzer] Fix false double free when including 3rd-party headers with overloaded delete operator as system headers (PR #85224)

2024-03-14 Thread Ella Ma via cfe-commits
https://github.com/Snape3058 created https://github.com/llvm/llvm-project/pull/85224 Fixes #62985 When 3rd-party header files are included as system headers, their overloaded `new` and `delete` operators are also considered as the std ones. However, those overloaded operator functions will a

[clang] [clang][ExprEngineCXX] Fix crash on dereference invalid return value of getAdjustedParameterIndex() (PR #83585)

2024-03-01 Thread Ella Ma via cfe-commits
Snape3058 wrote: Add suggested reviewers for this PR. I am unfamiliar with the engine code. > mzyKi force-pushed the bugfix/crash-on-getAdjustedParameterIndex branch Please do not force push to your forked repo later after receiving suggestions from other reviewers. This will make previous sug

[clang] [analyzer][NFC] Add a test case to PR-70792 for Issue-59493 (PR #71073)

2023-11-03 Thread Ella Ma via cfe-commits
https://github.com/Snape3058 closed https://github.com/llvm/llvm-project/pull/71073 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [analyzer][NFC] Add a test case to PR-70792 for Issue-59493 (PR #71073)

2023-11-02 Thread Ella Ma via cfe-commits
https://github.com/Snape3058 updated https://github.com/llvm/llvm-project/pull/71073 >From 90d72a1f1036d2486e66c5ec16c3a8dc4241fc00 Mon Sep 17 00:00:00 2001 From: Ella Ma Date: Thu, 2 Nov 2023 23:14:15 +0800 Subject: [PATCH 1/2] [clang][analyzer] Add a test case to PR-70792 for Issue-59493 --

[clang] [clang][analyzer] Add a test case to PR-70792 for Issue-59493 (PR #71073)

2023-11-02 Thread Ella Ma via cfe-commits
https://github.com/Snape3058 created https://github.com/llvm/llvm-project/pull/71073 Following PR #70792 for issue #70464 Add a test case for issue #59493 >From 90d72a1f1036d2486e66c5ec16c3a8dc4241fc00 Mon Sep 17 00:00:00 2001 From: Ella Ma Date: Thu, 2 Nov 2023 23:14:15 +0800 Subject: [PATC

[clang] [analyzer] Fix uninitialized base class with initializer list when ctor is not declared in the base class (#70464) (PR #70792)

2023-11-02 Thread Ella Ma via cfe-commits
Snape3058 wrote: OK, thanks~ https://github.com/llvm/llvm-project/pull/70792 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [analyzer] Fix uninitialized base class with initializer list when ctor is not declared in the base class (#70464) (PR #70792)

2023-11-02 Thread Ella Ma via cfe-commits
Snape3058 wrote: Do I need to * create a new PR? * push directly to this PR on the original branch `Snape3058:issue-70464`? * commit directly without revision? Which operation is correct? (Sorry for not familiar with GitHub) -( https://github.com/llvm/llvm-project/pull/70792 __

[clang] [analyzer] Fix uninitialized base class with initializer list when ctor is not declared in the base class (#70464) (PR #70792)

2023-11-02 Thread Ella Ma via cfe-commits
Snape3058 wrote: As #59493 is an array, which is different from the test case I provided and the ones in #61919 and #54533, although this pr can correctly handle the array case, do I still need to add the array one to the test case? ```cpp // Additional test case from issue #59493 namespace in

[clang] [analyzer] Fix uninitialized base class with initializer list when ctor is not declared in the base class (#70464) (PR #70792)

2023-11-01 Thread Ella Ma via cfe-commits
https://github.com/Snape3058 closed https://github.com/llvm/llvm-project/pull/70792 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [analyzer] Fix uninitialized base class with initializer list when ctor is not declared in the base class (#70464) (PR #70792)

2023-11-01 Thread Ella Ma via cfe-commits
https://github.com/Snape3058 updated https://github.com/llvm/llvm-project/pull/70792 >From afda56104e079c177d7941ff1394636cb48e7347 Mon Sep 17 00:00:00 2001 From: Ella Ma Date: Tue, 31 Oct 2023 18:41:14 +0800 Subject: [PATCH] [analyzer] Fix uninitialized base class with initializer list when c

[clang] [analyzer] Fix uninitialized base class with initializer list when ctor is not declared in the base class (#70464) (PR #70792)

2023-10-31 Thread Ella Ma via cfe-commits
@@ -1222,6 +1222,15 @@ void ExprEngine::ProcessInitializer(const CFGInitializer CFGInit, PostInitializer PP(BMI, FieldLoc.getAsRegion(), stackFrame); evalBind(Tmp, Init, Pred, FieldLoc, InitVal, /*isInit=*/true, &PP); } + } else if (BMI->isBaseInitializer() &&

[clang] [analyzer] Fix uninitialized base class with initializer list when ctor is not declared in the base class (#70464) (PR #70792)

2023-10-31 Thread Ella Ma via cfe-commits
@@ -0,0 +1,69 @@ +// Refer issue 70464 for more details. +// +// When the base class does not have a declared constructor, the base +// initializer in the constructor of the derived class should use the given +// initializer list to finish the initialization of the base class. +//

[clang] [analyzer] Fix uninitialized base class with initializer list when ctor is not declared in the base class (#70464) (PR #70792)

2023-10-31 Thread Ella Ma via cfe-commits
https://github.com/Snape3058 updated https://github.com/llvm/llvm-project/pull/70792 >From fa7f1d1a862d584d42e9f4a44660f6f61501b150 Mon Sep 17 00:00:00 2001 From: Ella Ma Date: Tue, 31 Oct 2023 18:41:14 +0800 Subject: [PATCH] [analyzer] Fix uninitialized base class with initializer list when c

[clang] [analyzer] Fix uninitialized base class with initializer list when ctor is not declared in the base class (#70464) (PR #70792)

2023-10-31 Thread Ella Ma via cfe-commits
https://github.com/Snape3058 created https://github.com/llvm/llvm-project/pull/70792 When ctor is not declared in the base class, initializing the base class with the initializer list will not trigger a proper assignment of the base region, as a CXXConstructExpr doing that is not available in

[clang] 1bd2d33 - [analyzer][CStringChecker] Adjust the invalidation operation on the super region of the destination buffer during string copy

2023-07-03 Thread Ella Ma via cfe-commits
Author: Ella Ma Date: 2023-07-03T16:13:47+08:00 New Revision: 1bd2d335b649f2e09d7e4bdd0b92c78489ded022 URL: https://github.com/llvm/llvm-project/commit/1bd2d335b649f2e09d7e4bdd0b92c78489ded022 DIFF: https://github.com/llvm/llvm-project/commit/1bd2d335b649f2e09d7e4bdd0b92c78489ded022.diff LOG:

[clang] 32fe1a4 - [analyzer] Fixing SVal::getType returns Null Type for NonLoc::ConcreteInt in boolean type

2022-07-14 Thread Ella Ma via cfe-commits
Author: Ella Ma Date: 2022-07-14T22:00:38+08:00 New Revision: 32fe1a4be95c90da9a24d63a097429ec7c3bbfba URL: https://github.com/llvm/llvm-project/commit/32fe1a4be95c90da9a24d63a097429ec7c3bbfba DIFF: https://github.com/llvm/llvm-project/commit/32fe1a4be95c90da9a24d63a097429ec7c3bbfba.diff LOG:

[clang] 9f90254 - [analyzer][ctu] Fix wrong 'multiple definitions' errors caused by space characters in lookup names when parsing the ctu index file

2022-03-21 Thread Ella Ma via cfe-commits
Author: Ella Ma Date: 2022-03-22T10:28:42+08:00 New Revision: 9f90254286dc6ec9be39648200712dfe2e4b1fda URL: https://github.com/llvm/llvm-project/commit/9f90254286dc6ec9be39648200712dfe2e4b1fda DIFF: https://github.com/llvm/llvm-project/commit/9f90254286dc6ec9be39648200712dfe2e4b1fda.diff LOG: