Skip to content

Fix/self analysis false positives and reorder init#56

Merged
SizzleUnrlsd merged 68 commits intomainfrom
fix/self-analysis-false-positives-and-reorder-init
Mar 9, 2026
Merged

Fix/self analysis false positives and reorder init#56
SizzleUnrlsd merged 68 commits intomainfrom
fix/self-analysis-false-positives-and-reorder-init

Conversation

@SizzleUnrlsd
Copy link
Contributor

No description provided.

llvm::DenseSet<const llvm::Value*>& visited,
bool& foundStoreToSameSlot)
{
if (!visited.insert(&node).second)

Check notice

Code scanning / coretrace-stack-analyzer

None Note

[ !Info! ] recursive or mutually recursive function detected
@SizzleUnrlsd SizzleUnrlsd merged commit 1f9fa88 into main Mar 9, 2026
11 checks passed
@SizzleUnrlsd SizzleUnrlsd deleted the fix/self-analysis-false-positives-and-reorder-init branch March 9, 2026 14:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Stabilize self-analysis: fix false positives, bitfield handling, and warning hygiene (LLVM/SMT)

1 participant