aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp
AgeCommit message (Expand)AuthorFilesLines
2025-05-31[Analysis] Remove unused includes (NFC) (#142255)Kazu Hirata1-3/+0
2024-11-26[clang][analysis][NFC]add static for internal linkage function (#117481)Congcong Cai1-6/+8
2024-11-15[Clang] [NFC] Refactor AST visitors in Sema and the static analyser to use Dy...Sirraide1-7/+7
2024-07-26[clang][dataflow] Handle CXXInheritedCtorInitExpr in ResultObjectVisitor. (#9...Pasquale Riello1-1/+1
2024-07-22[clang][dataflow] Handle this-capturing lambdas in field initializers. (#99519)Samira Bazuzi1-6/+15
2024-07-13[clang][dataflow]Propagate the result object location for CXXDefaultInitExpr....Samira Bazuzi1-2/+8
2024-06-11[clang][dataflow] Handle `AtomicExpr` in `ResultObjectVisitor`. (#94963)martinboehme1-1/+1
2024-06-03[clang][dataflow] Rewrite `getReferencedDecls()` with a `RecursiveASTVisitor`...martinboehme1-36/+1
2024-05-15[clang][dataflow] Fully support Environment construction for Stmt analysis. (...Samira Bazuzi1-50/+57
2024-05-06[clang][dataflow] Don't propagate result objects in unevaluated contexts (rel...martinboehme1-0/+11
2024-05-02Revert "[clang][dataflow] Don't propagate result objects in unevaluated conte...Weaver1-11/+0
2024-05-02[clang][dataflow] Don't propagate result objects in unevaluated contexts (#90...martinboehme1-0/+11
2024-04-25[clang][dataflow] Crash fix for `widenDistinctValues()`. (#89895)martinboehme1-4/+9
2024-04-25[clang][dataflow] Don't propagate result objects in nested declarations. (#89...martinboehme1-0/+12
2024-04-23Reapply "[clang][dataflow] Model conditional operator correctly." with fixes ...martinboehme1-22/+24
2024-04-22Revert "[clang][dataflow] Model conditional operator correctly." (#89577)martinboehme1-24/+22
2024-04-22[clang][dataflow] Model conditional operator correctly. (#89213)martinboehme1-22/+24
2024-04-19[clang][dataflow][NFC] Fix code formatting in DataflowEnvironment.cpp (#89352)martinboehme1-8/+6
2024-04-19[clang][nullability] Remove `RecordValue`. (#89052)martinboehme1-72/+26
2024-04-19[clang][dataflow] Support `CXXParenListInitExpr` in `PropagateResultObject()`...martinboehme1-19/+29
2024-04-18Revert "[clang][dataflow] Refactor `PropagateResultObject()` with a switch st...martinboehme1-50/+36
2024-04-18[clang][dataflow] Refactor `PropagateResultObject()` with a switch statement....martinboehme1-36/+50
2024-04-17[clang][dataflow] Treat `BuiltinBitCastExpr` correctly in `PropagateResultObj...martinboehme1-1/+5
2024-04-17[clang][dataflow] Support `StmtExpr` in `PropagateResultObject()`. (#88872)martinboehme1-0/+5
2024-04-16[clang][dataflow] Expose getReferencedDecls and relocate free functions. (#88...Samira Bazuzi1-172/+5
2024-04-16[clang][dataflow] Fix result object location for builtin `<=>`. (#88726)martinboehme1-0/+5
2024-04-11[clang][dataflow] Reland #87320: Propagate locations from result objects to i...martinboehme1-120/+307
2024-04-10Revert "[clang][dataflow] Propagate locations from result objects to initiali...martinboehme1-307/+98
2024-04-10[clang][dataflow] Propagate locations from result objects to initializers. (#...martinboehme1-98/+307
2024-04-07Fix warnings discovered by #87348 [-Wunused-but-set-variable]NAKAMURA Takumi1-0/+1
2024-04-04[clang][dataflow] Refactor `widen` API to be explicit about change effect. (#...Yitzhak Mandelbaum1-24/+25
2024-03-28[clang][dataflow] Introduce a helper class for handling record initializer li...martinboehme1-0/+36
2024-03-26[NFC][CLANG] Fix static analyzer bugs about unnecessary object copies with au...smanna121-1/+1
2024-03-18[clang][dataflow] Fix `getResultObjectLocation()` on `CXXDefaultArgExpr`. (#8...martinboehme1-0/+1
2024-03-08[clang][dataflow] When analyzing ctors, don't initialize fields of `*this` wi...martinboehme1-2/+19
2024-03-07[clang][nullability] Don't discard expression state before end of full-expres...martinboehme1-4/+24
2024-03-01[clang][dataflow] Correctly treat empty initializer lists for unions. (#82986)martinboehme1-5/+20
2024-02-26Revert "[clang][dataflow] Correctly handle `InitListExpr` of union type." (#8...Samira Bazuzi1-14/+4
2024-02-21[clang][dataflow] Correctly handle `InitListExpr` of union type. (#82348)martinboehme1-4/+14
2024-02-13[clang][Dataflow] Fix unnecessary copy in `initializeFieldsWithValues` (NFC)Antonio Frighetto1-1/+1
2024-02-13[clang][dataflow] Add `Environment::initializeFieldsWithValues()`. (#81239)martinboehme1-27/+47
2024-02-06[clang][dataflow] Add new `join` API and replace existing `merge` implementat...Yitzhak Mandelbaum1-31/+28
2024-01-31[clang][dataflow] Extend debug output for `Environment`. (#79982)martinboehme1-6/+30
2024-01-24[clang][dataflow] Eliminate two uses of `RecordValue::getLoc()`. (#79163)martinboehme1-2/+2
2024-01-22[clang][dataflow] Treat comma operator correctly in `getResultObjectLocation(...martinboehme1-2/+7
2024-01-18[clang][dataflow] Consider `CXXDefaultInitExpr` to be an "original record cto...martinboehme1-0/+1
2024-01-16[clang][dataflow] Use `ignoreCFGOmittedNodes()` in `setValue()`. (#78245)martinboehme1-4/+6
2024-01-16[clang][dataflow] Tighten checking for existence of a function body. (#78163)martinboehme1-2/+2
2023-12-21[clang][dataflow] Add `Environment::get<>()`. (#76027)martinboehme1-6/+5
2023-12-18[clang][dataflow] Fix an issue with `Environment::getResultObjectLocation()`....martinboehme1-21/+58
generated by cgit v1.1 at 2025-07-28 10:54:04 +0000