aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp
AgeCommit message (Expand)AuthorFilesLines
2025-08-01[Analyzer] No longer crash with VLA operands to unary type traits (#151719)Aaron Ballman1-1/+2
2025-07-18[analyzer] Support parenthesized list initialization (CXXParenListInitExpr) (...Oleksandr T.1-48/+0
2025-05-27[analyzer] Introduce the check::BlockEntrance checker callback (#140924)Balázs Benics1-3/+3
2025-05-13[analyzer] Fix crashing __builtin_bit_cast (#139188)Ziqing Luo1-11/+43
2025-05-12Reland [Clang][analyzer] replace Stmt* with ConstCFGElement in SymbolConjured...Fangyi Zhou1-24/+29
2025-04-25Revert "[Clang][analyzer] replace Stmt* with ConstCFGElementRef in SymbolConj...Balazs Benics1-29/+24
2025-04-25[Clang][analyzer] Replace Stmt* with ConstCFGElementRef in SymbolConjured (#1...Fangyi Zhou1-24/+29
2025-03-06Reapply "[analyzer] Handle [[assume(cond)]] as __builtin_assume(cond)" (#129234)Balazs Benics1-3/+3
2025-02-14[HLSL] Implement HLSL Aggregate splatting (#118992)Sarah Spall1-0/+1
2025-02-07[HLSL] Implement HLSL Elementwise casting (excluding splat cases); Re-land #1...Sarah Spall1-0/+1
2025-02-06Revert "[HLSL] Implement HLSL Flat casting (excluding splat cases)" (#126149)Sarah Spall1-1/+0
2025-02-06[HLSL] Implement HLSL Flat casting (excluding splat cases) (#118842)Sarah Spall1-0/+1
2024-12-19Revert "[analyzer] Handle [[assume(cond)]] as __builtin_assume(cond) (#116462)"Thurston Dang1-4/+3
2024-12-19[analyzer] Handle [[assume(cond)]] as __builtin_assume(cond) (#116462)Vinay Deshmukh1-3/+4
2024-04-01[HLSL] Implement array temporary support (#79382)Chris B1-1/+2
2024-02-15[HLSL] Vector standard conversions (#71098)Chris B1-1/+2
2023-09-15Reapply [analyzer] Simplify SVal for simple NonLoc->Loc castsdingfei1-1/+2
2023-09-15Revert "[analyzer] Simplify SVal for simple NonLoc->Loc casts (#66463)"Balazs Benics1-2/+1
2023-09-15[analyzer] Simplify SVal for simple NonLoc->Loc casts (#66463)Ding Fei1-1/+2
2023-07-05[analyzer][NFC] Move away from using raw-for loops inside StaticAnalyzerBalazs Benics1-63/+48
2023-01-14[clang] Use std::optional instead of llvm::Optional (NFC)Kazu Hirata1-13/+12
2023-01-14[clang] Add #include <optional> (NFC)Kazu Hirata1-0/+1
2022-08-08[clang] LLVM_FALLTHROUGH => [[fallthrough]]. NFCFangrui Song1-2/+2
2022-06-15[analyzer][NFC] Prefer using isa<> instead getAs<> in conditionsBalazs Benics1-3/+2
2022-05-27[analyzer][NFC] Inline ExprEngine::evalMinusBalazs Benics1-3/+5
2022-05-27[analyzer][NFC] Inline ExprEngine::evalComplementBalazs Benics1-1/+2
2022-03-22[analyzer] Refactor makeNull to makeNullWithWidth (NFC)Vince Bridgers1-2/+3
2022-01-18[analyzer] Produce SymbolCast symbols for integral types in SValBuilder::eval...Denys Petrov1-1/+4
2021-12-17[analyzer][NFC] Change return value of StoreManager::attemptDownCast function...Denys Petrov1-12/+12
2021-11-17[clang] Use range-based for loops with llvm::reverse (NFC)Kazu Hirata1-3/+2
2021-10-20[analyzer][NFC] Refactor llvm::isa<> usages in the StaticAnalyzerBalazs Benics1-3/+2
2021-07-01[analyzer][NFC] Inline ExprEngine::handleLVectorSplat()Balazs Benics1-23/+10
2021-07-01[analyzer] LValueToRValueBitCasts should evaluate to an r-valueBalazs Benics1-2/+3
2021-04-10[Matrix] Implement C-style explicit type conversions for matrix types.Saurabh Jha1-0/+4
2021-02-15[analyzer] Fix static_cast on pointer-to-member handlingDeep Majumder1-4/+3
2020-10-13[Fixed Point] Add fixed-point to floating point cast types and consteval.Bevin Hansson1-0/+2
2020-08-13[analyzer] Fix crash with pointer to members valuesValeriy Savchenko1-2/+3
2020-06-09[Analyzer] [NFC] Parameter RegionsAdam Balogh1-1/+1
2020-05-14[Analyzer][VLASizeChecker] Check VLA size in typedef and sizeof.Balázs Kéri1-0/+12
2019-12-11[analyzer] Escape symbols conjured into specific regions during a conservativ...Gabor Horvath1-3/+3
2019-08-28[analyzer] Fix analyzer warnings on analyzer.Artem Dergachev1-2/+1
2019-07-02[C++2a] Add __builtin_bit_cast, used to implement std::bit_castErik Pilkington1-0/+1
2019-06-25[analyzer] ExprEngine: Escape pointers in bitwise operationsCsaba Dabis1-0/+4
2019-06-14PR23833, DR2140: an lvalue-to-rvalue conversion on a glvalue of typeRichard Smith1-1/+6
2019-06-14Revert 363295, it caused PR42276. Also revert follow-ups 363337, 363340.Nico Weber1-6/+1
2019-06-13PR23833, DR2140: an lvalue-to-rvalue conversion on a glvalue of typeRichard Smith1-1/+6
2019-03-29[analyzer] PR37501: Disable assertion for logical op short circuit evaluation.Artem Dergachev1-2/+27
2019-03-26[CFG] [analyzer] pr41142: C++17: Skip transparent InitListExprs in ExprEngine.Artem Dergachev1-1/+1
2019-03-06[Fixed Point Arithmetic] Fixed Point and Integer ConversionsLeonard Chan1-1/+3
2019-01-19Update the file headers across all of the LLVM projects in the monorepoChandler Carruth1-4/+3
generated by cgit v1.1 at 2025-09-30 13:58:14 +0000