ccdocgen crash issue when using from Visual Studio 2015

[huwman]

I receive the following issue when attempting compilation in Visual Studio 2015 (Worked in 2013):

OUTPUT:

Process is terminated due to StackOverflowException.
1>C:\Program Files (x86)\Microsoft\Contracts\MsBuild\v14.0\Microsoft.CodeContracts.targets(642,5): error MSB3073: The command ""C:\Program Files (x86)\Microsoft\Contracts\Bin\ccdocgen.exe" "@obj\Debug\Fortis.CSharpccdocgen.rsp"" exited with code -1073741571.
========== Build: 0 succeeded, 1 failed, 0 up-to-date, 0 skipped ==========

Configuration:

Please assist.

[rkeithhill]

If you uncheck the checkbox "Emit contracts into XML doc file" (bottom of the dialog) does it still error?

[ContentsMayVary]

Duplicate of #169

[ndepend]

In VS2015 + MSCC v1.9.10714.2 I get the error:

The command ""C:\Program Files (x86)\Microsoft\Contracts\Bin\ccdocgen.exe" "@obj\Debug\MyDLLNameccdocgen.rsp"" exited with code -1073741571.    MyDLLName

and when I uncheck "Emit contracts into XML doc file" I don't get it.

Hope this will be fixed soon (and so the wrong version number)

[huwman]

That resolves the error, thanks.

On Wed, 7 Oct 2015 15:43 psmacchia notifications@github.com wrote:

In VS2015 + MSCC v1.9.10714.2 I get the error:

The command ""C:\Program Files (x86)\Microsoft\Contracts\Bin\ccdocgen.exe" "@obj\Debug\MyDLLNameccdocgen.rsp"" exited with code -1073741571. MyDLLName

and when I uncheck "Emit contracts into XML doc file" I don't get it.

Hope this will be fixed soon (and so the wrong version number)

—
Reply to this email directly or view it on GitHub
#226 (comment)
.

Regards,
Huw Simpson

[ndepend]

Huw, what is resolving the error? a new patch?
or unchecking "Emit contracts into XML doc file"?
In the second case, the error is fixed ok, but this removes a very important feature we absolutely need :/

[huwman]

Yes, turning off the "Emit contracts into XML doc file" option resolved the error. But I agree it would be best if that feature worked.

[ndepend]

VS2015 is RTM for more than 2 months and all VS projects that are using this "Emit contracts into XML doc file" just cannot be developed with VS2015.

When a fix is forecasted?
Will it be ever fixed?
Is MS CodeContract deprecated?

[RealDotNetDave]

I'm having the same issue. Setting the xml file to false did not work. But if I set Contract Reference Assembly to DoNotBuild, I get a bunch of these errors:

CA0001 : An error was encountered while parsing IL for method: 'System.Diagnostics.Contracts.__ContractsRuntime.Requires(System.Boolean,System.String,System.String)', instruction at offset '0x4B' with opcode 'Call'.

But I don't know what is causing this error. There isn't a line reference.

David

[JamesFaix]

I'm having the same issue as huwman with VS2015 and code contracts 1.9.10714.2. Unchecking the box prevents the error message.

I have several projects in the same solution, all with code contracts configured the same way, and all have been fine for a few weeks. Now one project is throwing this error on build.

Possibly relevant, is that the project with the error is highly implementation specified, while the other projects are mostly interfaces and simple structs.