summaryrefslogtreecommitdiff
path: root/clang/lib/Analysis/FlowSensitive/Transfer.cpp
AgeCommit message (Expand)Author
2025-09-24[clang][dataflow] Copy records relative to the destination type for c… (#16...Samira Bakon
2025-09-09Reland [clang][dataflow] Transfer more cast expressions. (#157535)Samira Bakon
2025-09-05Revert "[clang][dataflow] Transfer more cast expressions." (#157148)Samira Bakon
2025-08-27[clang] NFC: reintroduce clang/include/clang/AST/Type.h (#155050)Matheus Izvekov
2025-08-27[clang] NFC: rename clang/include/clang/AST/Type.h to TypeBase.h (#155049)Matheus Izvekov
2025-08-20[clang][dataflow] Transfer more cast expressions. (#153066)Samira Bakon
2025-05-31[Analysis] Remove unused includes (NFC) (#142255)Kazu Hirata
2025-03-26Reland [clang][dataflow] Fix unsupported types always being equal (#131575)Discookie
2025-03-04Revert "[clang][dataflow] Fix unsupported types always being equal" (#129761)Jan Voung
2025-03-04[clang][dataflow] Fix unsupported types always being equal (#129502)Discookie
2024-07-29[clang][dataflow] Fix bug in `buildContainsExprConsumedInDifferentBlock()`. (...martinboehme
2024-06-26[clang][nullability] Improve modeling of `++`/`--` operators. (#96601)martinboehme
2024-06-04[clang][dataflow] Propagate storage location of compound assignment operators...martinboehme
2024-06-04[clang][nullability] Propagate storage location / value of `++`/`--` operator...martinboehme
2024-05-07[clang][dataflow] Strengthen pointer comparison. (#75170)martinboehme
2024-05-06[clang][dataflow] Fix crash when `operator=` result type is not destination t...martinboehme
2024-04-26[clang][dataflow] Fix crash when `ConstantExpr` is used in conditional operat...martinboehme
2024-04-23Reapply "[clang][dataflow] Model conditional operator correctly." with fixes ...martinboehme
2024-04-22Revert "[clang][dataflow] Model conditional operator correctly." (#89577)martinboehme
2024-04-22[clang][dataflow] Model conditional operator correctly. (#89213)martinboehme
2024-04-19[clang][nullability] Remove `RecordValue`. (#89052)martinboehme
2024-04-16[clang][dataflow] Expose getReferencedDecls and relocate free functions. (#88...Samira Bazuzi
2024-04-11[clang][dataflow] Reland #87320: Propagate locations from result objects to i...martinboehme
2024-04-10Revert "[clang][dataflow] Propagate locations from result objects to initiali...martinboehme
2024-04-10[clang][dataflow] Propagate locations from result objects to initializers. (#...martinboehme
2024-03-28[clang][dataflow] Introduce a helper class for handling record initializer li...martinboehme
2024-03-19[clang][dataflow] Model assignment to derived class from base. (#85064)martinboehme
2024-03-19[clang][dataflow][NFC] Rename `ControlFlowContext` to `AdornedCFG`. (#85640)martinboehme
2024-03-18[clang][dataflow] Fix `getResultObjectLocation()` on `CXXDefaultArgExpr`. (#8...martinboehme
2024-03-01[clang][dataflow] Correctly treat empty initializer lists for unions. (#82986)martinboehme
2024-02-26[clang][dataflow] Skip array types when handling InitListExprs. (#83013)Samira Bazuzi
2024-02-26Revert "[clang][dataflow] Correctly handle `InitListExpr` of union type." (#8...Samira Bazuzi
2024-02-21[clang][dataflow] Correctly handle `InitListExpr` of union type. (#82348)martinboehme
2024-02-20[clang][dataflow][NFC] Add a FIXME to handling of union initialization. (#82239)martinboehme
2024-02-15[clang][dataflow] Fix crash on unions introduced in ba279934c6ab09d5394a89d83...Yitzhak Mandelbaum
2024-02-15[dataflow] Fix crash when InitListExpr is not a prvalue (#80970)Paul Semel
2024-02-13[dataflow] CXXOperatorCallExpr equal operator might not be a glvalue (#80991)Paul Semel
2024-02-08[clang][dataflow] Add support for `CXXRewrittenBinaryOperator`. (#81086)martinboehme
2024-01-31[clang][dataflow] fix assert in `Environment::getResultObjectLocation` (#79608)Paul Semel
2024-01-23[clang][dataflow] Process terminator condition within `transferCFGBlock()`. (...martinboehme
2023-12-21[clang][dataflow] Add `Environment::get<>()`. (#76027)martinboehme
2023-12-18[clang][dataflow] Fix an issue with `Environment::getResultObjectLocation()`....martinboehme
2023-12-04[clang][dataflow] Add synthetic fields to `RecordStorageLocation` (#73860)martinboehme
2023-11-22[clang][dataflow] Clear `ExprToLoc` and `ExprToVal` at the start of a block. ...martinboehme
2023-11-09[clang][dataflow] Fix buggy assertion: Compare an unqualified type to an unqu...Samira Bazuzi
2023-11-07[clang][dataflow] Fix assert-fail when calling assignment operator with by-va...martinboehme
2023-10-02[C++] Implement "Deducing this" (P0847R7)Corentin Jabot
2023-09-27[clang][dataflow] Remove buggy assertion. (#67311)martinboehme
2023-09-26[clang][dataflow] Avoid putting an assertion in an `LLVM_DEBUG` block. (#67313)martinboehme
2023-09-19[clang][dataflow] Reorder checks to protect against a null pointer dereferenc...martinboehme