aboutsummaryrefslogtreecommitdiff
path: root/clang/unittests/Analysis/FlowSensitive
AgeCommit message (Expand)AuthorFilesLines
2025-05-22Reapply "[clang] Remove intrusive reference count from `DiagnosticOptions` (#...Jan Svoboda1-3/+2
2025-05-22Revert "[clang] Remove intrusive reference count from `DiagnosticOptions` (#1...Kazu Hirata1-2/+3
2025-05-22[clang] Remove intrusive reference count from `DiagnosticOptions` (#139584)Jan Svoboda1-3/+2
2025-04-27[clang] Use range constructors of *Set (NFC) (#137574)Kazu Hirata1-2/+1
2025-04-02Reapply "[cmake] Refactor clang unittest cmake" (#134195)Reid Kleckner1-13/+5
2025-04-01Revert "[cmake] Refactor clang unittest cmake" (#134022)dpalermo1-5/+13
2025-04-01[cmake] Refactor clang unittest cmake (#133545)Reid Kleckner1-13/+5
2025-03-29Fix some typos (NFC) (#133558)Qinkun Bao2-3/+3
2025-03-28[NFC] [dataflow] generalize smart pointer caching (#133350)Florian Mayer1-0/+44
2025-03-26Reland [clang][dataflow] Fix unsupported types always being equal (#131575)Discookie1-0/+35
2025-03-22[clang] Use *Set::insert_range (NFC) (#132507)Kazu Hirata1-2/+1
2025-03-21[clang][dataflow] Add matcher for pointer-like types to be cached (#132314)Florian Mayer1-0/+106
2025-03-17[clang][dataflow] For bugprone-unchecked-optional-access report range (#131055)Jan Voung1-6/+52
2025-03-07[clang][dataflow] Add test for crash repro and clean up const accessor handli...Jan Voung1-18/+46
2025-03-04Revert "[clang][dataflow] Fix unsupported types always being equal" (#129761)Jan Voung1-35/+0
2025-03-04[clang][dataflow] Fix unsupported types always being equal (#129502)Discookie1-0/+35
2025-02-28[clang-tidy] [dataflow] Cache reference accessors for `bugprone-unchecked-op...Valentyn Yukhymenko1-0/+194
2025-02-13[clang][dataflow] Remove a deprecated CachedConstAccessorsLattice API (#127001)Jan Voung1-41/+18
2025-01-30[clang][dataflow] Fix smart pointer accessor caching to handle aliases (#124964)Jan Voung1-0/+52
2025-01-08[clang][dataflow] Use smart pointer caching in unchecked optional accessor (#...Jan Voung2-0/+77
2024-12-20[clang][dataflow] Add matchers for smart pointer accessors to be cached (#120...Jan Voung2-0/+195
2024-12-12[clang][ASTVisitor] Visit `HoldingVar` from `BindingDecl`. (#117858)Clement Courbet1-4/+14
2024-11-27[clang][dataflow] Add captured parameters to ReferencedDecls for lamb… (#11...Samira Bazuzi1-0/+41
2024-10-28[clang][dataflow] Cache accessors returning pointers in bugprone-unchecked-op...Jan Voung1-11/+61
2024-10-28[clang][dataflow] Don't clear cached field state if field is const (#113698)Jan Voung1-1/+22
2024-10-24[clang] Use {} instead of std::nullopt to initialize empty ArrayRef (#109399)Jay Foad1-3/+3
2024-10-22[clang][dataflow] Cache accessors for bugprone-unchecked-optional-access (#11...Jan Voung1-1/+196
2024-10-16[clang][dataflow] Add a lattice to help cache const accessor methods (#111006)Jan Voung2-0/+306
2024-10-02[clang][dataflow] Add a test demonstrating an issue in unchecked-optional-acc...Jan Voung1-0/+34
2024-08-19[clang][dataflow] Collect local variables referenced within a functio… (#10...Samira Bazuzi1-0/+22
2024-07-29[clang][dataflow] Fix bug in `buildContainsExprConsumedInDifferentBlock()`. (...martinboehme1-1/+38
2024-07-26[clang][dataflow] Handle CXXInheritedCtorInitExpr in ResultObjectVisitor. (#9...Pasquale Riello1-0/+49
2024-07-22[clang][dataflow] Handle this-capturing lambdas in field initializers. (#99519)Samira Bazuzi1-0/+28
2024-07-16[clang][dataflow] reland #96766 with fix (#98896)martinboehme2-1/+49
2024-07-13[clang][dataflow]Propagate the result object location for CXXDefaultInitExpr....Samira Bazuzi1-0/+37
2024-06-26Revert "[clang][dataflow] Teach `AnalysisASTVisitor` that `typeid()` can be e...martinboehme1-43/+0
2024-06-26[clang][nullability] Improve modeling of `++`/`--` operators. (#96601)martinboehme1-8/+23
2024-06-26[clang][dataflow] Teach `AnalysisASTVisitor` that `typeid()` can be evaluated...martinboehme1-0/+43
2024-06-21[clang][dataflow] Add a callback run on the pre-transfer state. (#96140)martinboehme2-41/+72
2024-06-20[Clang] [Sema] Diagnose unknown std::initializer_list layout in SemaInit (#95...Mital Ashok2-1/+2
2024-06-11[clang][nullability] Don't return null fields from `getReferencedDecls()`. (#...martinboehme2-0/+89
2024-06-11[clang][dataflow] Handle `AtomicExpr` in `ResultObjectVisitor`. (#94963)martinboehme1-0/+26
2024-06-04[clang][dataflow] Propagate storage location of compound assignment operators...martinboehme1-0/+20
2024-06-04[clang][nullability] Propagate storage location / value of `++`/`--` operator...martinboehme1-0/+36
2024-05-15[clang][dataflow] Fully support Environment construction for Stmt analysis. (...Samira Bazuzi3-2/+67
2024-05-14[Clang][Sema] Fix malformed AST for anonymous class access in template. (#90842)martinboehme1-0/+35
2024-05-10Fix a warning for #91455 [-Wc++20-extensions]NAKAMURA Takumi1-1/+1
2024-05-08[clang][dataflow] Make `SolverTest` a type-parameterized test. (#91455)martinboehme3-73/+121
2024-05-07[clang][dataflow] Strengthen pointer comparison. (#75170)martinboehme1-0/+88
2024-05-06[clang][dataflow] Don't propagate result objects in unevaluated contexts (rel...martinboehme1-0/+54