date:20250113

[llvm-bugs] [Bug 122691] Crash at -O2: Assertion `isa(Val) && "cast() argument of incompatible type!"' failed.

2025-01-13 Thread LLVM Bugs via llvm-bugs



Issue

122691




Summary

Crash at -O2: Assertion `isa(Val) && "cast() argument of incompatible type!"' failed.




  Labels
  
crash-on-valid,
llvm:transforms
  



  Assignees
  
dtcxzyw
  



  Reporter
  
  dtcxzyw
  




Reproducer: https://godbolt.org/z/68MKbnE4W
```
; bin/opt -O2 reduced.ll -S
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

@g_3 = internal unnamed_addr global i64 0
@g_127 = external local_unnamed_addr global [3 x i32]
@g_211 = external local_unnamed_addr global i32

define i8 @func_125() {
entry:
 %call42 = call ptr @func_178()
  ret i8 0
}

define ptr @func_178() {
entry:
  %0 = load i32, ptr @g_211, align 4
  %tobool158.not = icmp eq i32 %0, 0
  br i1 %tobool158.not, label %for.inc434, label %for.cond166.preheader

for.cond166.preheader:; preds = %entry
  br label %for.cond166

for.cond166: ; preds = %for.cond166.preheader, %for.cond166
  %1 = phi i64 [ %2, %for.cond166 ], [ poison, %for.cond166.preheader ]
  %2 = phi i64 [ %inc255, %for.cond166 ], [ 0, %for.cond166.preheader ]
  %cmp167 = icmp samesign ult i64 %2, 61
  %inc255 = add nuw nsw i64 %2, 1
  br i1 %cmp167, label %for.cond166, label %for.inc434.loopexit

for.inc434.loopexit: ; preds = %for.cond166
  %.lcssa = phi i64 [ %1, %for.cond166 ]
  store i64 %.lcssa, ptr @g_3, align 8
  br label %for.inc434

for.inc434:   ; preds = %for.inc434.loopexit, %entry
  store i32 1, ptr @g_211, align 4
  %3 = load i64, ptr @g_3, align 8
  %conv.i = trunc nuw nsw i64 %3 to i32
  %4 = load i32, ptr @g_127, align 4
  %and.i = and i32 %4, %conv.i
  %cmp.i = icmp eq i32 %and.i, 0
  %conv8.i = sext i32 %and.i to i64
  %sext = shl i64 %3, 32
  %conv9.i = ashr exact i64 %sext, 32
  %g_211.promoted5 = load i32, ptr @g_211, align 4
  br label %for.body447

for.body447: ; preds = %for.inc434, %cleanup552
  %p_181.addr.08 = phi i64 [ -13, %for.inc434 ], [ %conv564, %cleanup552 ]
  %and14.i1.lcssa67 = phi i32 [ %g_211.promoted5, %for.inc434 ], [ %and14.i.lcssa, %cleanup552 ]
 br label %if.then489

if.then489:   ; preds = %for.body447, %safe_div_func_int64_t_s_s.exit
  %l_317.03 = phi i32 [ 2, %for.body447 ], [ %sub, %safe_div_func_int64_t_s_s.exit ]
  %and14.i12 = phi i32 [ %and14.i1.lcssa67, %for.body447 ], [ %and14.i, %safe_div_func_int64_t_s_s.exit ]
  br i1 %cmp.i, label %safe_div_func_int64_t_s_s.exit, label %lor.lhs.false.i

lor.lhs.false.i: ; preds = %if.then489
  %div.i = sdiv i64 %conv8.i, %conv9.i
  %5 = trunc i64 %div.i to i16
  br label %safe_div_func_int64_t_s_s.exit

safe_div_func_int64_t_s_s.exit: ; preds = %lor.lhs.false.i, %if.then489
  %cond.i = phi i16 [ %5, %lor.lhs.false.i ], [ 0, %if.then489 ]
  %call12.i = tail call i16 @llvm.bswap.i16(i16 %cond.i)
  %conv13.i = zext i16 %call12.i to i32
 %and14.i = and i32 %and14.i12, %conv13.i
  %call26.i = load volatile ptr, ptr null, align 8
  %sub = add nsw i32 %l_317.03, -1
  %cmp482 = icmp sgt i32 %l_317.03, 0
  br i1 %cmp482, label %if.then489, label %cleanup552

cleanup552:   ; preds = %safe_div_func_int64_t_s_s.exit
  %and14.i.lcssa = phi i32 [ %and14.i, %safe_div_func_int64_t_s_s.exit ]
  %add.i = add nsw i64 %p_181.addr.08, 7
 %conv564 = and i64 %add.i, 255
  %6 = and i64 %p_181.addr.08, 255
 %cmp445.not = icmp eq i64 %6, 22
  br i1 %cmp445.not, label %for.end565, label %for.body447

for.end565:   ; preds = %cleanup552
  %and14.i.lcssa.lcssa = phi i32 [ %and14.i.lcssa, %cleanup552 ]
  store i32 %conv.i, ptr getelementptr inbounds nuw (i8, ptr @g_127, i64 8), align 4
  store i32 %and14.i.lcssa.lcssa, ptr @g_211, align 4
  ret ptr null
}

define ptr @func_183(i64 %p_185) {
entry:
  %call = call i64 @builtin_uaddl_overflow(i64 %p_185, i64 0)
 unreachable
}

define i64 @builtin_uaddl_overflow(i64 %x, i64 %y) {
entry:
  %0 = call { i64, i1 } @llvm.uadd.with.overflow.i64(i64 %x, i64 %y)
  %1 = extractvalue { i64, i1 } %0, 1
  %conv = zext i1 %1 to i64
 ret i64 %conv
}
```
```
opt: /root/llvm-project/llvm/include/llvm/Support/Casting.h:578: decltype(auto) llvm::cast(From*) [with To = llvm::Instruction; From = llvm::Value]: Assertion `isa(Val) && "cast() argument of incompatible type!"' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.	Program arguments: /opt/compiler-explorer/clang-assertions-trunk/bin/opt -o /app/output.s -S -O2 
1.	Running pass "function(float2int,lower-constant-intrinsics,loop(loop-rotate,loop-deletion),loop-distribute,inject-tli-mappings,loop-vectorize,infer-alignment,loop-load-elim,instcombine,simplifycfg,slp-vectorizer,vector-

