Adding lsp support for 3c and adding conflict resolver for graphs used by 3c

checkedc / checkedc-llvm-project

This repo contains a version of clang that is modified to support Checked C. Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety.

13 stars 19 forks source link

Adding lsp support for 3c and adding conflict resolver for graphs used by 3c #1230

Closed souragc closed 5 months ago

souragc commented 6 months ago

The following changes are added:

added the code necessary for the vscode extension 3clsp to work with 3c.
added a new option to 3c which reruns 3c on the given file
added additional test cases for the above rerun option
includes commits that add a new class to 3c which resolves conflicts from the graphs that 3c uses when solving constraints.

souragc commented 6 months ago

Hi,

I will make changes according to your feedback.

Does the information about the vscode extension in https://github.com/checkedc/checkedc-llvm-project/blob/main/clang/docs/checkedc/3C/README.md need to be updated?

Yes. We need to remove the note about the 3clsp fork.

souragc commented 5 months ago

@souragc Thanks for the updates! It is makeSinglePtrNonWild, that needs a comment the comment about having a lock. I asked for a few more comment changes.

I have made the requested changes.