This is an archive of the discontinued LLVM Phabricator instance.

[clang-format] [C++20] [Module] clang-format couldn't recognize partitions
ClosedPublic

Authored by MyDeveloperDay on Nov 18 2021, 3:12 AM.

Details

Summary

https://bugs.llvm.org/show_bug.cgi?id=52517

clang-format is butchering modules, this could easily become a barrier to entry for modules given clang-formats wide spread use.

Prevent the following from adding spaces around the : (cf was considering the ':' as an InheritanceColon)

import <ctime>;
import foo:bar;
import :bar;
export module foo:bar;
export import foo:bar;
export import :bar;
module foo:bar;

to

import<ctime>;
import foo : bar;
import : bar;
export module foo : bar;
export import foo : bar;
export import : bar;
module foo : bar;

Diff Detail

Event Timeline

MyDeveloperDay created this revision.Nov 18 2021, 3:12 AM
MyDeveloperDay requested review of this revision.Nov 18 2021, 3:12 AM

There could be more tests in case we want support c++20 module more. This shouldn't be a break issue for this patch since this aims to fix the space in partitions only.

export template<...>;
export struct {
  ...
};
export int func() {
   // ...
}
export using A = B;
template<...>
export using A = B<T>;
export {

};
export type_name var;

Feel free to ignore this if you want to support them in later patches.

Thanks!

clang/docs/ReleaseNotes.rst
231
clang/unittests/Format/FormatTest.cpp
22406

The module name could contain dot '.' in the middle. Although it seems like wouldn't be broken by clang-format, I think it is better to test it.

22411

It lacks a test for import "header";

MyDeveloperDay marked 3 inline comments as done.

Add some more tests

Quuxplusone added inline comments.
clang/unittests/Format/FormatTest.cpp
22443

I'd like to see module :private;
I'd like to see import <foo/bar.h>;
I'd like to see import foo...bar;
I'd like to see import ..........;
Is module foo:private; a thing?
Is module public:while; a thing?

Nasty, but let me take a look

module: private;
import <foo / bar.h>;
import foo... bar;
import..........;
module foo: private;
module public : while;

they all feel all kinds of wrong!

The current goal seems to be achieved. I have no idea what are acceptable module names or so, I've not yet looked into them.

This revision is now accepted and ready to land.Nov 18 2021, 12:41 PM
clang/unittests/Format/FormatTest.cpp
22443

I don't intend to block this PR waiting on fixing these, but please at least add the "I'd like to see" test cases with TODO comments. That way, whoever tackles it will have the test cases already written.

As usual, I'm ambivalent about the "Is X a thing?" test cases — they arguably don't matter but arguably should be tested anyway to make sure clang-format doesn't crash on them.

ChuanqiXu accepted this revision.Nov 18 2021, 6:08 PM

LGTM with @Quuxplusone's opinions addressed.

Add yet more unit tests and cover those.

Mark one test as TODO as I'm not sure if its allowed syntax

MyDeveloperDay marked 2 inline comments as done.Nov 19 2021, 1:37 AM
owenpan added inline comments.Nov 19 2021, 7:26 AM
clang/lib/Format/TokenAnnotator.cpp
3225

You can remove kw_export as it must be followed by import or module, based on how TT_ModulePartitionColon is set on Line 908.

3229–3230

You can drop !Left.is(Keywords.kw_import) as import :bar is already covered by Line 3226. Also, I would remove kw_public and kw_private as they are not special WRT other keywords when followed by TT_ModulePartitionColon.

3234

Is module :public a thing in C++20? If not, I would remove kw_public.

3237

You can fold this line into Line 3223 above.

clang/lib/Format/UnwrappedLineParser.cpp
1253

Maybe move this entire block into a function?

1260

You can change this line to else if (FormatTok->is(tok::less)) { as FormatTok can't be null.

1262–1264

You can combine these three lines into one: while (FormatTok && FormatTok->isNot(tok::semi)) {

1267–1268

Don't you want to mark up to the matching >?

clang/lib/Format/TokenAnnotator.cpp
3234

For the record, my understanding is that module :public is not a thing, and neither is module public:while or any other combination of keywords except for module :private. (I don't even think module foo:private is a thing; is it?)
So +1 to removing kw_public. However, if the codebase happens to already have a function for isIdentifierOrKeyword, I think this would be a perfect place to use it. Consider an autoformatter-as-you-type dealing with module foo:public[X]_methods or module :if[X]stream.

ChuanqiXu added inline comments.Nov 21 2021, 6:02 PM
clang/lib/Format/TokenAnnotator.cpp
3225

export could be followed by many other declarations. (Maybe the logic on line 908 is not right, I am not sure)

MyDeveloperDay marked 10 inline comments as done.

Address review comments

owenpan added inline comments.Nov 22 2021, 8:17 AM
clang/lib/Format/UnwrappedLineParser.cpp
1055–1077

Possible infinite loops if the import statement is the last line and not terminated by a ;?

MyDeveloperDay marked an inline comment as done.Nov 22 2021, 2:59 PM
MyDeveloperDay added inline comments.
clang/lib/Format/UnwrappedLineParser.cpp
1055–1077

won't FormatTok become null at eof?

MyDeveloperDay added inline comments.Nov 22 2021, 3:00 PM
clang/lib/Format/UnwrappedLineParser.cpp
1055–1077

ok I see this..

Fix infinite loop

owenpan added inline comments.Nov 23 2021, 7:08 PM
clang/lib/Format/UnwrappedLineParser.cpp
1055

A while (!eof()) or while (FormatTok->isNot(tok::eof) would be safer here just in case the last line is import followed by eof.

1062–1063

Possible infinite loop here as well. Maybe change it to while (!FormatTok->isOneOf(tok::greater, tok::semi, tok::eof) {?

MyDeveloperDay marked 3 inline comments as done.

Address review comments, guard against eof

owenpan accepted this revision.Nov 25 2021, 3:36 AM