[llvm-bugs] [Bug 122690] Clang-format 19 regression from 18

2025-01-13 Thread LLVM Bugs via llvm-bugs



Issue

122690




Summary

Clang-format 19 regression from 18




  Labels
  
clang-format
  



  Assignees
  
  



  Reporter
  
  sgh
  




Clang-format 19 generates this :

struct DLL_PUBLIC SomeClas{SomeClass(){}};

however if I remove DLL_PUBLIC I get this:

struct SomeClas {
	SomeClass() {}
};


This is my clang-format

---
Language:Cpp
# BasedOnStyle:  Google
AccessModifierOffset: -4
AlignAfterOpenBracket: Align
AlignArrayOfStructures: Left
AlignConsecutiveAssignments:
  Enabled: false
  AcrossEmptyLines: false
  AcrossComments:  false
 AlignCompound:   false
  PadOperators:true
AlignConsecutiveBitFields:
 Enabled: false
  AcrossEmptyLines: false
  AcrossComments: false
  AlignCompound:   false
  PadOperators: false
AlignConsecutiveDeclarations:
  Enabled: false
 AcrossEmptyLines: false
  AcrossComments:  false
  AlignCompound:   false
 PadOperators:false
AlignConsecutiveMacros:
  Enabled: false
 AcrossEmptyLines: false
  AcrossComments:  false
  AlignCompound:   false
 PadOperators:false
AlignEscapedNewlines: Left
AlignOperands: Align
AlignTrailingComments:
  Kind:Always
  OverEmptyLines: 0
AllowAllArgumentsOnNextLine: true
AllowAllParametersOfDeclarationOnNextLine: true
AllowShortBlocksOnASingleLine: Empty
AllowShortCaseLabelsOnASingleLine: false
AllowShortEnumsOnASingleLine: true
AllowShortFunctionsOnASingleLine: Inline
AllowShortIfStatementsOnASingleLine: Never
AllowShortLambdasOnASingleLine: All
AllowShortLoopsOnASingleLine: false
AlwaysBreakAfterDefinitionReturnType: None
AlwaysBreakAfterReturnType: None
AlwaysBreakBeforeMultilineStrings: true
AlwaysBreakTemplateDeclarations: Yes
AttributeMacros:
  - __capability
BinPackArguments: true
BinPackParameters: true
BitFieldColonSpacing: Both
BraceWrapping:
  AfterCaseLabel:  false
 AfterClass:  false
  AfterControlStatement: Never
  AfterEnum: false
  AfterExternBlock: false
  AfterFunction:   false
  AfterNamespace: false
  AfterObjCDeclaration: false
  AfterStruct: false
 AfterUnion:  false
  BeforeCatch: false
  BeforeElse:  false
 BeforeLambdaBody: false
  BeforeWhile: false
  IndentBraces:false
 SplitEmptyFunction: true
  SplitEmptyRecord: true
  SplitEmptyNamespace: true
