3 ms·
It is.
by comex 5y ago
It is.
- eyelidlessness 5y agoTerse affirmative is ambiguous.
- nlewycky 5y agoIf you feed LLVM bad IR, all bets are off. LLVM's assertions and IR verifier are impressively comprehensive, but not a guarantee. For example, LLVM has a pointer type and a void type, but you may not make a pointer-to-void type, see https://llvm.org/docs/LangRef.html#pointer-type https://llvm.org/docs/LangRef.html#pointer-type . If you do call `Type::getVoidTy(C)->getPointerTo()` then LLVM will hit an assertion only in a build with assertions enabled. Without assertions LLVM may silently execute UB.
- akimball 5y agoAs are all tautologies;)