aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/Analysis
AgeCommit message (Expand)AuthorFilesLines
2024-01-24[clang][dataflow] Eliminate two uses of `RecordValue::getLoc()`. (#79163)martinboehme1-2/+2
2024-01-23[clang][dataflow] Process terminator condition within `transferCFGBlock()`. (...martinboehme2-24/+42
2024-01-22[clang][dataflow] Make cap on block visits configurable by caller. (#77481)Yitzhak Mandelbaum1-17/+11
2024-01-22[clang-tidy] fix misc-const-correctnes false-positive for fold expressions (#...Julian Schmidt1-0/+4
2024-01-22[-Wunsafe-buffer-usage] Fix the crash introduced by the unsafe invocation of ...Malavika Samak1-2/+3
2024-01-22[clang][dataflow] Treat comma operator correctly in `getResultObjectLocation(...martinboehme1-2/+7
2024-01-22[Analysis] Use StringRef::ends_with_insensitive (NFC)Kazu Hirata1-1/+1
2024-01-18[clang][dataflow] Consider `CXXDefaultInitExpr` to be an "original record cto...martinboehme1-0/+1
2024-01-18[clang][dataflow] Use `Formula::isLiteral()` in a couple more places. (#78404)martinboehme1-2/+2
2024-01-16[clang][dataflow] Fix bug in `Value` comparison. (#76746)Yitzhak Mandelbaum1-3/+11
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)martinboehme3-4/+4
2024-01-16[clang-tidy] Handle C++ structured bindings in `performance-for-range-copy` (...Clement Courbet1-3/+10
2024-01-16[clang][dataflow] Add an early-out to `flowConditionImplies()` / `flowConditi...martinboehme1-0/+6
2024-01-12Revert "[clang][dataflow] Remove unused private field 'StmtToEnv' (NFC)"Jie Fu1-1/+2
2024-01-12Revert "[clang][dataflow] Process terminator condition within `transferCFGBlo...martinboehme1-30/+12
2024-01-12[clang][dataflow] Remove unused private field 'StmtToEnv' (NFC)Jie Fu1-2/+1
2024-01-12[clang][dataflow] Process terminator condition within `transferCFGBlock()`. (...martinboehme1-12/+30
2024-01-10Revert "[clang][dataflow] Add an early-out to `flowConditionImplies()` / `flo...martinboehme1-6/+0
2024-01-09[clang][dataflow] Add an early-out to `flowConditionImplies()` / `flowConditi...martinboehme1-0/+6
2024-01-09[clang-tidy] Improve performance of misc-const-correctness (#72705)Piotr Zegar1-164/+191
2024-01-08[Analysis] Use StringRef::rtrim (NFC)Kazu Hirata1-6/+1
2024-01-02[-Wunsafe-buffer-usage] Warning for unsafe invocation of span::data (#75650)Malavika Samak1-4/+34
2023-12-21[clang][dataflow] Disallow setting properties on `RecordValue`s. (#76042)martinboehme1-32/+1
2023-12-21[clang][dataflow] Add `Environment::get<>()`. (#76027)martinboehme5-40/+28
2023-12-18[clang][dataflow] Fix an issue with `Environment::getResultObjectLocation()`....martinboehme2-22/+66
2023-12-13[clang] Use StringRef::{starts,ends}_with (NFC) (#75149)Kazu Hirata6-18/+17
2023-12-12[NFC][CLANG] Fix static analyzer bugs about large copy by values (#75060)smanna121-1/+1
2023-12-11[-Wunsafe-buffer-usage] Add FixableGadget for AddAssign in UnspecifiedUntyped...Rashmi Mudduluru1-6/+93
2023-12-08[RISCV] Remove Type::isRVVType() and replace with isRVVSizelessBuiltinType()....Craig Topper1-1/+1
2023-12-08Thread safety analysis: Fix a bug in handling temporary constructors (#74020)Ziqing Luo1-13/+13
2023-12-08[FlowSensitive] Fix warningsKazu Hirata1-1/+1
2023-12-08Work around an ICE in MSVC; NFCAaron Ballman1-1/+2
2023-12-05[clang][dataflow] Re-land: Retrieve members from accessors called usi… (#74...Samira Bazuzi1-2/+5
2023-12-04Revert "[clang][dataflow] Retrieve members from accessors called using member...martinboehme1-5/+2
2023-12-04[clang][dataflow] Retrieve members from accessors called using member… (#73...Samira Bazuzi1-2/+5
2023-12-04[clang][dataflow] Add synthetic fields to `RecordStorageLocation` (#73860)martinboehme7-340/+260
2023-11-27[clang][dataflow] Strengthen widening of boolean values. (#73484)martinboehme1-4/+17
2023-11-22[clang][dataflow] Clear `ExprToLoc` and `ExprToVal` at the start of a block. ...martinboehme3-33/+39
2023-11-14[clang-tidy] fix match for binaryOperator in ExprMutationAnalyzer for misc-co...Julian Schmidt1-3/+3
2023-11-09[clang][dataflow] Fix buggy assertion: Compare an unqualified type to an unqu...Samira Bazuzi1-3/+3
2023-11-08Fix MSVC "not all control paths return a value" warning. NFC.Simon Pilgrim1-0/+1
2023-11-08[clang][dataflow] Expand debug dumping of `Value`s. (#71527)martinboehme1-7/+12
2023-11-08[clang][dataflow] Replace one remaining call to deprecated `addToFlowConditio...martinboehme1-1/+1
2023-11-07Silence diagnostics about not all control paths returning a value; NFCAaron Ballman1-0/+1
2023-11-07[clang][dataflow] Fix -Wrange-loop-construct in DataflowAnalysisContext.cpp (...Jie Fu1-1/+1
2023-11-07[clang][dataflow] Simplify flow conditions displayed in HTMLLogger. (#70848)martinboehme4-2/+220
2023-11-07[clang][dataflow] Fix assert-fail when calling assignment operator with by-va...martinboehme1-2/+8
2023-10-30[clang][nullability] Use `proves()` and `assume()` instead of deprecated syno...martinboehme4-19/+16
2023-10-25[clang][dataflow] Add `Environment::allows()`. (#70046)martinboehme2-8/+21
generated by cgit v1.1 at 2024-09-07 08:05:16 +0000