Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Static type warnings from analyzing VM core libraries #2136

Closed
DartBot opened this issue Mar 13, 2012 · 7 comments
Closed

Static type warnings from analyzing VM core libraries #2136

DartBot opened this issue Mar 13, 2012 · 7 comments
Assignees
Labels
area-vm Use area-vm for VM related issues, including code coverage, and the AOT and JIT backends. closed-obsolete Closed as the reported issue is no longer relevant

Comments

@DartBot
Copy link

DartBot commented Mar 13, 2012

This issue was originally filed by zundel@google.com


I'm running 'dartc' over the VM specific runtime libraries and here are the errors that come out.


Attachment:
static-type-warnings-orig.txt (32.07 KB)

@iposva-google
Copy link
Contributor

Carl, can you please rerun the static checker on the current set of core libraries and see what parts still apply?


Set owner to @lexprfuncall.
Added this to the Later milestone.
Added Accepted label.

@lexprfuncall
Copy link

Eric,

How can I reproduce this?

Carl


Added NeedsInfo label.

@DartBot
Copy link
Author

DartBot commented Jun 15, 2012

This comment was originally written by zundel@google.com


If your build environment is setup from all.deps and you are building the command line with:

 ./tools/build.py -m release

you should have the analyzer command line tool under out/ReleaseIA32/analyzer/bin/dart_analzyer

Here is a retelling of issue #2142 brought up to date:

How to reproduce:
create a small dart file that includes all the libraries you want to test:
===
$ cat > /tmp/alllibs.dart <<EOT

#import("dart:core");
#import("dart:coreimpl");
#import("dart:json");
#import("dart:isolate", prefix: 'isolate');
#import("dart:uri");
#import("dart:utf");
EOT

===
To run analysis:
out/ReleaseIA32/analyzer/bin/dart_analyzer --show-sdk-warnings --platform "vm" /tmp/alllibs.dart

The different configurations for the 'platform' argument come from lib/config/import_
*.config


Added Accepted label.

@lexprfuncall
Copy link

I uploaded a change to fix many of the warnings coming from byte_array.dart.

http://codereview.chromium.org/10653002/

However, some warnings remain and we believe those warnings are incorrect. I have filed issue #3803 and once that is resolved I can scrub byte_array.dart of the remaining warnings.

As for the warnings in other classes, many are still present, 54 in total. Some warnings are reported in error, such as those related to shadowing. Here are the files affected

core/runtime/error.dart
coreimpl/runtime/double.dart
coreimpl/runtime/integers.dart
coreimpl/runtime/math.dart
coreimpl/runtime/regexp.dart
coreimpl/runtime/string.dart


Attachment:
darta-warnings.txt (9.65 KB)


Marked this as being blocked by #3803.

@lexprfuncall
Copy link

Set owner to @iposva-google.

@iposva-google
Copy link
Contributor

Removed Priority-Medium label.
Added Priority-Unassigned label.

@iposva-google
Copy link
Contributor

Added AssumedStale label.

@DartBot DartBot added Type-Defect area-vm Use area-vm for VM related issues, including code coverage, and the AOT and JIT backends. closed-obsolete Closed as the reported issue is no longer relevant labels Oct 2, 2013
@DartBot DartBot added this to the Later milestone Oct 2, 2013
copybara-service bot pushed a commit that referenced this issue Jun 9, 2023
Revisions updated by `dart tools/rev_sdk_deps.dart`.

protobuf (https://github.com/dart-lang/protobuf/compare/da6953c..edf8e92):
  edf8e92  2023-06-09  Ömer Sinan Ağacan  Fix parsing negative JSON values for uint32 fields (#839)
  2931b2e  2023-06-09  Ömer Sinan Ağacan  Add PR links to recent CHANGELOG entries (#838)

test (https://github.com/dart-lang/test/compare/7a6c98d..e7ae613):
  e7ae6139  2023-06-08  Nate Bosch  Remove redundant type checks (#2031)

webdev (https://github.com/dart-lang/webdev/compare/3d7f546..a6d761d):
  a6d761d8  2023-06-08  Elliott Brooks  Remove tabs permission (#2136)
  b02b344e  2023-06-08  Elliott Brooks  Catch `WipError` on calls to resume and map to appropriate RPC error code (#2134)

Change-Id: I58b111a433cef76a501c959f33db4e5463a34c60
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/308380
Auto-Submit: Devon Carew <devoncarew@google.com>
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
Commit-Queue: Konstantin Shcheglov <scheglov@google.com>
copybara-service bot pushed a commit that referenced this issue Nov 13, 2023
…st, tools

Revisions updated by `dart tools/rev_sdk_deps.dart`.

boolean_selector (https://github.com/dart-lang/boolean_selector/compare/7f523c3..caea8d4):
  caea8d4  2023-11-09  Kevin Moore  Require Dart 3.1, bump and fix lints, use switch expressions (#55)

browser_launcher (https://github.com/dart-lang/browser_launcher/compare/4f9e784..f60df1d):
  f60df1d  2023-11-09  Kevin Moore  Update and fix lints, require Dart 3.0 (#53)

http (https://github.com/dart-lang/http/compare/a2f3c1d..f0a02f9):
  f0a02f9  2023-11-09  Brian Quinlan  Require a package:jni version without known buffer overflows (#1044)
  b2717ba  2023-11-06  Brian Quinlan  Create a flutter example application that uses multiple client implementations (#1040)

leak_tracker (https://github.com/dart-lang/leak_tracker/compare/d3c9060..a618a55):
  a618a55  2023-11-13  Polina Cherkasova  Update pubspec.yaml (#184)
  1e05c4d  2023-11-13  Polina Cherkasova  Separate web implementation for retaining path. (#183)
  53f04a8  2023-11-08  Polina Cherkasova  Debug information should not wipe other settings. (#182)
  fbc2014  2023-11-06  Devon Carew  use package:lints/recommended.yaml generally (#180)

test (https://github.com/dart-lang/test/compare/075faff..8ba0940):
  8ba0940d  2023-11-10  Nate Bosch  Strip leading slash when spawning isolate (#2136)

tools (https://github.com/dart-lang/tools/compare/dd46ef2..2e36b8d):
  2e36b8d  2023-11-13  Leigha Jarett  Modify titles (#196)
  68b4e6b  2023-11-13  Elias Yishak  Add enum + event constructor for code size analysis (#200)

Change-Id: If39fa9f3bdf7c6195c3ac91fb60a0987d4b70920
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/335841
Auto-Submit: Devon Carew <devoncarew@google.com>
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
Commit-Queue: Konstantin Shcheglov <scheglov@google.com>
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area-vm Use area-vm for VM related issues, including code coverage, and the AOT and JIT backends. closed-obsolete Closed as the reported issue is no longer relevant
Projects
None yet
Development

No branches or pull requests

3 participants