Nonetheless, such AV should be reported to MS tech support because it is a bug. Microsoft will most likely not charge you with it if you can prove it is a bug. SQL Server should error out nicely with "Constraints Violation". Unreported bugs will not be fixed and will propagate to the next version and other versions.