aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp
AgeCommit message (Expand)AuthorFilesLines
2025-09-11[analyzer] Revert #115918, so empty base class optimization works again (#157...Balazs Benics1-13/+22
2025-08-08[analyzer][NFCi] Pass if bind is to a Decl or not to checkBind (#152137)Endre Fülöp1-1/+1
2025-08-01[static analyzer] Fix crash on parenthesized expression in assume attribute (...Iris Shi1-1/+1
2025-05-12Reland [Clang][analyzer] replace Stmt* with ConstCFGElement in SymbolConjured...Fangyi Zhou1-6/+7
2025-05-07Re-land "[analyzer] Make it a noop when initializing a field of empty record"...Ziqing Luo1-1/+7
2025-05-07Revert "[analyzer] Make it a noop when initializing a field of empty record" ...Balazs Benics1-6/+1
2025-05-07[analyzer] Make it a noop when initializing a field of empty record (#138594)Ziqing Luo1-1/+6
2025-04-25Revert "[Clang][analyzer] replace Stmt* with ConstCFGElementRef in SymbolConj...Balazs Benics1-7/+6
2025-04-25[Clang][analyzer] Replace Stmt* with ConstCFGElementRef in SymbolConjured (#1...Fangyi Zhou1-6/+7
2025-04-20[clang][analyzer] Handle CXXParenInitListExpr alongside InitListExpr (#136041)Fangyi Zhou1-4/+6
2025-03-06Reapply "[analyzer] Handle [[assume(cond)]] as __builtin_assume(cond)" (#129234)Balazs Benics1-1/+19
2025-03-04[analyzer] performTrivialCopy triggers checkLocation before binding (#129016)T-Gruber1-2/+8
2024-12-19Revert "[analyzer] Handle [[assume(cond)]] as __builtin_assume(cond) (#116462)"Thurston Dang1-18/+0
2024-12-19[analyzer] Handle [[assume(cond)]] as __builtin_assume(cond) (#116462)Vinay Deshmukh1-0/+18
2024-11-15[StaticAnalyzer] Fix -Wunused-but-set-variable in ExprEngineCXX.cpp (NFC)Jie Fu1-1/+1
2024-11-15[analyzer] Trigger copy event when copying empty structs (3/4) (#115918)Balazs Benics1-17/+9
2024-10-26[analyzer] Fix a crash from element region construction during `ArrayInitLoop...isuckatcs1-57/+12
2024-04-12Fix typos (#88565)Victor Toni1-1/+1
2023-11-05[clang][NFC] Refactor `CXXConstructExpr::ConstructionKind`Vlad Serebrennikov1-9/+9
2023-07-18[analyzer] Bind return value for assigment and copies of trivial empty classesTomasz Kamiński1-18/+18
2023-07-05[analyzer][NFC] Move away from using raw-for loops inside StaticAnalyzerBalazs Benics1-26/+17
2023-07-05[analyzer] Differentiate lifetime extended temporariesTomasz Kamiński1-6/+12
2023-03-04[analyzer] Remove the loop from the exploded graph caused by missing informat...isuckatcs1-12/+15
2023-01-14[clang] Use std::optional instead of llvm::Optional (NFC)Kazu Hirata1-16/+16
2023-01-14[clang] Add #include <optional> (NFC)Kazu Hirata1-0/+1
2022-12-03[StaticAnalyzer] Use std::nullopt instead of None (NFC)Kazu Hirata1-3/+3
2022-10-26[analyzer] Initialize regions returned by CXXNew to undefinedKristóf Umann1-3/+9
2022-09-26[analyzer] Pass correct bldrCtx to computeObjectUnderConstructionTomasz Kamiński1-8/+17
2022-08-25[analyzer] Fix for incorrect handling of 0 length non-POD array constructionisuckatcs1-0/+31
2022-08-24[analyzer] Process non-POD array element destructorsisuckatcs1-5/+6
2022-08-22[analyzer] Handling non-POD multidimensional arrays in ArrayInitLoopExprisuckatcs1-5/+22
2022-08-22[analyzer] Remove pattern matching of lambda capture initializersisuckatcs1-17/+6
2022-08-13[analyzer] Fix a crash on copy elided initialized lambda capturesisuckatcs1-2/+9
2022-08-08[clang] LLVM_FALLTHROUGH => [[fallthrough]]. NFCFangrui Song1-4/+4
2022-07-26[clang][analyzer][NFC] Use value_or instead of ValueOrDavid Spickett1-1/+1
2022-07-26[analyzer] Lambda capture non-POD type arrayisuckatcs1-2/+51
2022-07-26[analyzer] ArrayInitLoopExpr with array of non-POD typeisuckatcs1-2/+69
2022-07-25Use isa instead of dyn_cast (NFC)Kazu Hirata1-1/+1
2022-07-15Modernize Optional::{getValueOr,hasValue}Fangrui Song1-1/+1
2022-07-14[analyzer] Evaluate construction of non-POD type arraysisuckatcs1-22/+55
2022-05-09[analyzer] Inline operator delete when MayInlineCXXAllocator is set.Fred Tingaud1-1/+10
2022-03-02[clang] ExprEngine::VisitCXXNewExpr - remove superfluous nullptr testsSimon Pilgrim1-8/+5
2021-11-14[clang] Use isa instead of dyn_cast (NFC)Kazu Hirata1-1/+1
2020-09-25[Analyzer] Fix unused variable warning in Release buildsBenjamin Kramer1-2/+1
2020-09-25[Analyzer] Fix for `ExprEngine::computeObjectUnderConstruction()` for base an...Adam Balogh1-1/+16
2020-08-19[Analysis] Bug fix for exploded graph branching in evalCall for constructorNithin Vadukkumchery Rajendrakumar1-2/+4
2020-06-25[analyzer] Enable constructor support in evalCall event.Nithin Vadukkumchery Rajendrakumar1-1/+2
2020-06-09[Analyzer] [NFC] Parameter RegionsAdam Balogh1-3/+3
2020-06-09[Analyzer] Add `getReturnValueUnderConstruction()` to `CallEvent`Adam Balogh1-83/+133
2020-05-20[analyzer][NFC] Merge checkNewAllocator's paramaters into CXXAllocatorCallKirstóf Umann1-9/+8