BreakAfterAttributes: Never
BreakAfterJavaFieldAnnotations: false
BreakArrays: true
BreakBeforeBinaryOperators: None
BreakBeforeConceptDeclarations: Always
BreakBeforeBraces: Attach
BreakBeforeInlineASMColon: OnlyMultiline
BreakBeforeTernaryOperators: true
BreakConstructorInitializers: BeforeColon
BreakInheritanceList: BeforeColon
BreakStringLiterals: true
ColumnLimit: 120
CommentPragmas: '^ IWYU pragma:'
CompactNamespaces: false
ConstructorInitializerIndentWidth: 4
ContinuationIndentWidth: 4
Cpp11BracedListStyle: true
DerivePointerAlignment: false
DisableFormat: false
EmptyLineAfterAccessModifier: Never
EmptyLineBeforeAccessModifier: LogicalBlock
ExperimentalAutoDetectBinPacking: false
FixNamespaceComments: true
ForEachMacros:
  - foreach
  - Q_FOREACH
  - BOOST_FOREACH
IfMacros:
  - KJ_IF_MAYBE
IncludeBlocks: Regroup
IncludeCategories:
  - Regex:   '^'
 Priority:2
SortPriority:0
CaseSensitive:   false
  - Regex:   '^<.*\.h>'
Priority:1
SortPriority: 0
CaseSensitive:   false
  - Regex:   '^<.*'
Priority: 2
SortPriority:0
CaseSensitive:   false
  - Regex: '.*'
Priority:3
SortPriority:0
CaseSensitive: false
IncludeIsMainRegex: '([-_](test|unittest))?$'
IncludeIsMainSourceRegex: ''
IndentAccessModifiers: false
IndentCaseBlocks: false
IndentCaseLabels: true
IndentExternBlock: AfterExternBlock
IndentGotoLabels: true
IndentPPDirectives: None
IndentRequiresClause: true
IndentWidth: 4
IndentWrappedFunctionNames: false
InsertBraces: false
InsertNewlineAtEOF: false
InsertTrailingCommas: None
IntegerLiteralSeparator:
  Binary:  0
  BinaryMinDigits: 0
 Decimal: 0
  DecimalMinDigits: 0
  Hex: 0
 HexMinDigits:0
_javascript_Quotes: Leave
_javascript_WrapImports: true
KeepEmptyLinesAtTheStartOfBlocks: false
LambdaBodyIndentation: Signature
LineEnding:  DeriveLF
MacroBlockBegin: ''
MacroBlockEnd: ''
MaxEmptyLinesToKeep: 1
NamespaceIndentation: None
ObjCBinPackProtocolList: Never
ObjCBlockIndentWidth: 2
ObjCBreakBeforeNestedBlockParam: true
ObjCSpaceAfterProperty: false
ObjCSpaceBeforeProtocolList: true
PackConstructorInitializers: NextLine
PenaltyBreakAssignment: 2
PenaltyBreakBeforeFirstCallParameter: 1
PenaltyBreakComment: 300
PenaltyBreakFirstLessLess: 120
PenaltyBreakOpenParenthesis: 0
PenaltyBreakString: 1000
PenaltyBreakTemplateDeclaration: 10
PenaltyExcessCharacter: 100
PenaltyIndentedWhitespace: 0
PenaltyReturnTypeOnItsOwnLine: 200
PointerAlignment: Left
PPIndentWidth:   -1
Quali

[llvm-bugs] [Bug 122702] Passing Constructor Expressions to conditional operator causes data loss while using clang compiler.

2025-01-13 Thread LLVM Bugs via llvm-bugs

Issue

122702

Summary

Passing Constructor Expressions to conditional operator causes data loss while using clang compiler.

Labels

clang

Assignees

Reporter

bhavayc

I use the clang compiler present at my company's common hub to create an AST dump of generated C/C++ code. It works fine for most of my use cases. However, recently, I discovered an edge case where the Clang compiler was not dumping all the information for constructor expressions used with a conditional operator. The code is compiling though. Refer to the below code _expression_, where a constructor _expression_ MyClass(2, "World") is passed to the false condition of the conditional operator in C++. In the below _expression_ the information about the constructor passed to the if true condition MyClass(1) is stored properly **BUT** **in the Linux platform**, the constructor data for the if false condition gets lost. I want to see if we are missing something in Linux or should add additional flags for linux. Everything works fine in Windows.
Code _expression_ in question
**MyClass cObj = ((foo > threshold) ? MyClass(1) : _MyClass(2, "World"))_;**

This is my source cpp file:
[doit.cpp.txt](https://github.com/user-attachments/files/18396637/doit.cpp.txt)

The command used to invoke the clang compiler:
-fsyntax-only -fno-color-diagnostics -Xclang -ast-dump=json -x c++ -fopenmp ".cpp" -v > ",.json"

The Lines highlighted in the below image refer to the data that is being lost on linux for the constructor expressions
![Image](https://github.com/user-attachments/assets/05f40f1d-40b0-4380-ad08-6a7d5aa14ce6)

52 matches

Mail list logo